Modular embedding of the object constraint language into a programming language

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 7021 LNCS, Issue , 2011, Pages 124-139

  Büttner, Fabian ^a   Gogolla, Martin ^a  

^a UNIVERSITY OF BREMEN   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

COMMUTATIVITY; ECLIPSE MODELING FRAMEWORK; FORMAL SEMANTICS; IMPERATIVE LANGUAGES; MODEL-DRIVEN ENGINEERING; MODELING LANGUAGES; MODULAR EMBEDDING; OBJECT CONSTRAINT LANGUAGE; OBJECT ORIENTED SOFTWARE DEVELOPMENT; PROGRAMMING LANGUAGE; QUERY OPERATIONS; SIDE EFFECT; SYSTEM STATE; TOOL USE; UML(UNIFIED MODELING LANGUAGE);

COMPUTER PROGRAMMING LANGUAGES; FORMAL METHODS; OBJECT ORIENTED PROGRAMMING; SEMANTICS; SOFTWARE DESIGN; SOILS;

UNIFIED MODELING LANGUAGE;

EID: 81855228671     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-25032-3_9     Document Type: Conference Paper

References (31)

1. Akehurst, D., Patrascoiu, O.: KMF (Kent Modeling Framework) OCL Library. website (2011), http://www.cs.kent.ac.uk/projects/ocl/tools.html (last visited February 10, 2011)
2. Brucker, A.D., Wolff, B.: HOL-OCL: A Formal Proof Environment for UML/OCL. In: Fiadeiro, J.L., Inverardi, P. (eds.) FASE 2008. LNCS, vol. 4961, pp. 97-100. Springer, Heidelberg (2008)
3. Büttner, F.: Reusing OCL in the Definition of Imperative Languages. PhD thesis, Universität Bremen, Fachbereich Mathematik und Informatik, Logos Verlag, Berlin (2011)
4. Büttner, F.: Transformation-Based Structure Model Evolution. In: Bruel, J.-M. (ed.) MoDELS 2005. LNCS, vol. 3844, pp. 339-340. Springer, Heidelberg (2006)
5. Büttner, F., Kuhlmann, M.: Shortcomings of the Embedding of OCL into QVT ImperativeOCL. In: Chaudron, M.R.V. (ed.) MODELS 2008. LNCS, vol. 5421, pp. 263-272. Springer, Heidelberg (2009)
6. Cabot, J., Teniente, E.: Transformation techniques for OCL constraints. Science of Computer Programming 68(3), 179-195 (2007)
7. Chiorean, D., Pasca, M., Cârcu, A., Botiza, C.,Moldovan, S.: Ensuring UML Models Consistency Using the OCL Environment. Electronic Notes in Theorethical Computer Science 102, 99-110 (2004)
8. Clark, A.,Warmer, J. (eds.): Object Modeling with the OCL: The Rationale behind the Object Constraint Language. LNCS, vol. 2263, pp. 4-20. Springer, Heidelberg (2002)
9. Cuadrado, J.S., Jouault, F., Molina, J.G., Bézivin, J.: Deriving OCL Optimization Patterns from Benchmarks. ECEASST 15 (2008)
10. Distefano, D.S., Katoen, J.P., Rensink, A.: Towards model checking OCL. In: ECOOP 2000: Defining Precise Semantics for UML, Sophia Antipolis, France (June 2000)
11. Gogolla, M., Büttner, F., Richters, M.: USE: A UML-Based Specification Environment for Validating UML and OCL. Science of Computer Programming 69, 27-34 (2007)
12. Hudak, P.: Modular Domain Specific Languages and Tools. In: Proceedings of the Fifth International Conference on Software Reuse, pp. 134-142. IEEE Computer Society Press, Los Alamitos (1998)
13. Hußmann, H., Demuth, B., Finger, F.: Modular architecture for a toolset supporting OCL. Science of Computer Programming 44(1), 51-69 (2002)
14. Jiang, K., Zhang, L., Miyake, S.: Using OCL in Executable UML. ECEASST 9 (2008)
15. Jouault, F., Allilaire, F., Bézivin, J., Kurtev, I.: ATL: A model transformation tool. Science of Computer Programming 72(1-2), 31-39 (2008)
16. Klasse Objecten. The Klasse Objecten OCL Checker Octopus. website, www.klasse.nl/english/research/octopus-intro.html, Klasse Objecten (2005)
17. Kolovos, D.S., Paige, R.F., Polack, F.: The Epsilon Object Language (EOL). In: Rensink, A., Warmer, J. (eds.) ECMDA-FA 2006. LNCS, vol. 4066, pp. 128-142. Springer, Heidelberg (2006)
18. Krahn, H., Rumpe, B., Völkel, S.: MontiCore: Modular Development of Textual Domain Specific Languages. In: Paige, R.F., Meyer, B. (eds.) TOOLS (46). LNBIP, vol. 11, pp. 297-315. Springer, Heidelberg (2008)
19. Krieger, M.P., Knapp, A.: Executing Underspecified OCL Operation Contracts with a SAT Solver. ECEASST 15 (2008)
20. Markovic, S., Baar, T.: Refactoring OCL annotated UML class diagrams. Software and System Modeling 7(1), 25-47 (2008)
21. Eclipse model development tools (MDT) project page. Website, http://www.eclipse.org/modeling/mdt/ (last visited February 10, 2011)
22. Mellor, S.J.: Executable UML: A Foundation for Model-Driven Architecture. Addison-Wesley (2002)
23. Mellor, S.J., Scott, K., Uhl, A., Weise, D.: MDA Distilled: Principles of Model-Driven Architecture. Addison-Wesley, Boston (2004)
24. Meyer, B.: Eiffel: The Language. Prentice-Hall, Englewood Cliffs (1992)
25. Siikarla, J.P.M., Selonen, P.: Combining OCL and Programming Languages for UML Model Processing. In: Schmitt, P.H. (ed.) Proceedings of the Workshop, OCL 2.0 - Industry Standard or Scientific Playground, vol. 102. Elsevier (2004)
26. OMG. MDA Guide Version 1.0.1. Object Management Group, Inc., Framingham, Mass, Internet (June 2003), http://www.omg.org
27. OMG. Object Constraint Language Specification, version 2.0 (Document formal/2006-05- 01) (June 2006)
28. OMG. Meta Object Facility (MOF) 2.0 Query/Views/Transformation Specification (Document formal/08-04-03). Object Management Group, Inc., Framingham, Mass, Internet (2008), http://www.omg.org
29. Richters, M.: A Precise Approach to Validating UML Models and OCL Constraints. PhD thesis, Universität Bremen, Fachbereich Mathematik und Informatik, Logos Verlag, Berlin, BISS Monographs, No. 14 (2002)
30. RoclET-Team. Welcome to RoclET. Website, http://www.roclet.org/ (last visited February 10, 2011)
31. Warmer, J., Kleppe, A.: The Object Constraint Language: Getting Your Models Ready for MDA. Object Technology Series. Addison-Wesley, Reading (2003)