USE: A UML-based specification environment for validating UML and OCL M Gogolla, F Büttner, M Richters Science of Computer Programming 69 (1-3), 27-34, 2007 | 642 | 2007 |
Validating UML and OCL models in USE by automatic snapshot generation M Gogolla, J Bohling, M Richters Software & Systems Modeling 4, 386-398, 2005 | 298 | 2005 |
On formalizing the UML object constraint language OCL M Richters, M Gogolla International conference on conceptual modeling, 449-464, 1998 | 279 | 1998 |
Object constraint language (OCL): a definitive guide J Cabot, M Gogolla International school on formal methods for the design of computer …, 2012 | 278 | 2012 |
Model transformations? Transformation models! J Bézivin, F Büttner, M Gogolla, F Jouault, I Kurtev, A Lindow Model Driven Engineering Languages and Systems, 440-453, 2006 | 264 | 2006 |
Validating UML models and OCL constraints M Richters, M Gogolla International Conference on the Unified Modeling Language, 265-277, 2000 | 253 | 2000 |
OCL: Syntax, semantics, and tools M Richters, M Gogolla Object Modeling with the OCL: The Rationale behind the Object Constraint …, 2002 | 216 | 2002 |
Conceptual modelling of database applications using an extended ER model G Engels, M Gogolla, U Hohenstein, K Hülsmann, P Löhr-Richter, ... Data & Knowledge Engineering 9 (2), 157-204, 1992 | 207 | 1992 |
Towards a semantic view of an extended entity-relationship model M Gogolla, U Hohenstein ACM Transactions on Database Systems (TODS) 16 (3), 369-416, 1991 | 197 | 1991 |
Using models at runtime to address assurance for self-adaptive systems BHC Cheng, KI Eder, M Gogolla, L Grunske, M Litoiu, HA Müller, ... Models@ run. time: foundations, applications, and roadmaps, 101-136, 2014 | 185 | 2014 |
Verifying UML/OCL models using Boolean satisfiability M Soeken, R Wille, M Kuhlmann, M Gogolla, R Drechsler 2010 Design, Automation & Test in Europe Conference & Exhibition (DATE 2010 …, 2010 | 185 | 2010 |
Algebraische Spezifikation abstrakter Datentypen: Eine Einführung in die Theorie HD Ehrich, M Gogolla, UW Lipeck Springer-Verlag, 2013 | 179 | 2013 |
State diagrams in UML: A formal semantics using graph transformations M Gogolla, F PARISI PRESICCE Workshop on Precise Semantics for Software Modeling Techniques, 55-72, 1998 | 138 | 1998 |
From UML and OCL to relational logic and back M Kuhlmann, M Gogolla International conference on model driven engineering languages and systems …, 2012 | 136 | 2012 |
Expressing UML class diagrams properties with OCL M Gogolla, M Richters Object Modeling with the OCL: The Rationale behind the Object Constraint …, 2002 | 130 | 2002 |
Extensive validation of OCL models by integrating SAT solving into USE M Kuhlmann, L Hamann, M Gogolla International Conference on Modelling Techniques and Tools for Computer …, 2011 | 129 | 2011 |
An integrated semantics for UML class, object and state diagrams based on graph transformation S Kuske, M Gogolla, R Kollmann, HJ Kreowski International conference on integrated formal methods, 11-28, 2002 | 118 | 2002 |
Validation of UML and OCL models by automatic snapshot generation M Gogolla, J Bohling, M Richters International Conference on the Unified Modeling Language, 265-279, 2003 | 114 | 2003 |
Verification of ATL transformations using transformation models and model finders F Büttner, M Egea, J Cabot, M Gogolla Formal Methods and Software Engineering: 14th International Conference on …, 2012 | 111 | 2012 |
An extended entity-relationship model: fundamentals and pragmatics M Gogolla Springer Berlin Heidelberg, 1994 | 109 | 1994 |