一种基于面向侧面技术的并发式软件建模方法

基于面向侧面（Aspect-Oriented）技术及统一建模语言状态图提出了并发式软件系统开发过程中横切特性的建模方法。本方法将并发软件系统的业务逻辑和横切行为分别封装到复合状态的不同正交区域中，并通过事件广播机制反映二者的交互关系。同时，以模块化的状态迁移系统 （Modular Transition System）作为基本计算模型，对该建模方法进行形式化描述，给出了模型元素及建模过程的精确语义。实例研究表明，该方法在并发软件设计阶段实现了横切关注点的分离策略，并使得系统模型具有松耦合、适应性和可跟踪性的优点。     

扩展UML状态图在软件测试中的应用

在可测试性方面，UML状态图模型存在不完整性和二义性及结构复杂不便于状态分析等缺陷。该文讨论了基于扩展UML状态图模型的测试用例生成技术，分析了基于扩展UML状态图模型的测试用例生成技术。针对UML状态图的不完整性和二义性进行扩展，以提高其可测试性。     

基于UML方法的空间交会GNC仿真系统设计

为提高建模的快速性、可靠性、可维护性和可扩展性,采用面向对象技术对空间交会GNC仿真系统进行分析与设计.该仿真系统采用统一建模语言进行设计,从用户角度对 GNC仿真系统需要实现的功能进行了概念建模,从方案实现角度对交会系统核心对象、类及其相互关系进行了功能建模,另外采用序列图、状态图及协作图对关键的事件、流程及其活动进行了行为建模.仿真系统已得到初步实现,可以支持不同仿真背景,不同建模粒度下的仿真要求,应用结果验证了建模的特点,说明本设计方法具有一定的应用价值.     

基于TMS320F28034的工业缝纫机多功能交流伺服控制系统设计

介绍了一种工业缝纫机多功能交流伺服控制系统的软硬件设计方案,其控制核心采用TMS320F28034数字信号处理器(DSP),同时阐述了其外围电路和伺服电机控制模块的设计原理.系统软件采用层次式有限状态机(HFSM)构建,可满足各种工业缝纫机的控制功能要求,并有效的降低各种工作模式下各过程控制模块之间的耦合.通过对该系统...     

基于改进随机状态图的制造系统建模

为减少应用随机状态图进行制造系统建模的复杂性,引入抽象子系统和系统总图,分别表达随机状态图的相似性和整体性．应用改进后随机状态图建立了制造系统模型,将该模型转化为时间连续马尔可夫链,并对系统的性能指标进行了分析．实例验证表明,改进随机状态图能有效简化建模与性能分析过程,为制造系统设计与优化提供依据．     

进位反馈移位寄存器的状态图

进位反馈移位寄存器（ＦＣＳＲ）的状态图是ＦＣＳＲ及其序列理论中一个尚未解决的基础性问题,文中证明了连接数为ｑ的ＦＣＳＲ的周期状态个数为ｑ＋１及状态图中存在一个达到最大可能长为ｏｒｄｑ（２）的圈,同时给出了一个求全部圈的算法。     

一种基于状态的面向对象类测试策略

基于状态的类测试足面向对象测试技术的一个重要方面。一种新的基于状态的多角度的面向对象类测试策略,即融合UML Starecharts和EFSM这两个基于状态的模型,并引入Verification＆Validati。n思想。     

一种简捷快速的状态图简化算法

同步时序机的状态驱动可根据状态图来完成，状态图通常由次态方程求得。但对于复杂的同步时序机，其状态图一般比较复杂且庞大，难于用计算机描述和处理。本文给出一种由次态方程生成简化状态图的算法，可使复杂的状态图大大简化而不影响状态间的驱动。