On correct and complete strong merging of partial behaviour models
On correct and complete strong merging of partial behaviour models
复制标题
论局部行为模型正确完整的强合并
DOI：
10.1145/1453101.1453144
复制
发表时间：
2008
期刊：
影响因子：
--
通讯作者：
Fischbein D
中科院分区：
文献类型：
--
作者：
Fischbein D
模态转换系统（MTS）已被证明是有用的原因系统的行为在部分信息的上下文中，并支持行为模型的增量阐述。在软件和需求工程的上下文中，一个特别有用的概念是合并。MTS合并可以用作多个部分操作描述的结合，这些描述可以作为MTS提供，甚至可以从其他描述语言（如目标模型和场景）合成。MTS合并的当前限制之一是尚未开发出用于合并的完整且正确的算法。因此，试图合并部分描述的工程师可能被过约束算法或引入不遵循被合并的部分描述的行为的算法阻止这样做。本文通过给出MTS一致性的完整刻画和正确完整的MTS合并算法，解决了强语义下的这些问题。
Modal Transition Systems (MTS) have been shown to be useful to reason about system behaviour in the context of partial information and to support incremental elaboration of behaviour models. A particularly useful notion in the context of software and requirements engineering is that of merge. MTS merging can be used as the conjunction of multiple partial operational descriptions which may have been provided as MTS or even synthesised from other description languages such as goal models and scenarios. One of the current limitations of MTS merging is that a complete and correct algorithm for merging has not been developed. Hence, an engineer attempting to merge partial descriptions may be prevented to do so by overconstrained algorithms or algorithms that introduce behaviour that does not follow from the partial descriptions being merged. This paper resolves these problems for strong semantics by providing a complete characterization of MTS consistency and a correct and complete algorithm for MTS merging.
登录
查看更多内容
模态转换系统的分支语义
DOI：
--
发表时间：
2006
期刊：
影响因子：
--
作者：
Dario Fischbein
通讯作者：
Dario Fischbein
影响因子：
1
作者：
M. Huth
通讯作者：
M. Huth
行为模型合并的属性
DOI：
--
发表时间：
2006
期刊：
World Congress on Formal Methods
影响因子：
--
作者：
Greg Brunet;M. Chechik;Sebastián Uchitel
通讯作者：
Sebastián Uchitel
DOI：
--
发表时间：
1981
期刊：
Colloquium on Trees in Algebra and Programming
影响因子：
--
作者：
R. Milner
通讯作者：
R. Milner
DOI：
--
发表时间：
2006
期刊：
影响因子：
--
作者：
Greg Brunet
通讯作者：
Greg Brunet