- A UML based Specification Environment Preliminary Version 0.1
- AN ANIMATOR FOR THE OBJECT SPECIFICATION LANGUAGE TROLL light \Lambda
- On Scenario Synchronization DucHanh Dang 1 , AnhHoang Truong 1 , and Martin Gogolla 2
- Towards Object Visualization by Conceptual Graphs Martin Gogolla
- Precise ModelDriven Transformations Based on Graphs and Metamodels DucHanh Dang and Martin Gogolla
- MDA Employed in a Joint eGovernment Strategy: An Experience Report
- Towards Schema Queries for Semantic Data Models \Lambda Martin Gogolla
- Validation of System Behavior Utilizing an Integrated Semantics of
- A Note on the Translation of SQL to Tuple Calculus martin gogolla
- Realizing Graph Transformations by Pre and Postconditions and Command Sequences
- Metamodel Transformation of Data Models Position Paper
- Drafting Extended Entity--Relationship Schemas with Martin Gogolla A , Bernd Meyer B , and Gerhard D. Westerman B
- State Diagrams in UML: A Formal Semantics using Graph Transformations
- Introduction Case Study (1) Case Study (2) Conclusion USE: UML-based Specification Environment
- Algebraization and Integrity Constraints for an Extended EntityRelationship Approach martin gogolla
- Analysing Atomic Dynamic UML Notions by Surfing through the UML Metamodel
- From Graph Transformation to OCL using USE Martin Gogolla, Fabian Buttner, and DucHanh Dang
- Identifying Objects by Declarative Queries Martin Gogolla
- Towards Model Validation and Verification with SAT Techniques
- Algebraic System Specification and Development: Survey and Annotated Bibliography
- On Better Understanding OCL Collections An OCL Ordered Set is not an OCL Set
- Re-Documentation of Java with UML Class Diagrams Martin Gogolla & Ralf Kollmann
- (An Example for) Metamodeling Syntax and Semantics
- Bene ts and Problems of Formal Methods Martin Gogolla
- A Development Environment for an Object Specification Language Martin Gogolla, Stefan Conrad, Grit Denker, Rudolf Herzig, and Nikolaos Vlachantonis
- On the Need for a Precise OCL Semantics Position Statement
- On Generalization and Overriding in UML 2.0 Fabian Buttner and Martin Gogolla
- USE: A UMLBased Specification Environment for Validating UML and OCL
- UML for the Impatient Martin Gogolla
- Checking BART Test Scenarios with UML's Object Constraint Language M. Gogolla # ,
- TransformationBased Structure Model Evolution Fabian Buttner
- Validation of UML and OCL Models by Automatic Snapshot Generation
- Stepwise ReEngineering and Development of ObjectOriented Database Schemata
- Expressing UML Class Diagrams Properties Martin Gogolla, Mark Richters
- On Horizontal and Vertical Relationships between Models
- Using OCL for De ning Precise, Domain-Speci c UML Stereotypes Martin Gogolla
- Graph Transformations on the UML Metamodel
- In Peter Aiken and Elizabeth Burd, editors, Proc. 8th Working Conference on Reverse Engineering. IEEE, Los Alamitos, 2001 Application of UML Associations and Their Adornments in Design Recovery
- On a Better Formal Basis for Stating SQLlike Queries in Value and ObjectBased DBS
- Transformation Rules for UML Class Diagrams Martin Gogolla & Mark Richters
- Triple Graph Grammars and OCL for Validating System Behavior #
- Sketching Concepts and Computational Model of TROLL light
- A Declarative Query Approach to Object Identification
- Animated Simulation of Integrated UML Behavioral Models based on Graph Transformation
- An OCL Extension for Formulating Temporal Constraints
- In J urgen Ebert and Franz Lehner, editors, Proc. 3rd Workshop on Software-Reengineering (WSR), Universit at Koblenz, Technischer Bericht
- Electronic Notes in Theoretical Computer Science 80 (2003) URL: http://www.elsevier.nl/locate/entcs/volume80.html 13 pages
- Consistency, Independence and Consequences in UML and OCL Models
- An Integrated Semantics for UML Class, Object and State Diagrams
- Electronic Communications of the EASST uest E itors or i Ca ot artin o olla ieter an or
- In Pedro Sousa and J urgen Ebert, editors, Proc. 5th European Conference on Software Maintenance and Reengineering. IEEE, Los Alamitos, 2001 Capturing Dynamic Program Behaviour with UML Collaboration Diagrams
- On Squeezing M0, M1, M2, and M3 into a Single Object Diagram
- Detecting OCL Traps in the UML 2.0 Superstructure
- Model Transformations? Transformation Models! Jean Bezivin (A) , Fabian Buttner (B) , Martin Gogolla (B) ,
- Electronic Communications of the EASST Volume 9 (2008)
- A Webbased Animator for Validating Object Specifications Mark Richters and Martin Gogolla
- Compositional description of object communities with TROLL light 1
- Modeling and Formally Checking Workflow Properties Using UML and OCL
- Towards Reliable Information Systems: The KorSo Approach ?
- An Algebraic Semantics for the Object Specification Language TROLL light ?
- Analyzing Semantic Properties of OCL Operations
- A Webbased Animator for Object Specifications in a Persistent Environment
- An Extension of OCL with Temporal Logic Paul Ziemann and Martin Gogolla
- Tool Support for Validating UML and OCL Models through Automatic Snapshot Generation
- Teaching Touchy Transformations Martin Gogolla
- TROLL light ---The Language and Its Development Environment
- Response to the OCL RfP (ad/20000903)
- Model Development in the UMLbased Specification Environment (USE)
- An Algebraic Development Technique for Information Systems ?
- Coherently Explaining UML Statechart and Collaboration Diagrams by Graph Transformations
- Ninth International Workshop on The Pragmatics of OCL
- A Computational Model for TROLL light Martin Gogolla
- Modeling and Validating Mondex Scenarios Described in UML and
- OCL Extended with Temporal Logic Paul Ziemann and Martin Gogolla
- Essentials of the 4th UML/MoDELS Workshop in Software Model Engineering (WiSME'2005)
- SIGN: Software Implementierung durch Graphische Notation
- Definition von UML mit UML und OCL: Uberblick zum Stand der Technik
- What is an Abstract Data Type, after all? Martin Gogolla 1 and Maura Cerioli 2
- WEBBASED OBJECT ANIMATION Martin Gogolla & Mark Richter
- Zur Entwicklung zuverl assiger Informationssysteme in KorSo \Lambda S. Conrad, G. Denker, M. Gogolla, R. Herzig, N. Vlachantonis, H.D. Ehrich
- What is an Abstract Data Type, after all? Martin Gogolla
- Benutzungsschnittstelle Objektspezifikationen
- Proc. ICGT Workshop Graph Transformation and Visual Modeling Tech-niques (GT-VMT'2002), Paolo Bottoni, Mark Minas (Eds.), Electronic Notes
- On Integrating OCL and Triple Graph Grammars
- On Combining SemiFormal and Formal Object Specification Techniques
- In Tibor Gyimothy and Fernando Brito e Abreu, editors, Proc. 6th European Conference on Software Maintenance and Reengineering. IEEE, Los Alamitos, 2001 MetricBased Selective Representation of UML Diagrams
- Ein formal validiertes Metamodell f ur die Transformation
- Defining Operational Behavior of Object Specifications by Attributed Graph Transformations ?
- The WholePart Relationship the Unified Modeling Language: New Approach
- Integrating the ER Approach in an OO Environment \Lambda
- ON DESIGNING AND QUERYING A MATERIAL INFORMATION SYSTEM
- An ObjectOriented Design for the ACT ONE Environment \Lambda
- Fundamentals and Pragmatics of an EntityRelationship Approach 1
- GTVMT 2004 Preliminary Version Realizing UML Metamodel Transformations
- First Steps to a Formal Framework for Multilevel Database Modifications
- Proving and Visualizing OCL Invariant Independence
- Transforming Conceptual Data Models into an Object Model ?
- Werkzeugunterst ur die Validierung von UML und
- Martin Gogolla: Identifying Objects by Declarative
- [AA00] Ambrosio Toval Alvarez and Jose Luis Fernandez Aleman. Formally modeling UML and its evolution: A holistic approach. In Scott F. Smith
- Fundamentals and Pragmatics of an EntityRelationship Approach 1
- Formal Methods versus UML's OCL Martin Gogolla
- State Diagrams in UML: A Formal Semantics using Graph Transformations
- An Object Specification Language Implementation with Web User Interface
- Towards Three-Dimensional Representation and Animation of
- OBJECTORIENTED awa@unipaderborn.de M.
- Zur Validierung von Kompositionsstrukturen in UML Lars Hamann, Martin Gogolla, Mirco Kuhlmann
- Digging into the Visitor Pattern Fabian Buttner, Oliver Radfelder, Arne Lindow, Martin Gogolla
- Tales of ER and RE Syntax and Semantics Martin Gogolla
- Realizing UML Model Transformations with USE Fabian Bttner 1 and Hanna Bauerdick 2
- Lassy A System for Analyzing Grammatical Dependencies in Latin H. Gartner, M. Gogolla
- [AA00] Ambrosio Toval Alvarez and Jose Luis Fernandez Aleman. Formally modeling UML and its evolution: A holistic approach. In Scott F. Smith
- A Benchmark for OCL Engine Accuracy, Determinateness, and Efficiency
- Electronic Communications of the EASST Volume 15 (2008)
- WS8: OCL and Model Driven Engineering --Report Jean Bzivin 1 , Thomas Baar 2 , Tracy Gardner 3 , Martin Gogolla 4 , Reiner Hhnle 5 ,
- Entwicklung zuverl assiger Informationssysteme S. Conrad, G. Denker, M. Gogolla, R. Herzig, N. Vlachantonis und H.D. Ehrich
- Conceptual Modelling of Database Applications Using an Extended ER Model
- From Object Specification to Enhanced Logic Programming
- AspectOriented Monitoring of UML and OCL Constraints Mark Richters
- Parameterizing Object Specifications Martin Gogolla
- On Formal Semantics of Some Semantic Data Models
- Towards Transformation of Integrity Constraints and Database States
- KORSO Reference Languages Concepts and Application Domains
- Essentials of the 5th Educators' Symposium at MODELS 2009
- Objects and Their Specification \Lambda HansDieter Ehrich
- Drafting ER and OO Schemas in Prototyping Environments
- Validierung von UML-Modellen und OCL-Bedingungen
- INTEGRATED SPECIFICATION, VALIDATION AND VERIFI CATION WITH HYBRIDUML AND OCL APPLIED TO THE
- Analyzing and Managing RoleBased Access Control Policies
- Exploring ER and RE Syntax and Semantics with Metamodel Object Diagrams
- Transforming Data Models with UML Martin Gogolla, Arne Lindow
- On Constraints and Queries in UML M. Gogolla, M. Richters
- Software & Systems Modeling manuscript No. (will be inserted by the editor)
- An Annotated Bibliography Object--Orientation and Deduction
- Tool Support for OCL and Related Formalisms Needs and Trends
- On Better Understanding UML Diagrams through Interactive ThreeDimensional Visualization and Animation
- Verifying UML/OCL Models Using Boolean Satisfiability
- Safe Derivations in Object Hierarchies Stefan Conrad 1 , Martin Gogolla 2 , and Rudolf Herzig 2
- Validating UML and OCL Models in USE by Automatic Snapshot Generation
- Teaching Modeling: Why, When, What? Jean Bezivin (A) , Robert France (B) , Martin Gogolla (C) ,
- A SQLlike Query Calculus for ObjectOriented Database Systems ?
- Perspectives for a Formal Framework for Schema Modification in Object Databases
- VLFM 2004 Preliminary Version From UML Models
- A Computational Model for TROLL light Martin Gogolla
- Analysis of UML Stereotypes within the UML Metamodel
- Translating TROLL light Concepts to Maude G. Denker, M. Gogolla ?
- International Workshop on Ocl4All (2007): Modelling Systems with OCL
- A Metamodel for OCL Mark Richters and Martin Gogolla
- User Manual Mark Richters
- On Formalizing the UML Object Constraint Language OCL
- A Benchmark for OCL Engine Accuracy, Determinateness, and E#ciency
- Validating UML Models and OCL Constraints Mark Richters and Martin Gogolla
- Essentials of the 3rd UML Workshop in Software Model Engineering (WiSME'2004)
- OCL for (Meta)Models in Multiple Application Dan Chiorean 1 , Birgit Demuth 2 , Martin Gogolla 3 and Jos Warmer 4
- In Elizabeth Burd and Arie van Deursen, editors, Proc. 9th Working Conference on Reverse Engineering. IEEE, Los Alamitos, 2002 A Study on the Current State of the Art in ToolSupported UMLBased Static
- OCL: Syntax, Semantics and Tools Mark Richters and Martin Gogolla
- VLFM 2004 Preliminary Version On Translating UML Models into
- Development of UML Descriptions with USE Martin Gogolla, Mark Richters
- Specification and Validation of Authorisation Constraints Using UML and OCL
- Analyzing and Managing Role-Based Access Control Policies
- Electronic Communications of the EASST Volume 44 (2011)
- Tracing Properties of UML and OCL Models Francisco Duran1
- On Scenario Synchronization Duc-Hanh Dang1
- UML Metamodel-based Workflow Modeling and Execution Jens Brning
- Tool Support for OCL and Related Formalisms -Needs and Trends
- Electronic Communications of the EASST Volume 41 (2011)
- Comprehensive Twolevel Analysis of Static and Dynamic RBAC Constraints
- myjournal manuscript No. (will be inserted by the editor)
- Metamod el a Abstract t a e e e e t a UML
- Electro c o c t o o t e E e t E tor or ot o l r el l el rt o oll
- ASSL { A Snapshot Sequence Language 24. April 2001
- Software & Systems Modeling manuscript No. (will be inserted by the editor)
- Transformation of UML Models to CSP: A Case Study for Graph Transformation Tools
- Electronic Communications of the EASST Volume 44 (2011)
- On Validation of ATL Transformation Rules By Transformation Models
- Modular Embedding of the Object Constraint Language into a Programming Language
- On Translating UML Models into Graph Transformation Systems
