Towards a Base Model for UML and OCL Verication? Frank Hilken, Philipp Niemann, Robert Wille, and Martin Gogolla University of Bremen, Computer Science Department DBremen, Germany

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

• Software
• Computing
• Unified Modeling Language
• ISO standards
• Object Constraint Language
• ECO
• Class diagram
• Diagram
• Activity diagram
• Object Process Methodology
• Entityrelationship model
• YEd

Modular Embedding of the Object Constraint Language into a Programming Language Fabian Büttner and Martin Gogolla University of Bremen, Computer Science Department, Database Systems Group {green,gogolla}@tzi.de

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

• Software
• Computing
• Unified Modeling Language
• Programming paradigms
• Object Constraint Language
• ECO
• Executable UML
• Imperative programming
• Statement
• Assignment
• Eclipse
• Modeling language

UML and OCL Transformation Model Analysis: Checking Invariant Independence Martin Gogolla, Frank Hilken Database Systems Group, University of Bremen, Germany {gogolla|fhilken}@informatik.uni-bremen.de

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

• Unified Modeling Language
• Systems engineering
• Scientific modeling
• ECO
• Model-driven architecture
• Metamodeling
• Entityrelationship model
• Invariant
• Model transformation
• Class diagram
• Object Constraint Language
• Executable UML

Filmstripping and Unrolling: A Comparison of Verication Approaches for UML and OCL Behavioral Models? Frank Hilken, Philipp Niemann, Martin Gogolla, and Robert Wille University of Bremen, Computer Science Department

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

• Unified Modeling Language
• Object Constraint Language
• ECO
• Dining philosophers problem
• Conceptual model
• Object Process Methodology

ESSS 2014 May 13th, 2014 Singapore Translating UML State Machines to Coloured Petri Nets Using Acceleo: A Report

Source URL: lipn.univ-paris13.fr

UML&FM 2012 27th August 2012 Paris, France Formalizing Non-Concurrent UML State Machines Using Colored Petri Nets

Source URL: lipn.univ-paris13.fr

International Archives of the Photogrammetry, Remote Sensing and Spatial Information Sciences, Volume XXXVIII-4/C26 MODELING AN APPLICATION DOMAIN EXTENSION OF CITYGML IN UML Linda van den Brink1, Jantien Stoter1,2,3, S

Source URL: www.int-arch-photogramm-remote-sens-spatial-inf-sci.net

On Metamodel Superstructures Employing UML Generalization Features Martin Gogolla, Matthias Sedlmeier, Lars Hamann, Frank Hilken Database Systems Group, University of Bremen, Germany {gogolla|ms|lhamann|fhilken}@informat

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

• Unified Modeling Language
• Metamodeling
• Scientific modeling
• Software design
• Metaclass
• ECO
• Object Process Methodology
• Relational model
• Class
• Model-driven architecture
• Kermeta

Microsoft Word - OneyUIST14v40-FINAL.doc

Source URL: from.so

• Object-oriented programming
• Programming paradigms
• Functional languages
• JavaScript
• Class
• UML state machine
• Inheritance
• Self
• ECO
• Mixin
• Object
• Abstraction

Unions, Norms, and the Rise in American Wage Inequality Bruce Western1 Harvard University Jake Rosenfeld

Source URL: faculty.uml.edu