34 citations · 64 across the 8 of their papers we have counts for
8 papers
A Manifesto for Semantic Model Differencing
Shahar Maoz, Jan Oliver Ringert, Bernhard Rumpe
Models are heavily used in software engineering and together with their systems they evolve over time. Thus, managing their changes is an important challenge for system maintainabi…
An Operational Semantics for Activity Diagrams using SMV
Shahar Maoz, Jan Oliver Ringert, Bernhard Rumpe
This document defines an operational semantics for activity diagrams (ADs) using a translation to SMV. The translation is inspired by the work of Eshuis [Esh06] and extends it with…
CDDiff: Semantic Differencing for Class Diagrams
Shahar Maoz, Jan Oliver Ringert, Bernhard Rumpe
Class diagrams (CDs), which specify classes and the relationships between them, are widely used for modeling the structure of object-oriented systems. As models, programs, and syst…
Modal Object Diagrams
Shahar Maoz, Jan Oliver Ringert, Bernhard Rumpe
While object diagrams (ODs) are widely used as a means to document object-oriented systems, they are expressively weak, as they are limited to describe specific possible snapshots…
ADDiff: Semantic Differencing for Activity Diagrams
Shahar Maoz, Jan Oliver Ringert, Bernhard Rumpe
Activity diagrams (ADs) have recently become widely used in the modeling of workflows, business processes, and web-services, where they serve various purposes, from documentation,…
Semantically Configurable Consistency Analysis for Class and Object Diagrams
Shahar Maoz, Jan Oliver Ringert, Bernhard Rumpe
Checking consistency between an object diagram (OD) and a class diagram (CD) is an important analysis problem. However, several variations in the semantics of CDs and ODs, as used…