Imperial College London
Alternate

Dr. Sebastian Uchitel

Faculty of Engineering, Department of Computing

Reader in Software Engineering
 
 
 
//

Contact

 

+44 (0)20 7594 8269s.uchitel Website

 
 
//

Location

 

573Huxley BuildingSouth Kensington Campus

//

Summary

 

Publications

Citation

BibTex format

@inproceedings{Ben-David:2013:10.1007/978-3-642-40184-8_8,
author = {Ben-David, S and Chechik, M and Uchitel, S},
doi = {10.1007/978-3-642-40184-8_8},
pages = {91--105},
title = {Merging partial behaviour models with different vocabularies},
url = {http://dx.doi.org/10.1007/978-3-642-40184-8_8},
year = {2013}
}
Download

RIS format (EndNote, RefMan)

TY  - CPAPER
AB  - 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. © 2013 Springer-Verlag.
AU  - Ben-David,S
AU  - Chechik,M
AU  - Uchitel,S
DO  - 10.1007/978-3-642-40184-8_8
EP  - 105
PY  - 2013///
SN  - 0302-9743
SP  - 91
TI  - Merging partial behaviour models with different vocabularies
UR  - http://dx.doi.org/10.1007/978-3-642-40184-8_8
ER  -
Download