公共文化服务平台

共 1 条记录，以下是 1-1

全选清除导出

排序方式：

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

全选清除导出

共1页<1>

国家自然科学基金(SN60473063)