Abstract
The creation and manipulation of multiple related models is common in software development, however there are few tools that help to manage such collections of models. We propose a framework in which different types of model relationships – such as submodelOfand refinementOf – can be formally defined and used with a new type of model, called a macromodel, to express the required relationships between models at a high-level of abstraction. Macromodels can be used to support the development, comprehension, consistency management and evolution of sets of related models. We illustrate the framework with a detailed example from the telecommunications industry and describe a prototype implementation.
Chapter PDF
Similar content being viewed by others
References
Aizenbud-Reshef, N., Nolan, B.T., Rubin, J., Shaham-Gafni, Y.: Model Traceability. IBM Systems Journal 45(3), 515–526 (2006)
ATLAS MegaModel Management website, http://www.eclipse.org/gmt/am3/
Bernstein, P.: Applying Model Management to Classical Meta Data Problems. In: Proc. Conf. on Innovative Database Research, pp. 209–220 (2003)
Favre, J.M.: Modelling and Etymology. Transformation Techniques in Software Engineering (2005)
Goguen, J.A., Burstall, R.M.: Institutions: Abstract Model Theory for Specification and Programming. J. ACM 39(1), 95–146 (1992)
Kalfoglou, Y., Schorlemmer, M.: Ontology mapping: the state of the art. The Knowledge Engineering Review 18(1), 1–31 (2003)
Ledeczi, A., Maroti, M., Bakay, A., Karsai, G., Garrett, J., Thomason IV, C., Nordstrom, G., Sprinkle, J., Volgyesi, P.: The Generic Modeling Environment. In: Workshop on Intelligent Signal Processing (2001)
Methods for Testing and Specification (MTS); Methodological approach to the use of object-orientation in the standards making process. ETSI EG 201 872 V1.2.1 (2001-2008), http://portal.etsi.org/mbs/Referenced%20Documents/eg_201_72.pdf
Moody, D.: Dealing with ‘Map Shock’: A Systematic Approach for Managing Complexity in Requirements Modelling. In: Proceedings of REFSQ 2006, Luxembourg (2006)
Nuseibeh, B., Kramer, J., Finkelstein, A.: A Framework for Expressing the Relationships Between Multiple Views in Requirements Specifications. IEEE TSE 20(10), 760–773 (1994)
Sabetzadeh, M., Easterbrook, S.: An Algebraic Framework for Merging Incomplete and Inconsistent Views. In: 13th IEEE RE Conference, Paris, France (2005)
Salay, R., Chechik, M., Easterbrook, S., Diskin, Z., McCormick, P., Nejati, S., Sabetzadeh, M., Viriyakattiyaporn, P.: An Eclipse-Based Tool Framework for Software Model Management. In: ETX 2007 at OOPSLA 2007 (2007)
Salay, R.: Macro Support for Modeling in Software Engineering. Technical Report, University of Toronto, http://www.cs.toronto.edu/~rsalay/tr/macrosupport.pdf
Salay, R., Mylopoulos, J., Easterbrook, S.: Managing Models through Macromodeling. In: Proc. ASE 2008, pp. 447–450 (2008)
Software Process Engineering Metamodel V1.1. Object Management Group, http://www.omg.org/technology/documents/formal/spem.htm
Torlak, E., Jackson, D.K.: A Relational Model Finder. In: Grumberg, O., Huth, M. (eds.) TACAS 2007. LNCS, vol. 4424. Springer, Heidelberg (2007)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2009 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Salay, R., Mylopoulos, J., Easterbrook, S. (2009). Using Macromodels to Manage Collections of Related Models. In: van Eck, P., Gordijn, J., Wieringa, R. (eds) Advanced Information Systems Engineering. CAiSE 2009. Lecture Notes in Computer Science, vol 5565. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-02144-2_15
Download citation
DOI: https://doi.org/10.1007/978-3-642-02144-2_15
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-02143-5
Online ISBN: 978-3-642-02144-2
eBook Packages: Computer ScienceComputer Science (R0)