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

MOVING LEAST SQUARES REGRESSION FOR HIGH DIMENSIONAL SIMULATION METAMODELING

Source URL: www.informs-sim.org

Monitoring Database Access Constraints with an RBAC Metamodel: a Feasibility Study Lars Hamann, Karsten Sohr, and Martin Gogolla University of Bremen, Computer Science Department DBremen, Germany {lhamann,sohr,gog

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

• Security
• Computer security
• Access control
• Computer access control
• Role-based access control
• Role hierarchy
• PERMIS
• Object Process Methodology
• Database security
• Metamodeling
• Inference attack

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

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

Employing Classifying Terms for Testing Model Transformations

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

• Unified Modeling Language
• Software engineering
• Computing
• Engineering
• Software testing
• Systems engineering
• Software design
• Scientific modeling
• Model-based testing
• ECO
• Metamodeling
• Class diagram

GENERALIZED INTEGRATED BROWNIAN FIELDS FOR SIMULATION METAMODELING

Source URL: informs-sim.org

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

A simulation optimization framework for the management of congested urban road networks Carolina Osorio Michel Bierlaire STRC 2009

Source URL: www.strc.ch

• Operations research
• Mathematical modeling
• Mathematical optimization
• Scientific modeling
• Numerical analysis
• Simulation-based optimization
• Space mapping
• Metamodeling
• Surrogate model
• Simulation
• Traffic simulation

Iterative Development of Transformation Models by Using Classifying Terms (short paper) Frank Hilken1 Loli Burgueño2

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

• Unified Modeling Language
• Systems engineering
• Engineering
• Systems science
• Software engineering
• Model transformation
• Model theory
• Metamodeling
• Object Process Methodology
• Scientific modelling