Julia Rubin
ABSTRACT
Model-based development involves construction, integration, and maintenance of complex models. One of the key problems in model-based development is composing a set of distributed models into a single seamless model. In this paper we propose a declarative approach for model composition, which augments and strengthens existing structural and heuristic approaches. In our approach, the desired model compositions are constrained by a set of declarative properties, which drive the merge process. Only model compositions that satisfy the specified properties and, possibly, additional model composition restrictions are automatically generated and presented to the model analyst for a review and further modifications. Since our framework is iterative, properties and restrictions can be reviewed and refined as well. We illustrate our ideas by defining a proof-of-concept prototype implementation of the declarative model composition framework using the Alloy Analyzer.
- K. Anastasakis, B. Bordbar, G. Georg and I. Ray. UML2Alloy: A Challenging Model Transformation". In Proceedings of MoDELS'07, 2007. Google Scholar
Digital Library
- G. Brunet, M. Chechik, S. Easterbrook, S. Nejati, N. Niu, and M. Sabetzadeh. "A Manifesto for Model Merging". In Proceedings of Wkshp. on Global Integrated Model Mgmt. (GAMMA'06), 2006. Google ScholarDigital Library
- F. Fleurey, B. Baudry, R. France and S. Ghosh. "A Generic Approach for Automatic Model Composition". In Proceedings of 11th Int'l Workshop on Aspect-Oriented Modeling (AOM@MoDELS'07), 2007.Google Scholar
- F. Fleurey, R. Reddy, R. France, B. Baudry and S.Ghosh. "Kompose: a Generic Model Composition Tool". http://www.kermeta.org/kompose/Google Scholar
- D. Jackson. Software Abstractions: Logic, Language, and Analysis. MIT Press. Cambridge, MA. March 2006. Google ScholarDigital Library
- D. S. Kolovos, R. F. Paige and F. A.C. Polack. "Merging Models with the Epsilon Merging Language (EML)". In Proceedings of MoDELS'06, volume 4199 of LNCS, pp. 215-229, 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, pp. 222--231, 2006. Google ScholarDigital Library
- A. Mehra, J. Grundy, and J. Hosking. "A Generic Approach to Supporting Diagram Differencing and Merging for Collaborative Design". In Proceedings of ASE'05, pp. 204--213, 2005. Google ScholarDigital Library
- S. Melnik. Generic Model Management: Concepts And Algorithms. Volume 2967 of LNCS. Springer, 2004. Google ScholarDigital Library
- S. Nejati, M. Sabetzadeh, M.Chechik, S. Easterbrook and P. Zave. "Matching and Merging of Statechart Specifications". In Proceedings of ICSE'07, pp. 54-64, 2007. Google ScholarDigital Library
- M. Sabetzadeh and S. Easterbrook. "View Merging in the Presence of Incompleteness and Inconsistency". Requirements Engineering Journal, 11(3), pp. 174-193 2006. Google ScholarDigital Library
- M. Sabetzadeh, S. Nejati, S. Easterbrook, and M. Chechik. "A Relationship-Driven Approach to ModelMerging". In Proceedings of MiSE'07, May 2007. 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, 2007.Google ScholarCross Ref
- S. Uchitel and M. Chechik. "Merging Partial Behavioural Models". In Proceedings of SIGSOFT FSE'04, pp. 43--52, 2004. Google ScholarDigital Library
- Unified Modelling Language (UML). http://www.omg.org/technology/documents/formal/uml.hmlGoogle Scholar
Index Terms
- Declarative approach for model composition
Recommendations
An Approach for Model Composition and Verification
NCM '09: Proceedings of the 2009 Fifth International Joint Conference on INC, IMS and IDCModel composition is frequently used during large software development in MDE (Model Driven Engineering). The consistency of the composed model is quite essential to model composition. This paper presents a weaving-based model composition framework (...
Mondex, an electronic purse: specification and refinement checks with the Alloy model-finding method
AbstractThis paper explains how the Alloy model-finding method has been used to check the specification of an electronic purse (also called smart card) system, called the Mondex case study, initially written in Z. After describing the payment protocol ...
DynAlloy: upgrading alloy with actions
ICSE '05: Proceedings of the 27th international conference on Software engineeringWe present DynAlloy, an extension to the Alloy specification language to describe dynamic properties of systems using actions. Actions allow us to appropriately specify dynamic properties, particularly, properties regarding execution traces, in the ...
Comments