On Integrating Structure and Behavior Modeling with OCL Lars Hamann, Oliver Hofrichter, and Martin Gogolla University of Bremen, Computer Science Department Database Systems Group, DBremen, Germany {lhamann,hofric

Source URL: www.db.informatik.uni-bremen.de

• Software engineering
• Unified Modeling Language
• Computing
• Theoretical computer science
• Object Constraint Language
• ECO
• Executable UML
• Postcondition
• State diagram
• Event
• Class diagram
• Finite-state machine

PDF Document

Source URL: www.ocl-journal.org

Towards Domain Refinement For UML/OCL Bounded Verification Robert Claris´ o1 , Carlos A. Gonz´alez2 , and Jordi Cabot1,3 1

Source URL: modeling-languages.com

From UML/OCL to Base Models: Transformation Concepts for Generic Validation and Verification Frank Hilken1 , Philipp Niemann1 , Martin Gogolla1 , and Robert Wille1,2 1

Source URL: www.db.informatik.uni-bremen.de

• Unified Modeling Language
• ISO standards
• Architecture description language
• Object Constraint Language
• Class diagram
• ECO
• Object Process Methodology
• Metamodeling
• Element
• Diagram
• Activity diagram
• Object diagram

Reusing OCL in a Programming Language Fabian B¨ uttnera,∗, Martin Gogollab a AtlanMod, ´

Source URL: www.db.informatik.uni-bremen.de

• Software
• Computing
• Unified Modeling Language
• ISO standards
• Object Constraint Language
• ECO
• Query language
• Executable UML
• Denotational semantics
• Eclipse
• OCL
• GReAT

Evaluating and Debugging OCL Expressions in UML Models Jens Br¨ uning1 , Martin Gogolla2, Lars Hamann2 , and Mirco Kuhlmann2 1 2

Source URL: www.db.informatik.uni-bremen.de

• ECO
• Unified Modeling Language
• Data management
• Where
• OCL
• Class diagram
• Ename
• Software
• Object Constraint Language

Rule-Based Simplification of OCL Constraints Martin Giese, Reiner H¨ ahnle, and Daniel Larsson Chalmers University of Technology School of Computer Science and EngineeringGothenburg, Sweden

Source URL: heim.ifi.uio.no

OCL 2015, 22(4) D401 c P. Villeneuve and F. Carrière, Published by EDP Sciences 2015  DOI: oclOCL

Source URL: www.ocl-journal.org

From Core OCL Invariants to Nested Graph Constraints: Long Version ? Thorsten Arendt1 , Annegret Habel2 , Hendrik Radke2 and Gabriele Taentzer1 1 Philipps-Universit¨

Source URL: www.uni-marburg.de

Microsoft Word - ocl150004_fig1.doc

Source URL: www.ocl-journal.org