10 citations · 24 across the 4 of their papers we have counts for
4 papers
User Assistance Characteristics of the USE Model Checking Tool
Frank Hilken, Martin Gogolla
The Unified Modeling Language (UML) is a widely used general purpose modeling language. Together with the Object Constraint Language (OCL), formal models can be described by defini…
Using Models at Runtime to Address Assurance for Self-Adaptive Systems
Betty Cheng, Kerstin Eder, Martin Gogolla +10
A self-adaptive software system modifies its behavior at runtime in response to changes within the system or in its execution environment. The fulfillment of the system requirement…
Report on the Aachen OCL Meeting
Achim D. Brucker, Dan Chiorean, Tony Clark +6
As a continuation of the OCL workshop during the MODELS 2013 conference in October 2013, a number of OCL experts decided to meet in November 2013 in Aachen for two days to discuss…
Tracing Properties of UML and OCL Models with Maude
Francisco Durán, Martin Gogolla, Manuel Roldán
The starting point of this paper is a system described in form of a UML class diagram where system states are characterized by OCL invariants and system transitions are defined by…