基于场景规约的构件式系统设计分析与验证

摘要：

使用接口自动机及接口自动机网络来描述构件式系统的行为设计模型,使用UML顺序图表示基于场景的需求规约,对系统设计阶段的构件交互行为的动态兼容性进行形式化分析和检验.通过对接口自动机网络状态空间的分析,给出了一系列算法以检验系统行为的存在一致性以及几种不同形式的强制一致性性质,包括前向强制一致性、逆向强制一致性以及双向强制一致性等.

关键词：构件式系统设计、接口自动机、模型检验、顺序图、统一建模语言(UML)

所属期刊栏目：29

分类号：TP311(计算技术、计算机技术)

资助基金：中国科学院资助项目60425204,60233020,60573085;科技部科研项目2002CB312001;江苏省自然科学基金BK2004080

在线出版日期：2006-04-25（万方平台首次上网日期，不代表论文的发表时间）

页数：共13页

页码：513-525