格雷戈·戈斯勒;约瑟夫·西法基斯 基于组件的建模组合。 （英语） Zbl 1075.68016号 科学。计算。程序。 55，编号1-3，161-183（2005）. 摘要：我们提出了一个基于组件建模的框架，使用组件的抽象分层模型。组件是两个模型的叠加：行为模型和交互模型。交互模型描述了由组件之间的连接器引起的体系结构约束。我们提出并分析了推动和指导框架开发的组件组合的一般需求。我们在包含异构交互的组件上定义了一个关联和交换组合算子。作为该框架的一个特殊实例，我们考虑了行为模型是转换系统的组件，交互模型是通过交互上的优先级关系来描述的。这导致了“灵活”组合的概念，它不同于通常的组合，因为它保留了死锁自由，并且适合于通过构造实现正确性。然而，灵活组合只是一种局部操作。产品系统在不违反交互模型约束的意义上应该是交互安全的。我们提出了通过从交互模型及其组件的属性构造系统来确保正确性的结果。考虑的属性包括全局死锁自由、组件的单个死锁自由和交互安全。 引用于1审查引用于21文件 MSC公司： 68号30 软件工程的数学方面（规范、验证、度量、需求等） 关键词：过渡系统;交互模型 PDF格式BibTeX公司 XML格式引用 \textit{G.össler}和\textit{J.Sifakis}，科学。计算。程序。55，编号1--3，161-183（2005；Zbl 1075.68016） 全文： 内政部 链接