Extending ASSL: Making UML Metamodel-based Workflows executable

Lars Hamann , Andreas Wolff , Jens Brüning
Electronic Communication of The European Association of Software Science and Technology 44

1
2011
OCL Tools Report based on the IDE4OCL Feature Model

Lars Hamann , Joanna Dobroslawa Chimiak-Opoka , Andreas Awenius , Sebastien Gabel
Electronic Communication of The European Association of Software Science and Technology 44

11
2011
Zur Validierung von Kompositionsstrukturen in UML mit USE.

Lars Hamann , Martin Gogolla , Mirco Kuhlmann ,
Modellierung 169 -177

2
2010
Exploring (Meta-)Model Snapshots by Combining Visual and Textual Techniques

Martin Gogolla , Lars Hamann , Jie Xu , Jun Zhang
Electronic Communication of The European Association of Software Science and Technology 41

10
2011
OCL-based Runtime Monitoring of JVM hosted Applications

Lars Hamann , Martin Gogolla , Mirco Kuhlmann ,
Electronic Communication of The European Association of Software Science and Technology 44

11
2011
On Static and Dynamic Analysis of UML and OCL Transformation Models.

Martin Gogolla , Lars Hamann , Frank Hilken ,
AMT@MoDELS 24 -33

7
2014
Checking Transformation Model Properties with a UML and OCL Model Validator.

Martin Gogolla , Lars Hamann , Frank Hilken ,
VOLT@STAF 16 -25

14
2014
Zur Integration von Struktur- und Verhaltensmodellierung mit OCL

Lars Hamann , Martin Gogolla , Oliver Hofrichter , AG Datenbanksysteme
Software Engineering 75 -76

2014
From Application Models to Filmstrip Models: An Approach to Automatic Validation of Model Dynamics

Martin Gogolla , Lars Hamann , Frank Hilken , Mirco Kuhlmann
Modellierung 273 -288

32
2014
On metamodel superstructures employing UML generalization features.

Martin Gogolla , Matthias Sedlmeier , Lars Hamann , Frank Hilken
MULTI@MoDELS 13 -22

4
2014
Collected Experience and Thoughts on Long Term Development of an Open Source MDE Tool.

Lars Hamann , Frank Hilken , Martin Gogolla ,
OSS4MDE@MoDELS 42 -52

2014
Endogene Metamodellierung der Semantik von neueren UML 2 Sprachmitteln.

Lars Hamann , Martin Gogolla ,
Software Engineering & Management 31 -32

2015
On the Support of Qualified Associations in OCL.

Lars Hamann , Martin Gogolla , Nisha Desai ,
OCL@MoDELS 3 -15

2016
History of the USE Tool 20 Years of UML/OCL Modeling Made in Germany.

Frank Hilken , Lars Hamann
The Journal of Object Technology 19 ( 3)

2020
Transformation of UML and OCL Models into Filmstrip Models

Frank Hilken , Lars Hamann , Martin Gogolla ,
international conference on model transformation 170 -185

12
2014
Consistency, Independence and Consequences in UML and OCL Models

Martin Gogolla , Mirco Kuhlmann , Lars Hamann ,
tests and proofs 90 -104

67
2009
Extensive validation of OCL models by integrating SAT solving into USE

Mirco Kuhlmann , Lars Hamann , Martin Gogolla ,
TOOLS'11 Proceedings of the 49th international conference on Objects, models, components, patterns 290 -306

74
2011
Checking UML and OCL Model Consistency: An Experience Report on a Middle-Sized Case Study

Martin Gogolla , Lars Hamann , Frank Hilken , Matthias Sedlmeier
tests and proofs 129 -136

1
2015
Endogenous Metamodeling Semantics for Structural UML 2 Concepts

Lars Hamann , Martin Gogolla ,
model driven engineering languages and systems 488 -504

7
2013
Proving and Visualizing OCL Invariant Independence by Automatically Generated Test Cases

Martin Gogolla , Lars Hamann , Mirco Kuhlmann ,
Tests and Proofs 38 -54

15
2010