Merging Partial Behaviour Models with Different Vocabularies
Merging Partial Behaviour Models with Different Vocabularies
复制标题
将部分行为模型与不同词汇合并
DOI：
--
复制
发表时间：
2013
期刊：
影响因子：
--
通讯作者：
Sebastián Uchitel
中科院分区：
文献类型：
--
作者：
Shoham Ben;M. Chechik;Sebastián Uchitel
模式转换系统(MTSS)及其变种，如析取式mTSS(DMTSS)，作为一种部分行为模型的形式化描述方法，已被广泛研究。它们的语义是关于实现的，实现是以标记的转换系统的形式完全指定的行为模型。这些模型的一个自然操作是合并，它应该产生一个表征所有常见实现的部分模型。已经对具有相同词汇表的模型的合并进行了研究；然而，为了能够从不同的角度组合规范，还必须支持具有不同词汇表的模型的合并。在本文中，我们首先证明了对于不同词汇表的模型，DMT在合并下是不闭合的。然后，我们定义了一种称为rDMTS的DMT扩展，对于它，我们描述了一个合并部分模型的第一个精确算法，只要它们满足一个容易检查的兼容性条件。
Modal transition systems (MTSs) and their variants such as Disjunctive MTSs (DMTSs) have been extensively studied as a formalism for partial behaviour model specification. Their semantics is in terms of implementations, which are fully specified behaviour models in the form of Labelled Transition Systems. A natural operation for these models is that of merge, which should yield a partial model which characterizes all common implementations. Merging has been studied for models with the same vocabularies; however, to enable composition of specifications from different viewpoints, merging of models with different vocabularies must be supported as well. In this paper, we first prove that DMTSs are not closed under merge for models with different vocabularies. We then define an extension to DMTS called rDMTS, for which we describe a first exact algorithm for merging partial models, provided they satisfy an easily checkable compatibility condition.
DOI：
10.1145/1453101.1453144
发表时间：
2008
期刊：
--
影响因子：
--
作者：
Fischbein D
通讯作者：
Fischbein D