Abstract
Large and complex meta-models such as those of Uml and its profiles are growing due to modelling and inter-operability needs of numerous stakeholders. The complexity of such meta-models has led to coining of the term meta-muddle. Individual users often exercise only a small view of a meta-muddle for tasks ranging from model creation to construction of model transformations. What is the effective meta-model that represents this view? We present a flexible meta-model pruning algorithm and tool to extract effective meta-models from a meta-muddle. We use the notion of model typing for meta-models to verify that the algorithm generates a super-type of the large meta-model representing the meta-muddle. This implies that all programs written using the effective meta-model will work for the meta-muddle hence preserving backward compatibility. All instances of the effective meta-model are also instances of the meta-muddle. We illustrate how pruning the original Uml meta-model produces different effective meta-models.
The research leading to these results has received funding from the European Communitys Seventh Framework Programme FP7/2007-2013 under grant agreement 215483 (S-Cube).
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
OMG: UML 2.0 Specfication, http://www.omg.org/spec/UML/2.0/
Fuentes-Fernández, L., Vallecillo-Moreno, A.: An introduction to uml profiles. UPGRADE, European Journal for the Informatics Professional 5(2), 5–13 (2004)
OMG: UML Profile Catalog, http://www.omg.org/technology/documents/profile_catalog.htm
van Deursen, A., Klint, P., Visser, J.: Domain-specific languages: an annotated bibliography. SIGPLAN Not. 35(6), 26–36 (2000)
Solberg, A., France, R., Reddy, R.: Navigating the metamuddle. In: Proceedings of the 4th Workshop in Software Model Engineering, Montego Bay, Jamaica (2005)
Niaz, I.A., Tanaka, J.: Code generation from uml statecharts. In: Proc. 7 th IASTED International Conf. on Software Engineering and Application (SEA 2003), Marina Del Rey, pp. 315–321 (2003)
Baudry, B., Ghosh, S., Fleurey, F., France, R., Traon, Y.L., Mottu, J.M.: Barriers to systematic model transformation testing. Communications of the ACM (2009)
Sen, S., Baudry, B., Mottu, J.M.: On combining mullti-formalism knowledge to select test models for model transformaion testing. In: ACM/IEEE International Conference on Software Testing, Lillehammer, Norway (April 2008)
Sen, S., Baudry, B., Mottu, J.M.: Automatic model generation strategies for model transformation testing. In: Paige, R.F. (ed.) ICMT 2009. LNCS, vol. 5563, pp. 148–164. Springer, Heidelberg (2009)
Kruchten, P.: The Rational Unified Process: An Introduction, 3rd edn. Addison-Wesley Professional, Reading
Phan, T.H., Gerard, S., Terrier, F.: Real-time system modeling with accord/uml methodology: illustration through an automotive case study. In: Languages for system specification: Selected contributions on UML, systemC, system Verilog, mixed-signal systems, and property specification from FDL 2003, pp. 51–70 (2004)
Frank, B.: Eclipse Modeling Framework. The Eclipse Series, vol. 1. Addison-Wesley, Reading (2004)
Farail, P., Gaufillet, P., Canals, A., Le Camus, C., Sciamma, D., Michel, P., Crégut, X., Pantel, M.: The TOPCASED project: a toolkit in open source for critical aeronautic systems design. In: Embedded Real Time Software (ERTS), Toulouse, February-May (2006)
Sendall, S., Kozaczynski, W.: Model transformation: The heart and soul of model-driven software development. IEEE Softw. 20(5), 42–45 (2003)
OMG: The Object Constraint Language Specification 2.0, OMG Document: ad/03- 01-07 (2007)
Lagarde, F., Terrier, F., André, C., Gérard, S.: Extending ocl to ensure model transformations, pp. 126–136 (2007)
Taentzer, G., Ehrig, K., Guerra, E., de Lara, J., Lengyel, L., Levendovszky, T., Prange, U., Varró, D., Varró-Gyapay, S.: Model transformation by graph transformation: A comparative study. In: ACM/IEEE 8th International Conference on Model Driven Engineering Languages and Systems, Montego Bay, Jamaica (October 2005)
Limited, X.: Language driven development and xmf-mosaic. Whitepaper (2005)
Inc., A.: http://www.adaptive.com/
Fleurey, F., Baudry, B., Muller, P.A., Traon, Y.L.: Towards dependable model transformations: Qualifying input test data. Journal of Software and Systems Modeling, SoSyM (2007)
Muller, P.A., Fleurey, F., Jezequel, J.M.: Weaving executability into object-oriented meta-languages. In: Briand, L.C., Williams, C. (eds.) MoDELS 2005. LNCS, vol. 3713, pp. 264–278. Springer, Heidelberg (2005)
OMG: Mof 2.0 core specification. Technical Report formal/06-01-01, OMG (April 2006) OMG Available Specification
Sen, S.: Meta-model pruning kermeta implementation, https://www.irisa.fr/triskell/softwares-fr/protos/metamodelpruner/
Steel, J., Jézéquel, J.M.: On model typing. Journal of Software and Systems Modeling (SoSyM) 6(4), 401–414 (2007)
Bruce, K.B., Vanderwaart, J.: Semantics-driven language design: Statically type-safe virtual types in object-oriented languages. Electronic Notes in Theoretical Computer Science 20, 50–75 (1999)
Steel, J.: Typage de modèles. PhD thesis, Université de Rennes 1 (April 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
Sen, S., Moha, N., Baudry, B., Jézéquel, JM. (2009). Meta-model Pruning. In: Schürr, A., Selic, B. (eds) Model Driven Engineering Languages and Systems. MODELS 2009. Lecture Notes in Computer Science, vol 5795. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-04425-0_4
Download citation
DOI: https://doi.org/10.1007/978-3-642-04425-0_4
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-04424-3
Online ISBN: 978-3-642-04425-0
eBook Packages: Computer ScienceComputer Science (R0)