Abstract
Due 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 complementary views on the system to be developed. This however leads to a need for compositional models. This paper describes a foundational theory of model composition in form of an algebra to explicitly clarify different variants and uses of composition, their interplay with the semantics of the involved models and their composition operators.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Harel, D., Rumpe, B.: Modeling Languages: Syntax, Semantics and All That Stuff. Technical Report MCS00-16, The Weizmann Institute of Science, Rehovot, Israel (2000)
France, R., Evans, A., Lano, K., Rumpe, B.: The UML as a Formal Modeling Notation. Computer Standards and Interfaces 19, 325–334 (1998)
Parnas, D.: On the criteria to be used in decomposing systems into modules. Communications of the ACM 15(12), 1053–1058 (1972)
Bezivin, J., Bouzitouna, S., Del Fabro, M.D., Gervais, M.-P., Jouault, F., Kolovos, D.S., Kurtev, I., Paige, R.F.: A canonical scheme for model composition. In: Proceedings of the Second European Conference on Model-Driven Architecture (EC-MDA) 2006, pp. 346–361, Bilbao, Spain (July 2006)
Engel, K.-D., Paige, R.F., Kolovos, D.S.: Using a Model Merging Language for Reconciling Model Versions. In: Rensink, A., Warmer, J. (eds.) ECMDA-FA 2006. LNCS, vol. 4066, pp. 143–158. Springer, Heidelberg (2006)
Fabro, M., Bézivin, J., Jouault, F., Breton, E., Gueltas, G.: AMW: a generic model weaver. In: Proceedings of the 1ères Journées sur l’Ingénierie Dirigée par les Modèles (IDM05), pp. 105–114, Paris (2005)
Harel, D., Rumpe, B.: Meaningful Modeling: What’s the Semantics of Semantics? IEEE Computer 37(10), 64–72 (2004)
Broy, M., Cengarle, M., Rumpe, B.: Towards a System Model for UML. The Structural Data Model. Munich University of Technology, Technical Report TUM-I0612 (June 2006)
Gurevich, Y., Kutter, P.W., Odersky, M., Thiele, L. (eds.): ASM 2000. LNCS, vol. 1912, pp. 22–33. Springer, Heidelberg (2000)
Broy, M., Facchi, C., Grasu, R., Hettler, R., Hußmann, H., Nazareth, D., Regensburger, F., Slotosch, O., Stoelen, K.: The requirements and Design Specification Language SPECTRUM, An Informal Introduction, Version 1.0, Part 1, Technical Report TUM-I9312, Technische Universität München (1993)
Spivey, M.: The Z Notation - A Reference Manual, 2nd edn. Prentice-Hall, Englewood Cliffs (1992)
Rumpe, B.: A Note on Semantics (with an Emphasis on UML). In: Kilov, H., Rumpe, B. (eds.) Second ECOOP Workshop on Precise Behavioral Semantics, pp. 177–197, Technische Universität München, TUM-I9813
Kok, J.: A fully abstract semantics for data flow nets. In: Proceedings of the Parallel Architectures and Languages Europe, vol. II: Parallel Languages, pp. 351–368. Eindhoven, The Netherlands (June 15-19, 1987)
Straw, G., Georg, G., Song, E., Ghosh, S., France, R., Bieman, J.: Model Composition Directives, In: Proceedings of the 7th UML Conference, pp. 87–94, Lisbon, Portugal, (October 10-15, 2004)
Aldawud, O., Bader, A., Elrad, T.: Weaving with statecharts. In: Workshop on Aspect-Oriented Modeling, Enschede, Netherlands (2002)
Brunet, G., Chechik, M., Easterbrook, S., Nejati, S., Niu, N., Sabetzadeh, M.: A manifesto for model merging. In: Proceedings of the international workshop on Global integrated model management, 5-12, May 2006, Shanghai, China (2006)
Sabetzadeh, M., Easterbrook, S.: An Algebraic Framework for Merging Incomplete and Inconsistent Views. In: Proceedings of the 13th IEEE International Conference on Requirements Engineering (RE’05), pp. 306–318 (August 29-September 02, 2005)
The Modelware Project Homepage: http://www.modelware-ist.org
Boronat, A., Carsi, J., Ramos, I., Letelier, P.: Formal Model Merging Applied to Class Diagramm Integration. Electronic Notes on Theoretical Computer Science, pp. 5–26, Vol. 166, Ansterdam, The Netherlands (2007)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2007 Springer Berlin Heidelberg
About this paper
Cite this paper
Herrmann, C., Krahn, H., Rumpe, B., Schindler, M., Völkel, S. (2007). An Algebraic View on the Semantics of Model Composition. In: Akehurst, D.H., Vogel, R., Paige, R.F. (eds) Model Driven Architecture- Foundations and Applications. ECMDA-FA 2007. Lecture Notes in Computer Science, vol 4530. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-72901-3_8
Download citation
DOI: https://doi.org/10.1007/978-3-540-72901-3_8
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-72900-6
Online ISBN: 978-3-540-72901-3
eBook Packages: Computer ScienceComputer Science (R0)