Improving the OCL Semantics Definition by Applying Dynamic Meta Modeling and Design Patterns (2008)
Ocl For (meta-)models, Juan Martin Chiaradía, Claudia Pons, Dan Chiorean, Birgit Demuth, Martin Gogolla, ...
Abstract. OCL is a standard specification language, which will probably be supported by most software modeling tools in the near future. Hence, it is important for OCL to have a solid formal...
Semantic Issues of OCL: Past, Present, and Future (2008)
Ocl For (meta-)models, Achim D. Brucker, Jürgen Doser, Burkhart Wolff, Dan Chiorean, Birgit Demuth, ...
Abstract: We report on the results of a long-term project to formalize the semantics of OCL 2.0 in Higher-order Logic (HOL). The ultimate goal of the project is to provide a formalized,...
A Model of Maintainability – Suggestion for Future Research (2008)
Mira Kajko-mattsson, Gerardo Canfora, Dan Chiorean, Tuomas Ihme, Meir M Lehman, Rupert Reiger, ...
Lack of a commonly defined maintainability model hinders us from evaluating and certifying products with respect to maintainability. We cannot compare different products within and across...
Tool support for OCL and related formalisms - needs and trends (2008)
Thomas Baar, Dan Chiorean, Re Correa, Martin Gogolla, Heinrich Hußmann, Octavian Patrascoiu, ...
Abstract. The recent trend in software engineering to model-centered methodologies is an excellent opportunity for OCL to become a widely used specification language. If the focus of the development...
Semantic Issues of OCL: Past, Present, and Future (2008)
Ocl For (meta-)models, Achim D. Brucker, Jürgen Doser, Burkhart Wolff, Dan Chiorean, Birgit Demuth, ...
Abstract: We report on the results of a long-term project to formalize the semantics of OCL 2.0 in Higher-order Logic (HOL). The ultimate goal of the project is to provide a formalized,...
OCL for (Meta-)Models in Multiple Application Domains (2007)
Dan Chiorean, Birgit Demuth, Martin Gogolla, Jos Warmer
MoDELS/UML Conference in Genova, Italy. It continues the series of five OCL (Object Constraint Language) workshops held at previous UML/MoDELS conferences between 2000- 2005. Similar to its...
A Model of Maintainability - Suggestion for Future Research (2006)
Kajko-Mattsson, Mira, Canfora, Gerardo, Chiorean, Dan, Van Deursen, Arie, Ihme, Tuomas, Lehman, Meir M., ...
Proceedings of 2006 International Conference on Software Engineering Research & Practice, SERP'06. Hamid R. Arabnia and Hassan Reza (Eds.), 436 - 441
Proposals for a Widespread Use of OCL (2005)
Dan Chiorean, Maria Bortes, Dyan Corutiu
Abstract. In spite of the fact that OCL and UML evolved simultaneously, the usage of the constraint language in modeling real-world applications has been insignificant compared to the usage of the...