Properties of Behavioural Model Merging
Properties of Behavioural Model Merging
复制标题
行为模型合并的属性
DOI：
--
复制
发表时间：
2006
期刊：
影响因子：
--
通讯作者：
Sebastián Uchitel
中科院分区：
文献类型：
--
作者：
Greg Brunet;M. Chechik;Sebastián Uchitel
构建预期系统行为的综合操作模型是一项复杂且成本高昂的任务。因此，从业者采用的技术，支持部分行为描述，如基于规范，并专注于阐述这些描述迭代。在以前的工作中，我们展示了如何这个过程可以正式支持模态转换系统（MTS），观测细化，模型合并。在本文中，我们研究了合并MTS的一些属性，并给出这些结果对工程和推理行为模型的影响。我们说明了我们的研究结果的效用的案例研究。
Constructing comprehensive operational models of intended system behaviour is a complex and costly task. Consequently, practitioners adopt techniques that support partial behaviour decription such as scenario-based specifications, and focus on elaborating these descriptions iteratively. In previous work, we show how this process can be formally supported by Modal Transition Systems (MTSs), observational refinement, and model merging. In this paper, we study a number of properties of merging MTSs and give insights on the implications these results have on engineering and reasoning about behaviour models. We illustrate the utility of our results on a case study.