63 citations · 383 across the 27 of their papers we have counts for
20 papers · 2 filters
Multi-Platform Generative Development of Component & Connector Systems using Model and Code Libraries
Jan Oliver Ringert, Bernhard Rumpe, Andreas Wortmann
Component-based software engineering aims to reduce software development effort by reusing established components as building blocks of complex systems. Defining components in gene…
System Model-Based Definition of Modeling Language Semantics
Hans Grönninger, Jan Oliver Ringert, Bernhard Rumpe
In this paper, we present an approach to define the semantics for object-oriented modeling languages. One important property of this semantics is to support underspecified and inco…
MontiArc - Architectural Modeling of Interactive Distributed and Cyber-Physical Systems
Arne Haber, Jan Oliver Ringert, Bernhard Rumpe
This report presents MontiArc, a modeling language for the description of Component & Connector architectures. A component is a unit executing computations and/or storing data. Inf…
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…
Black-box Integration of Heterogeneous Modeling Languages for Cyber-Physical Systems
Markus Look, Antonio Navarro Perez, Jan Oliver Ringert +2
Robots belong to a class of Cyber-Physical Systems where complex software as a mobile device has to full tasks in a complex environment. Modeling robotics applications for analysis…
Towards Architectural Programming of Embedded Systems
Arne Haber, Jan Oliver Ringert, Bernhard Rumpe
Integrating architectural elements with a modern programming language is essential to ensure a smooth combination of architectural design and programming. In this position statemen…
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,…
CD2Alloy: Class Diagrams Analysis Using Alloy Revisited
Shahar Maoz, Jan Oliver Ringert, Bernhard Rumpe
We present CD2Alloy, a novel, powerful translation of UML class diagrams (CDs) to Alloy. Unlike existing translations, which are based on a shallow embedding strategy, and are thus…
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…
MontiArcAutomaton: Modeling Architecture and Behavior of Robotic Systems
Jan Oliver Ringert, Bernhard Rumpe, Andreas Wortmann
Robotics poses a challenge for software engineering as the vast numbers of different robot platforms impose different requirements on robot control architectures. The platform depe…
Summarizing Semantic Model Differences
Shahar Maoz, Jan Oliver Ringert, Bernhard Rumpe
Fundamental building blocks for managing and understanding software evolution in the context of model-driven engineering are differencing operators one can use for model comparison…
A Requirements Modeling Language for the Component Behavior of Cyber Physical Robotics Systems
Jan Oliver Ringert, Bernhard Rumpe, Andreas Wortmann
Software development for robotics applications is a sophisticated endeavor as robots are inherently complex. Explicit modeling of the architecture and behavior of robotics applicat…
An Interim Summary on Semantic Model Differencing
Shahar Maoz, Jan Oliver Ringert, Bernhard Rumpe
This position paper provides an interim summary on the goals and current state of our ongoing research project on semantic model differencing for software evolution. We describe th…
Synthesis of Component and Connector Models from Crosscutting Structural Views
Shahar Maoz, Jan Oliver Ringert, Bernhard Rumpe
We present component and connector (C&C) views, which specify structural properties of component and connector models in an expressive and intuitive way. C&C views provide means to…
A Case Study on Model-Based Development of Robotic Systems using MontiArc with Embedded Automata
Jan Oliver Ringert, Bernhard Rumpe, Andreas Wortmann
Software development for service robotics is inherently complex. Even a single robot requires the composition of several sensors, actuators, and software modules. The systems are u…
From Software Architecture Structure and Behavior Modeling to Implementations of Cyber-Physical Systems
Jan Oliver Ringert, Bernhard Rumpe, Andreas Wortmann
Software development for Cyber-Physical Systems (CPS) is a sophisticated activity as these systems are inherently complex. The engineering of CPS requires composition and interacti…
Verifying Component and Connector Models against Crosscutting Structural Views
Shahar Maoz, Jan Oliver Ringert, Bernhard Rumpe
The structure of component and connector (C&C) models, which are used in many application domains of software engineering, consists of components at different containment levels, t…