Shiva Nejati
ABSTRACT
In large-scale model-based development, developers periodically need to combine collections of interrelated models. These models may capture different features of a system, describe alternative perspectives on a single feature, or express ways in which different features may alter one another's structure or behaviour. We refer to the process of combining a set of interrelated models as model fusion. In this position paper, we provide an overview of our work on two key fusion activities, merging and composition, for behavioural models. The practical basis of our work comes from two case studies that we conducted using models from the telecommunications domain. We illustrate our work using these case studies, summarize the results our research has led to so far, and describe the future research challenges.
- M. Abi-Antoun, J. Aldrich, N. Nahas, B. Schmerl, and D. Garlan. "Differencing and Merging of Architectural Views". In Proceedings of ASE'06, pages 47--58, 2006. Google Scholar
Digital Library
- M. Alanen and I. Porres. "Difference and Union of Models". In Proceedings of UML'03, pages 2--17, 2003.Google ScholarCross Ref
- T. Ball. "The Verified Software Challenge: A Call for a Holistic Approach to Reliability". In Proceedings of VSTTE'05, 2005.Google Scholar
- A. Betin-Can, T. Bultan, M. Lindvall, B. Lux, and S. Topp. "Application of Design for Verification with Concurrency Controllers to Air Traffic Control Software". In Proceedings of ASE'05, pages 14--23, 2005. Google ScholarDigital Library
- J. Bezivin, F. Jouault, and D. Touzet. "An Introduction to the ATLAS Model Management Architecture". Technical Report 05-01, LINA, 2005.Google Scholar
- B. Cheng and J. Atlee. "Research Directions in Requirements Engineering". In Future of SE Track of ICSE'07, pages 285--303, 2007. Google ScholarDigital Library
- B. Cheng, R. Stephenson, and B. Berenbach. "Lessons Learned from Automated Analysis of Industrial UML Class Models (An Experience Report)". In Proceedings of MoDELS'05, pages 324--338, 2005. Google ScholarDigital Library
- E. Clarke, O. Grumberg, and D. Peled. Model Checking. MIT Press, Cambridge, USA, 1999. Google ScholarDigital Library
- R. France and B. Rumpe. "Model-driven Development of Complex Software: A Research Roadmap". In Future of SE Track of ICSE'07, pages 37--55, 2007. Google ScholarDigital Library
- W. Harrison, H. Ossher, and P. Tarr. "General Composition of Software Artifacts". In Software Composition, pages 194--210, 2006. Google ScholarDigital Library
- J. Hay and J. Atlee. "Composing Features and Resolving Interactions". In Proceedings of FSE'00, pages 110--119, 2000. Google ScholarDigital Library
- IBM Rational Software Architect. http://www.ibm.com/ software/awdtools/architect/swarchitect/.Google Scholar
- M. Jackson and P. Zave. "Distributed Feature Composition: a Virtual Architecture for Telecommunications Services". IEEE TSE, 24(10):831 --847, 1998. Google ScholarDigital Library
- J. Magee and J. Kramer. Concurrency: State models and Java Programming: 2nd Edition. Wiley, 2006. Google ScholarDigital Library
- D. Mandelin, D. Kimelman, and D. Yellin. "A Bayesian Approach to Diagram Matching with Application to Architectural Models". In Proceedings of ICSE'06, pages 222--231, 2006. Google ScholarDigital Library
- S. Nejati. "Translating BoxTalk Models to I/O Automata", 2007. http://www.cs.toronto.edu/~shiva/boxtalk/.Google Scholar
- S. Nejati, M. Sabetzadeh, M. Chechik, S. Easterbrook, and P. Zave. "Matching and Merging of Statecharts Specifications". In Proceedings of ICSE'07, pages 54--64, 2007. Google ScholarDigital Library
- S. Nejati, M. Sabetzadeh, M. Chechik, S. Uchitel, and P. Zave. "Compositional Synthesis of Pipeline Architectures". Submitted, 2008.Google Scholar
- D. Richards. "Merging individual conceptual models of requirements". Requirements Engineering Journal, 8(4):195--205, 2003.Google ScholarDigital Library
- M. Sabetzadeh. "A Survey of Approaches to Model Merging". Depth Paper, 2006.Google Scholar
- M. Sabetzadeh and S. Easterbrook. "View Merging in the Presence of Incompleteness and Inconsistency". Requirements Engineering Journal, 11(3):174--193, 2006. Google ScholarDigital Library
- M. Sabetzadeh, S. Nejati, S. Liaskos, S. Easterbrook, and M. Chechik. "Consistency Checking of Conceptual Models via Model Merging". In Proceedings of RE'07, pages 221--230, 2007.Google ScholarCross Ref
- S. Uchitel and M. Chechik. "Merging Partial Behavioural Models". In Proceedings of FSE'04, pages 43--52, 2004. Google ScholarDigital Library
- J. Whittle, A. Moreira, J. Araujo, P. Jayaraman, A. Elkhodary, and R. Rabbi. "An Expressive Aspect Composition Language for UML State Diagrams". In Proceedings of MoDELS'07, pages 514--528, 2007. Google ScholarDigital Library
- J. Whittle and J. Schumann. "Generating Statechart Designs from Scenarios". In Proceedings of ICSE'00, pages 314--323, 2000. Google ScholarDigital Library
- P. Zave and M. Jackson. "A Call Abstraction for Component Coordination". Elect. Notes in Theor. CS, 66(4), 2002.Google Scholar
- A. Zito, Z. Diskin, and J. Dingel. "Package Merge in UML 2: Practice vs. Theory?". In Proceedings of MoDELS'06, pages 185--199, 2006. Google ScholarDigital Library
Index Terms
- Behavioural model fusion: an overview of challenges
Recommendations
Model Composition Using Filter Spaces
Decision support systems (DSS) typically contain data and models to facilitate decision making. DSS users, in response to a particular decision-making situation, often execute a sequence of models, in which inputs to a model in the sequence are obtained ...
An algebraic view on the semantics of model composition
ECMDA-FA'07: Proceedings of the 3rd European conference on Model driven architecture-foundations and applicationsDue to the increased complexity of software development projects more and more systems are described by models. The sheer size makes it impractical to describe these systems by a single model. Instead many models are developed that provide several ...
Model composition in a distributed environment
Organizations that operate from multiple locations have data and model resources that are distributed at various sites of the organization. Decision making is facilitated when these resources are leveraged to support model composition and execution, ...
Comments