Checking Transformation Model Properties with a UML and OCL Model Validator Martin Gogolla, Lars Hamann, Frank Hilken Database Systems Group, University of Bremen, Germany {gogolla|lhamann|fhilken}@informatik.uni-bremen.

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

• Unified Modeling Language
• Systems engineering
• Relational model
• ECO
• Database
• Model transformation
• Metamodeling
• Class diagram

a quick and dirty introduction to UML Monday, 28 June 2010

Source URL: www.jaggersoft.com

Transformation of UML and OCL Models into Filmstrip Models? Frank Hilken, Lars Hamann, and Martin Gogolla University of Bremen {fhilken,lhamann,gogolla}@informatik.uni-bremen.de

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

• Unified Modeling Language
• ISO standards
• Object Constraint Language
• ECO
• Object Process Methodology
• Object diagram
• Class diagram
• Postcondition
• Design by contract
• Sequence diagram
• Conceptual model

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

Program szkolenia: Modelowanie biznesowe w UML - Archetypy modeli biznesowych (Inżynieria oprogramowania) Program szkolenia: Modelowanie biznesowe w UML Archetypy modeli biznesowych

Source URL: bottega.com.pl

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 Informal to Formal Specifications in UML Martin Giese and Rogardt Heldal Chalmers University of Technology Gothenburg, Sweden {giese|heldal}@cs.chalmers.se

Source URL: heim.ifi.uio.no

PDF Document

Source URL: www.cs.uml.edu

PDF Document

Source URL: faculty.uml.edu

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