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. © Springer-Verlag Berlin Heidelberg 2006.
CITATION STYLE
Brunet, G., Chechik, M., & Uchitel, S. (2006). Properties of behavioural model merging. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 4085 LNCS, pp. 98–114). Springer Verlag. https://doi.org/10.1007/11813040_8
Mendeley helps you to discover research relevant for your work.