Martin Gogolla

Martin Gogolla's AcademicInfluence.com Rankings

Martin Gogolla

Computer Science

#8556

World Rank

#8994

Historical Rank

Software Engineering

#231

World Rank

#235

Historical Rank

Database

#5556

World Rank

#5765

Historical Rank

computer-science Degrees

Download Badge

Computer Science

Why Is Martin Gogolla Influential?

(Suggest an Edit or Addition)

(See a Problem?)

Martin Gogolla's Published Works

Number of citations in a given year to any of this author's works

Total number of citations to an author for the works they published in a given year. This highlights publication of the most important work(s) by the author

Published Works

Unified Modeling Language (2009) (755)
USE: A UML-based specification environment for validating UML and OCL (2007) (489)
Object Constraint Language (2009) (366)
On Formalizing the UML Object Constraint Language OCL (1998) (218)
Object Constraint Language (OCL): A Definitive Guide (2012) (218)
Validating UML Models and OCL Constraints (2000) (214)
Validating UML and OCL models in USE by automatic snapshot generation (2005) (208)
Model transformations? transformation models! (2006) (175)
Verifying UML/OCL models using Boolean satisfiability (2010) (155)
Towards a semantic view of an extended entity-relationship model (1991) (146)
OCL: Syntax, Semantics, and Tools (2002) (139)
Conceptual modelling of database applications using extended ER model (1992) (133)
Using Models at Runtime to Address Assurance for Self-Adaptive Systems (2015) (129)
From UML and OCL to relational logic and back (2012) (109)
Extensive Validation of OCL Models by Integrating SAT Solving into USE (2011) (104)
Expressing UML Class Diagrams Properties with OCL (2002) (96)
Verification of ATL Transformations Using Transformation Models and Model Finders (2012) (86)
Validation of UML and OCL Models by Automatic Snapshot Generation (2003) (82)
State diagrams in UML: A formal semantics using graph transformations (1998) (82)
A Metamodel for OCL (1999) (79)
An Integrated Semantics for UML Class, Object and State Diagrams Based on Graph Transformation (2002) (79)
Consistency, Independence and Consequences in UML and OCL Models (2009) (76)
OCL Extended with Temporal Logic (2003) (76)
Analyzing and Managing Role-Based Access Control Policies (2008) (76)
Tractable Model Transformation Testing (2011) (75)
Capturing dynamic program behaviour with UML collaboration diagrams (2001) (63)
Formal Specification and Testing of Model Transformations (2012) (58)
Algebraic and Operational Semantics of Specifications Allowing Exceptions and Errors (1984) (55)
On Constraints and Queries in UML (1997) (55)
An Extended Entity-Relationship Model: Fundamentals and Pragmatics (1994) (52)
Specification and Validation of Authorisation Constraints Using UML and OCL (2005) (50)
TROLL light: A Core Language for Specifying Objects (1992) (49)
Sketching Concepts and Computational Model of TROLL light (1993) (48)
From Application Models to Filmstrip Models: An Approach to Automatic Validation of Model Dynamics (2014) (46)
Analysis of UML Stereotypes within the UML Metamodel (2002) (46)
Specification, Semantics, and Enforcement of Dynamic Database Constraints (1984) (45)
Transformation Rules for UML Class Diagrams (1998) (45)
An Extension of OCL with Temporal Logic (2002) (44)
An Extended Entity-Relationship Model (1994) (44)
On better understanding UML diagrams through interactive three-dimensional visualization and animation (2000) (40)
Towards an integrated graph-based semantics for UML (2003) (40)
Objects and their Specification (1991) (40)
Validating OCL Specifications with the USE Tool: An Example Based on the BART Case Study (2003) (40)
A Calculus for an Extended Entity-Relationship Model Incorporating Arbitrary Data Operations and Aggregate Functions (1988) (39)
Model Validation and Verification Options in a Contemporary UML and OCL Analysis Tool (2016) (38)
Specifying Admissibility of Dynamic Database Behaviour Using Temporal Logic (1985) (36)
Testing models and model transformations using classifying terms (2018) (35)
Equivalence Rules for UML Class Diagrams (1998) (35)
Aspect-Oriented Monitoring of UML and OCL Constraints (2007) (34)
Achieving model quality through model validation, verification and exploration (2017) (34)
Metric-based selective representation of UML diagrams (2002) (34)
Partially Ordered Sorts in Algebraic Specifications (1984) (32)
Teaching modeling: why, when, what? (2009) (32)
On validation of ATL transformation rules by transformation models (2011) (32)
A benchmark for OCL engine accuracy, determinateness, and efficiency (2008) (31)
Graph Transformations on the UML Metamodel (2000) (31)
On translating UML models into graph transformation systems (2006) (31)
Detecting OCL Traps in the UML 2.0 Superstructure: An Experience Report (2004) (30)
Application of UML associations and their adornments in design recovery (2001) (29)
Initiating a Benchmark for UML and OCL Analysis Tools (2013) (29)
On OCL-based imperative languages (2014) (28)
Towards an Algebraic Semantics for Database Specification (1986) (27)
On Squeezing M 0 , M 1 , M 2 , and M 3 into a Single Object Diagram (2005) (27)
Teaching UML and OCL models and their validation to software engineering students: an experience report (2018) (27)
Modeling and validating Mondex scenarios described in UML and OCL with USE (2007) (26)
Employing classifying terms for testing model transformations (2015) (25)
Tool Support for OCL and Related Formalisms - Needs and Trends (2005) (25)
Integrating the ER Approach in an OO Environment (1993) (25)
≪UML≫ 2001 — The Unified Modeling Language. Modeling Languages, Concepts, and Tools (2001) (24)
Towards Three-Dimensional Animation of UML Diagrams (1999) (23)
Filmstripping and Unrolling: A Comparison of Verification Approaches for UML and OCL Behavioral Models (2014) (23)
Development of UML Descriptions with USE (2002) (22)
Comprehensive Two-Level Analysis of Static and Dynamic RBAC Constraints with UML and OCL (2011) (22)
Operator Scheduling (2009) (22)
From UML Models to Graph Transformation Systems (2005) (22)
Strengthening SAT-Based Validation of UML/OCL Models by Representing Collections as Relations (2012) (21)
Model-driven standardization of public authority data interchange (2014) (21)
Transforming Data Models with UML (2003) (21)
A feature-based classification of formal verification techniques for software models (2019) (21)
On integrating structure and behavior modeling with OCL (2012) (20)
Comprehensive two-level analysis of role-based delegation and revocation policies with UML and OCL (2012) (20)
Defining Operational Behavior of Object Specifications by Attributed Graph Transformations (1996) (20)
On Integrating OCL and Triple Graph Grammars (2009) (20)
Towards Reliable Information Systems: The KorSo Approach (1993) (19)
Metamodel Transformation of Data Models (2002) (19)
An Algebraic Semantics for the Object Specification Language TROLL light (1994) (19)
OCL for (meta-)models in multiple application domains (2006) (18)
Transformation of UML and OCL Models into Filmstrip Models (2014) (18)
Digging into the Visitor Pattern (2004) (18)
Benefits and Problems of Formal Methods (2004) (18)
Transforming Conceptual Data Models into an Object Model (1992) (18)
Realizing UML Metamodel Transformations with AGG (2004) (18)
Essentials of the 4th UML/MoDELS Workshop in Software Model Engineering (WiSME'2005) (2005) (17)
The Whole-Part Relationship in the Unified Modeling Language: A New Approach (2001) (17)
Panel Discussion: Proposals for Improving OCL (2014) (17)
On Generalization and Overriding in UML 2.0 (2004) (17)
Checking Transformation Model Properties with a UML and OCL Model Validator (2014) (17)
Proving and Visualizing OCL Invariant Independence by Automatically Generated Test Cases (2010) (17)
Re-Documentation of Java with UML Class Diagrams (2000) (16)
Typing Model Transformations Using Tracts (2012) (16)
Verifying Linear Temporal Logic Properties in UML/OCL Class Diagrams Using Filmstripping (2016) (16)
Modular Embedding of the Object Constraint Language into a Programming Language (2011) (16)
Employing UML and OCL for designing and analysing role-based access control (2013) (15)
Continuing a Benchmark for UML and OCL Design and Analysis Tools (2016) (15)
Assisted generation of frame conditions for formal models (2015) (15)
TROLL light - The Language and its Development Environment (1995) (15)
Tales of ER and RE Syntax and Semantics (2005) (14)
Realizing Graph Transformations by Pre- and Postconditions and Command Sequences (2006) (14)
On better understanding OCL collections or an OCL ordered set is not an OCL set (2009) (14)
An OCL Extension for Formulating Temporal Constraints (2007) (14)
Endogenous Metamodeling Semantics for Structural UML 2 Concepts (2013) (14)
Modeling and Formally Checking Workflow Properties Using UML and OCL (2010) (13)
OCL-based Runtime Monitoring of JVM hosted Applications (2011) (13)
A Development Environment for an Object Specification Language (1995) (13)
Extracting frame conditions from operation contracts (2015) (13)
On combining semiformal and formal object specification techniques (1997) (12)
From UML/OCL to Base Models: Transformation Concepts for Generic Validation and Verification (2015) (12)
OCL-Based Runtime Monitoring of Applications with Protocol State Machines (2012) (12)
Exploring (Meta-)Model Snapshots by Combining Visual and Textual Techniques (2011) (12)
A SQL-like Query Calculus for Object-Oriented Database Systems (1994) (11)
Proceedings of the 4th International Conference on The Unified Modeling Language, Modeling Languages, Concepts, and Tools (2001) (11)
Precise Model-Driven Transformations Based on Graphs and Metamodels (2009) (11)
Tool support for validating UML and OCL models through automatic snapshot generation (2003) (11)
Translating TROLL light Concepts to Maude (1992) (11)
Towards a generic verification methodology for system models (2013) (11)
Tracing Properties of UML and OCL Models with Maude (2011) (11)
On Parametric Algebraic Specifications with Clean Error Handling (1987) (10)
An Animator for the Object Specification Language TROLL light (1994) (10)
From Graph Transformation to OCL Using USE (2008) (10)
Towards transformation of integrity constraints and database states (2005) (10)
Model-Driven Engineering for Design-Runtime Interaction in Complex Systems: Scientific Challenges and Roadmap - Report on the MDE@DeRun 2018 Workshop (2018) (10)
From (Imperfect) Object Diagrams to (Imperfect) Class Diagrams: New Ideas and Vision Paper (2018) (10)
Abstract Runtime Monitoring with USE (2012) (9)
Adding Random Operations to OCL (2017) (9)
UML Metamodel-based Workflow Modeling and Execution (2011) (9)
Identifying Objects by Declarative Queries (2000) (8)
A note on the translation of SQL to tuple calculus (1990) (8)
A Declarative Query Approach to Object Identification (1995) (8)
Research Questions for Validation and Verification in the Context of Model-Based Engineering (2013) (8)
An OCL-Based Framework for Model Transformations (2016) (8)
Report on the Aachen OCL Meeting (2014) (8)
Essentials of the 3rd UML Workshop in Software Model Engineering (WiSME'2004) (2004) (8)
Evaluating and Debugging OCL Expressions in UML Models (2012) (8)
Towards a Catalog of Structural and Behavioral Verification Tasks for UML/OCL Models (2016) (8)
On Static and Dynamic Analysis of UML and OCL Transformation Models (2014) (8)
A Semantics for OCL Pre- and Postconditions (2000) (7)
Proceedings of the Third international conference on Theory and practice of model transformations (2010) (7)
A Final Algebra Semantics for Errors and Exceptions (1984) (7)
Formal semantics of SQL (1994) (7)
What is an Abstract Data Type, after all? (1994) (7)
Integrating an SMT-Based ModelFinder into USE (2016) (7)
Conceptual Modelling of Database Applications Using an Extended Er Model H.2.1 Database Management] Logical Design { Data Modelss Schema and Subschema. H.2.3 Database Management] Languages { Data Description Languages (ddl)) Data Manipulation Languages (dml)) (2008) (7)
Improving Model Quality by Validating Constraints with Model Unit Tests (2010) (7)
Korso Reference Languages - Concepts and Application Domains (1995) (7)
A Comparison of Textual Modeling Languages: OCL, Alloy, FOML (2016) (7)
Checking the Conformance between Models Based on Scenario Synchronization (2010) (7)
A Web-based animator for validating object specifications (1997) (6)
Towards a Base Model for UML and OCL Verification (2014) (6)
Checking UML and OCL Model Behavior with Filmstripping and Classifying Terms (2017) (6)
An Example for Metamodeling Syntax and Semantics of Two Languages, their Transformation, and a Correctness Criterion (2004) (6)
Quality Improvement of Conceptual UML and OCL Schemata through Model Validation and Verification (2017) (6)
Analyzing Semantic Properties of OCL Operations by Uncovering Interoperational Relationships (2007) (6)
UML for the Impatient (1998) (6)
System Modeling with USE (UML-based Specification Environment) (2008) (6)
Theory and Practice of Model Transformations - 3rd International Conference, ICMT@TOOLS 2010, Málaga, Spain, June 28-July 2, 2010. Proceedings (2010) (6)
On metamodel superstructures employing UML generalization features (2014) (5)
Experimenting with Multi-Level Models in a Two-Level Modeling Tool (2015) (5)
Metamodel Transformation of Data Models Position Paper (2002) (5)
User Assistance Characteristics of the USE Model Checking Tool (2017) (5)
Checking UML and OCL Model Consistency: An Experience Report on a Middle-Sized Case Study (2015) (5)
MDA Employed in a Joint eGovernment Strategy: An Experience Report (2008) (5)
Assurance Using Models at Runtime for Self-Adaptive Software Systems (2012) (5)
Recent Developments in OCL and Textual Modelling (2016) (5)
Eighth International Workshop on OCL Concepts and Tools (2009) (5)
Executing Models by Filmstripping: Enhancing Validation by Filmstrip Templates and Transformation Alternatives (2017) (4)
Coherently Explaining UML Statechart and Collaboration Diagrams by Graph Transformations (2005) (4)
OCL and Model Driven Engineering (2004) (4)
From C++ Refactorings to Graph Transformations (2007) (4)
Exploring ER and RE syntax and semantics with metamodel object diagrams (2005) (4)
Ninth international workshop on the pragmatics of OCL and other textual specification languages (2009) (4)
Design and Prototypical Implementation of an Integrated Graph-Based Conceptual Data Model (2014) (4)
An Algebraic Development Technique for Information Systems (1995) (4)
Native Support for UML and OCL Primitive Datatypes Enriched with Uncertainty in USE (2019) (4)
A Web-based Animator for Object Specifications in a Persistent Environment (1997) (4)
Some Narrow and Broad Challenges in MDD (2017) (4)
Checking BART Test Scenarios with UML's Object Constraint Language (2004) (4)
Employing the Object Constraint Language in Model-Based Engineering (2013) (4)
On explaining modeling principles with modeling examples: a classification catalog (2012) (4)
Error Handling in Algebraic Specifications (1982) (4)
(An Example for) Formally Modeling Robot Behavior with UML and OCL (2017) (4)
Algebraization and Integrity Constraints for an Extended Entity-Relationship Approach (1989) (4)
Generating effective test suites for model transformations using classifying terms (2016) (4)
Stepwise re-engineering and development of object-oriented database schemata (1998) (4)
On Softening OCL Invariants (2019) (4)
Model Finding in the EMF Ecosystem (2020) (4)
UML and OCL in Conceptual Modeling (2011) (4)
Drafting Extended Entity-Relationship Schemas with QUEER (1991) (4)
Teaching Touchy Transformations (2008) (4)
Interoperability of Logistics Artifacts: An Approach for Information Exchange Through Transformation Mechanisms (2016) (4)
Iterative Development of Transformation Models by Using Classifying Terms (2015) (4)
Teaching Model Views with UML and OCL (2017) (4)
Dynamics in Information Systems: Speciication, Construction, and Correctness |an Algebraic Approach| (1996) (3)
Extending a UML and OCL Tool for Meta-Modeling: Applications towards Model Quality Assessment (2018) (3)
Advanced Features for Model Visualization in the UML and OCL Tool USE (2020) (3)
Towards flexible object and class modeling tools: an experience report (2018) (3)
Behavior Modeling with Interaction Diagrams in a UML and OCL Tool (2014) (3)
Monitoring Database Access Constraints with an RBAC Metamodel: A Feasibility Study (2015) (3)
Modeling Behavior with Interaction Diagrams in a UML and OCL Tool (2015) (3)
A Systematic Approach to Generate Diverse Instantiations for Conceptual Schemas (2019) (3)
Quality Improvement for UML and OCL Models Through Bad Smell and Metrics Definition (2019) (3)
Assessing UML Model Quality by Utilizing Metrics (2018) (3)
A UML Semantics FAQ: The View from Bremen (1999) (3)
Towards Schema Queries for Semantic Data Models (1995) (3)
Developing Comprehensive Postconditions Through a Model Transformation Chain (2019) (3)
Model Development in the UML-based Specification Environment (USE) (2006) (3)
Teaching modeling in computer science as an ecosystem: a provocative analogy (2018) (3)
Model Driven ActiveRecord with yEd (2015) (3)
Towards supporting multiple execution environments for UML/OCL models at runtime (2012) (3)
Safe Derivations in Object Hierarchies (1994) (3)
Meta-Modeling Model-Based Engineering Tools (Dagstuhl Seminar 13182) (2013) (3)
Towards a Developer-Oriented Process for Verifying Behavioral Properties in UML and OCL Models (2016) (2)
On Leveraging UML/OCL for Model Synchronization (2016) (2)
Sketching a Model-Based Technique for Integrated Design and Run Time Description - Short Paper - Tool Demonstration (2018) (2)
Algebraic System Specification and Development: Survey and Annotated Bibliography - Second Edition (1997) (2)
Testing Transformation Models Using Classifying Terms (2017) (2)
UML and OCL Transformation Model Analysis: Checking Invariant Independence (2015) (2)
An Object-Oriented Design for the ACT ONE Environment (1993) (2)
Formally Modeling, Executing, and Testing Service-Oriented Systems with UML and OCL (2017) (2)
An Approach for Quality Assurance of Model Transformations (2012) (2)
Workshop in OCL and Textual Modelling - Report on Recent Trends and Panel Discussions (2017) (2)
Report on the 1st International Workshop on Debugging in Model-Driven Engineering (MDEbug'17) (2017) (2)
Model Finding and Model Completion with USE (2018) (2)
Semantics of object-oriented languages (1999) (2)
UML/OCL based Design and Analysis of Role-Based Access Control Policies (2013) (2)
A Catalogue of Scenario Patterns for Validating and Verifying Model Behavior (2019) (2)
Integrating UML/OCL Derived Properties into Validation and Verification Processes (2016) (1)
Essentials of the 5th educators' symposium at MODELS 2009 (2009) (1)
An annotated bibliography on object-orientation and deduction (1992) (1)
Towards a Conceptual Model for the Environmentof the Algebraic Speci cation Language ACT ONE (1991) (1)
Extending a UML and OCL Tool for Multi-levels: Applications Towards Model Quality Assessment (2017) (1)
Model Development in the Tool USE: Explorative, Consolidating and Analytic Steps for UML and OCL Models (2020) (1)
Fundamentals and Pragmatics of an Entity-Relationship Approach (1994) (1)
Proceedings of the Workshop on OCL and Textual Modelling (OCL 2010) (2011) (1)
Towards Object Visualization by Conceptual GraphsMartin GogollaBremen UniversityInformatics DepartmentDatabase Systems (1996) (1)
Meta-Modeling Model-Based Engineering Tools (2013) (1)
Modeling Behavioral Deontic Constraints Using UML and OCL (2020) (1)
Generating OCL Constraints from Test Case Schemas For Testing Model Behavior (2018) (1)
Formulating Model Verification Tasks Prover-Independently as UML Diagrams (2017) (1)
Visualizing and Analyzing Discrete Sets with a UML and OCL Software Design Tool (2018) (1)
Developing User and Recording Interfaces for Design Time and Runtime Models (2019) (1)
An Object Specification Language Implementation with Web User Interface based on Tycoon (1996) (1)
Towards Model Validation and Verification with SAT Techniques (2009) (1)
Orientation Relationships (2009) (1)
Drafting ER and OO Schemas in Prototype Environments (1996) (1)
Exception Handling and Subsorts (1986) (1)
Collected Experience and Thoughts on Long Term Development of an Open Source MDE Tool (2014) (1)
Emerging Topics in Textual Modelling (2019) (1)
Educators' Symposium at MODELS 2009 (2009) (1)
The secret life of OCL constraints (2012) (1)
An Approach to Employ Modeling in a Traditional Computer Science Curriculum or: Why Posing Essentials of the Object Constraint Language without Objects and Constraints? (2015) (1)
Testing models and model transformations using classifying terms (2016) (1)
A feature-based classification of formal verification techniques for software models (2017) (1)
Algebraic Specification with subsorts using declarations (1983) (1)
Algebraic and operational semantics of exceptions and errors (1983) (1)
Refactoring Collections in OCL (2021) (1)
A benchmark for OCL engine accuracy, determinateness, and efficiency (2010) (1)
Logical Reasoning with Object Diagrams in a UML and OCL Tool (2018) (1)
Algebraic Specification of Subsorts (1983) (1)
On Behavioral Model Quality and Transformation | Position Statement | 1 Conceptual Modelling of Information Systems (1997) (1)
Workshop on OCL and textual modeling: OCL 2012 (2012) (1)
Modeling Language Transformations with USE (2013) (0)
Tenth International Workshop on OCL and Textual Modelling (2010) (0)
Systematic Transformation of Graphically Described UML Operations into OCL Pre-and Postconditions and Easy Implementations (2005) (0)
Squeezer Graphs : Proposing a Simple Basis for Computing ( Meta-) Model Features (2018) (0)
Editorial for the Speccial Issue UML 2001 Conference (2002) (0)
A Toolchain Transforming Descriptive Domain-Specific Models into Executable Browser-Based Applications (2020) (0)
Model Checking and Model Finding with USE (2018) (0)
Proceedings of the 5th international conference on Tests and proofs (2011) (0)
On Formal Semantics of Some Semantic Data Models (1994) (0)
In memory of Robert B. France, Co-Founder and Editor-in-Chief of SoSyM from 1999 to 2015 (2015) (0)
Preface (2006) (0)
Validating UML Models and OCL ConstraintsMark (2000) (0)
Automatic Generation of Valid Behavioral Scripts from UML Sequence Diagrams (2019) (0)
Preface to the JOT special issue containing the ECMFA 2021 selected papers (2021) (0)
On Horizontal and Vertical Relationships between Models (2008) (0)
ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems (2015) (0)
Edited proceedings, Third International Conference, ICMT 2010 (2010) (0)
Tests and Proofs - 5th International Conference, TAP@TOOLS 2011, Zurich, Switzerland, June 30 - July 1, 2011. Proceedings (2011) (0)
Modeling Low-Level Network Configurations for Analysis, Simulation and Testing (2020) (0)
Enhancing development and consistency of UML models and model executions with USE studio (2020) (0)
On teaching descriptive and prescriptive modeling (2020) (0)
On Understanding Teaching Modeling in Computer Science as an Ecosystem (2017) (0)
Structure of data and entities (1994) (0)
Is It Possible to Express a Semantics of UML in UML? (The Meta-modelling Approach) (1999) (0)
Strengthening validation of model behavior through filmstrip templates in the tool USE (2020) (0)
Towards Facilitating the Exploration of Informal Concepts in Formal Modeling Tools (2021) (0)
Preface (2008) (0)
Proceedings of the 15th International Workshop on OCL and Textual Modeling co-located with 18th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2015), Ottawa, Canada, September 28, 2015 (2015) (0)
Proceedings of the 12th Workshop on OCL and Textual Modelling, Innsbruck, Austria, September 30, 2012 (2012) (0)
Lassy-a system for analyzing grammatical dependencies in Latin (1996) (0)
Reusing OCL in a Programming Language (2013) (0)
Object Identifier (2020) (0)
OCL and Model Driven Engineering (Workshop Report) (2005) (0)
Report on the Third Workshop on Verification of Model Transformations (VOLT 2014) (2014) (0)
7th International Workshop on Ocl4All: Modelling Systems with OCL (2008) (0)
On the Support of Qualified Associations in OCL (2016) (0)
Toward a Unified Logistics Modeling Language: Constraints and Objectives (2016) (0)
An Idealistic Plan for Transforming Media Sources Into Books, Slides and Videos: Position Statement on “Textbooks 10 Years From Now” (2019) (0)
Preface to the Proceedings of the 2008 OCL Workshop (2009) (0)
Electronic Communications of the EASST Volume 44 ( 2011 ) Proceedings of the Workshop on OCL and Textual Modelling ( OCL 2011 ) Preface (2011) (0)
Class diagram Order dataVol : Integer scope : Scope « enumeration » Scope continental worldwide Customer name : String budget : Integer premium : Boolean CloudService provider : String maxDataVol : Integer scope : Scope unitPrice (2019) (0)
A SWOT Analysis of the Object Constraint Language (2021) (0)
Editorial (2002) (0)
Parameterizing Object Specifications (1996) (0)
Preface (OCL 2011 Proceedings) (2011) (0)
Assembling Scenario Patterns for Checking Model Behavior (2020) (0)
Exploiting Results of Model-Based Analysis Tools (2021) (0)
What Is the Current State of UML Semantics? What Are the Reference Documents (1999) (0)
Extended Entity-Relationship calculus (1994) (0)
Unsupervised Learning on Document Datasets (2009) (0)
Views on UML Interactions as Spreadsheet Queries (2016) (0)
In memory of Robert B. France, Co-Founder and Editor-in-Chief of SoSyM from 1999 to 2015 (2015) (0)
Categorization of approaches to extend and reuse OCL (2022) (0)
On Better Understanding UML Diagrams through Three-Dimensional Visualization and Animation. (2000) (0)
From Object to Class Models: More Steps towards Flexible Modeling (Short Paper) (2022) (0)
A Feasibility Study on Using Classifying Terms in Alloy (2019) (0)
ICMT 2010 Special Section (2011) (0)
Preface to Workshop The Pragmatics of OCL and Other Textual Specification Languages at MoDELS 2009 (2010) (0)
Response to the OMG RfP (2001) (0)
Metrics for OCL expressions: development, realization, and applications for validation (2020) (0)
Appendix E : Alternative Approaches (2011) (0)
Towards Flexible Model Analysis and Constraint Development: A Small Demo Based on Large Real-Life Data (2016) (0)
Preface to the JOT Special Issue dedicated to Prof. Antonio Vallecillo on his 60th Birthday (2022) (0)
Direction Neutral Language Transformation with Metamodels (2011) (0)
On a Better Formal Basis for Stating Sql-like Queries in Value-and Object-based Dbs (1994) (0)
On Scenario Synchronization (2010) (0)
Uncertain Information (2009) (0)
VOLT 2014 Workshop Report (2014) (0)
Online Handwriting (2009) (0)

This paper list is powered by the following services:

Martin Gogolla's Academic­Influence.com Rankings

Why Is Martin Gogolla Influential?

Martin Gogolla's Published Works

Published Works

Martin Gogolla's AcademicInfluence.com Rankings