Gilles Vanwormhoudt
ABSTRACT
Model-based engineering (MBE) contributes a lot to software reuse by abstracting technology independent models, their capitalization and then their reuse to produce systems, ensuring early composition and checking capabilities. One step further, it was recognized that models could be parameterized in order to capture recurrent modeling patterns. This led to the concept of "model template" as offered in UML. In this paper we concentrate on engineering practices and operators which derive from the adoption of this concept, specifically in the case of "aspectual templates", where parameters form full models. As a first step, we show the consequent partitioning of modeling spaces into two subspaces: one dedicated to template modelers ("model for reuse"), the other one dedicated to application modelers ("model by reuse"). Respective activities are identified, but also back-and-forth between them. From this, engineering operators are isolated and formally specified. Finally, reusable technology within Eclipse is offered.
- M. Allon. 2018. Template Based Model Driven Engineering. PhD Thesis, University of Lille.Google Scholar
- M. Allon, G. Vanwormhoudt, B. Carré, and O. Caron. 2016. Isolating and Reusing Template Instances in UML. In Proceeding of 12th European Conference on Modelling Foundations and Applications, ECMFA, Austria. Google ScholarDigital Library
- Barbero and J. Bézivin. 2007. Structured Libraries of Models. In Proceedings of 1st International Workshop on Towers of Models (TOWERS'07).Google Scholar
- S. Bhalotia and J. Kienzle. 2015. Reusable Model Interfaces with Instantiation Cardinalities. In Proceedings of 11th European Conference on Modelling Foundations and Applications, Italy. Google ScholarCross Ref
- P. Bottoni, E. Guerra, and J. de Lara. 2010. A language-independent and formal approach to pattern-based modelling with support for composition and analysis. Information & Software Technology 52, 8 (2010), 821--844. Google ScholarDigital Library
- O. Caron, B. Carré, A. Muller, and G. Vanwormhoudt. 2004. An OCL formulation of UML2 template binding. In Proceedings of 7th International Conference on the Unified Modeling Language. Portugal. Google ScholarCross Ref
- B. Carré, G. Vanwormhoudt, and O. Caron. 2015. From subsets of model elements to submodels: A characterization of submodels and their properties. Software & Systems Modeling (Ed. Springer) 14, 2 (2015), 861--887. Google ScholarDigital Library
- B. Carré, G. Vanwormhoudt, and O. Caron. 2018. On submodels and submeta-models with their relation: A uniform formalization through inclusion properties. Software & Systems Modeling (Ed. Springer) 17, 4 (2018), 1105--1137. Google ScholarDigital Library
- A. Carton, C. Driver, A. Jackson, and S. Clarke. 2009. Model-Driven Theme/UML. Trans. Aspect-Oriented Software Development (Ed. Springer) 6 (2009), 238--266. Google ScholarDigital Library
- S. Clarke. 2002. Extending standard UML with model composition semantics. Sci. Comput. Program. 44, 1 (2002), 71--100. Google ScholarDigital Library
- S. Clarke and R.J. Walker. 2005. Aspect-oriented software development. Addison-Wesley, Chapter Generic aspect-oriented design with Theme/UML, 425--458.Google Scholar
- A. Cuccuru, C. Mraidha, F. Terrier, and S. Gérard. 2007. Templatable Metamodels for Semantic Variation Points. In Proceeding of 3th European on Model Driven Architecture- Foundations and Applications, Conference, Israel. Google ScholarCross Ref
- A. Cuccuru, A. Radermacher, S. Gerard, and F. Terrier. 2009. Constraining Type Parameters of UML 2 Templates with Substitutable Classifiers. In Proceedings of 12th International Conference on Model Driven Engineering Languages and Systems, USA. Google ScholarDigital Library
- J. de Lara and E. Guerra. 2010. Generic Meta-modelling with Concepts, Templates and Mixin Layers. In Proceedings of 13th International Conference on Model Driven Engineering Languages and Systems, Norway. 16--30. Google ScholarCross Ref
- D. Del Fabro and J. Bézivin. 2007. Generic Model Management: from Theory to Practice. In First International Workshop on Towers of Models - TOWERS 2007.Google Scholar
- Desmond F D'souza and Alan Cameron Wills. 1998. Objects, components, and frameworks with UML: the catalysis approach. Vol. 1. addison-Wesley Reading.Google Scholar
- J. Farinha and P. Ramos. 2015. Extending UML Templates towards Computability. In Proceedings of the 3rd International Conference on Model-Driven Engineering and Software Development, France. Google ScholarDigital Library
- Robert France, Geri Georg, and Indrakshi Ray. 2003. Supporting multi-dimensional separation of design concerns. In Proceedings of the Third International Workshop on Aspect-Oriented Modeling. Citeseer.Google Scholar
- R. B. France, J. M. Bieman, and B. H. C. Cheng. 2006. Repository for Model Driven Development (ReMoDD). In Proceeding of MoDELS'06 Workshops, Vol. 4364.Google Scholar
- Markus Herrmannsdörfer and Benjamin Hummel. 2010. Library Concepts for Model Reuse. Electr. Notes Theor. Comput. Sci. (Ed. Elsevier) 253, 7 (2010), 121--134. Google ScholarDigital Library
- J. Kienzle, W. Al Abed, F. Fleurey, J.M. Jézéquel, and J. Klein. 2010. Aspect-Oriented Design with Reusable Aspect Models. Trans. Aspect-Oriented Software Development (Ed. Springer) 7 (2010), 272--320. Google ScholarCross Ref
- S. Melnik, E. Rahm, and Ph.A. Bernstein. 2003. Rondo: A Programming Platform for Generic Model Management. In Proceedings of the International Conference on Management of Data (SIGMOD), USA. Google ScholarDigital Library
- A. Muller, O. Caron, B. Carré, and G. Vanwormhoudt. 2005. On Some Properties of Parameterized Model Application. In Proceeding of 1st Conference on European Model Driven Architecture - Foundations and Applications, Germany. Google ScholarDigital Library
- OMG. 2011. Auxiliary Constructs Templates, Chapter 17. UML 2.4.1 Superstructure Specification.Google Scholar
- Th. Reiter, E. Kapsammer, W. Retschitzegger, and W. Schwinger. 2005. Model integration through mega operations. In Proceedings of 15th International Conference on Web Engineering, Australia.Google Scholar
- J.R. Ullmann. 1976. An Algorithm for Subgraph Isomorphism. J. ACM 23, 1 (1976), 31--42.Google ScholarDigital Library
- G. Vanwormhoudt, O. Caron, and B. Carré. 2017. Aspectual templates in UML - Enhancing the semantics of UML templates in OCL. Software and System Modeling (Ed. Springer) 16, 2 (2017), 469--497. Google ScholarDigital Library
Index Terms
- Template based model engineering in UML
Recommendations
UML for systems engineering
The paper provides an introduction to the employment of Unified Modeling Language (UML) in systems engineering. The standard being developed for this purpose is the Systems Modeling Language (SysML) specification. This paper, while not dealing with ...
Towards Effective SysML Model Reuse
MODELSWARD 2017: Proceedings of the 5th International Conference on Model-Driven Engineering and Software DevelopmentThe Systems Modeling Language (SysML) is spreading very fast. Most modelling tool vendors support it and
practitioners have adopted it for Systems Engineering. The number of SysML models is growing, increasing
the need for and the potential benefit from ...
Model-Based Systems Engineering: Lessons Learned from the Joint Tactical Radio System
The Joint Tactical Radio System was the first major program that sought to develop a new family of radio systems using a software-based architecture. A new software-oriented architecture, the Software Communications Architecture was developed as a ...
Comments