ABSTRACT
The growing usage of Domain Specific Modeling Languages (DSML) for architecture view frameworks induces a need for automatic verification of non-functional model properties like completeness and consistency. However, we argue that the high demand for tailored architecture view frameworks is not complemented by appropriate constraint specification facilities. OCL is a common language for defining modeling constraints, but industry user reports indicate that despite its accuracy, it is too complex to be adopted in industrial scale. Approaches that were proposed to simplify the use of OCL either operate on technical formalisms or lack tool support to express new, or more complex types of constraints that can be validated automatically on the model. To address this challenge, we present a constraint modeling framework for the specification and validation of constraints on DSMLs. A Constraint Modeling Language (CML) created based on this framework provides a high level constraint specification en- vironment by using extensible template implementations to enable the automatic validation in computer aided software engineering (CASE) tools. We evaluate the approach in different industry projects and observe that using the proposed framework enhances understandability and effectiveness of constraint specification.
- Nico Adler, Philipp Graf, and Klaus D Müller-Glaser. 2011. Model-based consistency checks of electric and electronic architectures against requirements. In International Conference on Model Driven Engineering Languages and Systems. Springer, 262–275.Google Scholar
- Conrad Brock. 2005. UML 2 Activity and Action Models. Journal of Object Technology 4, 4 (2005), 43–66.Google ScholarCross Ref
- Jordi Cabot and Martin Gogolla. 2012. Object constraint language (OCL): a definitive guide. In Formal methods for model-driven engineering. Springer, 58–90.Google Scholar
- Dolors Costal, Cristina Gómez, Anna Queralt, Ruth Raventós, and Ernest Teniente. 2008. Improving the definition of general constraints in UML. Software & Systems Modeling 7, 4 (2008), 469–486.Google Scholar
- Birgit Demuth. 2004. The Dresden OCL toolkit and its role in Information Systems development. In Proceedings of the 13th International Conference on Information Systems Development (ISD 2004), Vol. 7.Google Scholar
- Peter H Feiler, David P Gluch, and John J Hudak. 2006. The architecture analysis & design language (AADL): An introduction. Technical Report. Carnegie-Mellon Univ Pittsburgh PA Software Engineering Inst.Google Scholar
- Andrew Fish, John Howse, Gabriele Taentzer, and Jessica Winkelmann. 2005. Two visualizations of OCL: A comparison. University of Brighton.Google Scholar
- Object Management Group. 2007. Unified Modeling Language. https: //www.omg.org/spec/UML/2.1.2 .Google Scholar
- The Open Group. 2017. ArchiMate 3.0.1 Specification.Google Scholar
- Vector Informatik. 2018. PREEVision. https://www.vector.com/int/en/ products/products-a-z/software/preevision/ . Accessed: 21.11.2018.Google Scholar
- Steven Kelly, Matti Rossi, and Juha-Pekka Tolvanen. 2005. What is needed in a MetaCASE environment? Enterprise Modelling and Information Systems Architectures (EMISAJ) 1, 1 (2005), 25–35.Google Scholar
- Steven Kelly and Juha-Pekka Tolvanen. 2008. Domain-specific modeling: enabling full code generation. John Wiley & Sons.Google Scholar
- Dimitrios S Kolovos, Richard F Paige, and Fiona AC Polack. 2009. On the evolution of OCL for capturing structural constraints in modelling languages. In Rigorous Methods for Software Construction and Analysis. Springer, 204–218.Google Scholar
- Janne Luoma, Steven Kelly, and Juha-Pekka Tolvanen. 2004. Defining domain-specific modeling languages: Collected experiences. In 4 th Workshop on Domain-Specific Modeling.Google Scholar
- No Magic. 2018. MagicDraw 18.5 Documentation. https://docs. nomagic.com/display/MD185/MagicDraw+Documentation . Accessed: 05.11.2018.Google Scholar
- MetaCase. 2017. MetaEdit+ 5.5 User’s Guide. https://www.metacase. com/support/55/manuals/ .Google Scholar
- Andreas Morgenstern, Pablo Antonino, Thomas Kuhn, Patrick Pschorn, and Benno Kallweit. 2017. Modeling embedded systems using a tailored view framework and architecture modeling constraints. In Proceedings of the 11th European Conference on Software Architecture (ECSA). ACM, 180–186.Google ScholarDigital Library
- Pablo Oliveira Antonino de Assis. 2016. Improving the Consistency and Completeness of Safety Requirements Specifications. Fraunhofer Verlag, Stuttgart. ISBN:9783839610596; http://publica.fraunhofer.de/ documents/N-414851.html .Google Scholar
- I Oya, M Füßling, P Oliveira Antonino, V Conforti, L Hagge, D Melkumyan, A Morgenstern, G Tosti, U Schwanke, J Schwarz, et al. 2016. The software architecture to control the Cherenkov Telescope Array. In Software and Cyberinfrastructure for Astronomy IV, Vol. 9913. International Society for Optics and Photonics, 991303.Google Scholar
- Klaus Pohl, Harald Hönninger, Reinhold Achatz, and Manfred Broy. 2012. Model-Based Engineering of Embedded Systems: The SPES 2020 Methodology. Springer Science & Business Media.Google ScholarCross Ref
- Zdenek Rybola and Karel Richta. 2012. Validation of Stereotypes Usage in UML Class Model by Generated OCL Constraints. Informačné Technológie-Aplikácie a Teória (2012), 25.Google Scholar
- Mandana Vaziri and Daniel Jackson. 2000. Some shortcomings of ocl, the object constraint language of uml. In TOOLS (34). 555–562.Google Scholar
- Jos B Warmer and Anneke G Kleppe. 2003. The object constraint language: getting your models ready for MDA. Addison-Wesley Professional.Google Scholar
Index Terms
- A constraint modeling framework for domain-specific languages
Recommendations
Model-driven engineering with domain-specific meta-modelling languages
Domain-specific modelling languages are normally defined through general-purpose meta-modelling languages like the MOF. While this is satisfactory for many model-driven engineering (MDE) projects, several researchers have identified the need for domain-...
Notation-driven vs metamodel-driven development of domain-specific modeling languages: an empirical study
SAC '13: Proceedings of the 28th Annual ACM Symposium on Applied ComputingDomain-Specific Modeling Languages (DSMLs) enable domain experts to represent their knowledge through their own domain-specific notations. The Model-Driven Engineering (MDE) community proposes a metamodel-driven approach for the production of tools ...
Towards domain-specific property languages: the ProMoBox approach
DSM '13: Proceedings of the 2013 ACM workshop on Domain-specific modelingDomain-specific modeling (DSM) is one major building block of model-driven engineering. By moving from the solution space to the problem space, systems are designed by domain experts. The benefits of DSM are not unique to the design of systems, the ...
Comments