- KonferenzbeitragOn the de-facto standard of event-driven process chains: reviewing EPC implementations in process modelling tools(Modellierung 2016, 2016) Karhof, Arne; Jannaber, Sven; Riehle, Dennis M.; Thomas, Oliver; Delfmann, Patrick; Becker, Jörg; Oberweis, Andreas; Reussner, RalfNowadays, most process modelling tools implement popular modelling languages such as the Business Process Model and Notation (BPMN) or the Event-driven Process Chain (EPC). However, in contrast to BPMN, no effort has yet been undertaken to standardize the EPC language, thus rendering EPCs as being merely a de-facto standard for business process modelling. Subsequently, this paper addresses this issue by laying ground for a successful EPC standardization. To achieve this task, several process modelling tools have been evaluated regarding their implementation of the EPC language with the objective to derive consensus about important language constructs. The evaluation reveals that there is a high degree of variety in the way tools implement EPCs. Especially syntax, semantic and pragmatic of the EPC language are not perceived homogenously and, in fact, commonly neglected. Hence, our research provides valuable implications for further EPC standardization by highlighting the state-of-the-art of the EPC from a software point of view.
- KonferenzbeitragTool support for model transformations: on solutions using internal languages(Modellierung 2016, 2016) Hinkel, Georg; Goldschmidt, Thomas; Oberweis, Andreas; Reussner, RalfModel-driven engineering (MDE) has proven to be a useful approach to cope with todays ever growing complexity in the development of software systems, yet it is not widely applied in industry. As suggested by multiple studies, tool support is a major factor for this lack of adoption. Existing tools for MDE, in particular model transformation approaches, are often developed by small teams and cannot keep up with advanced tool support for mainstream languages such as provided by IntelliJ or Visual Studio. In this paper, we propose an approach to leverage existing tool support for model transformation using internal model transformation languages and investigate design decisions and their consequences for inherited tool support. The findings are used for the design of an internal model transformation language on the .NET platform.
- KonferenzbeitragTowards a catalog of structural and behavioral verification tasks for UML/OCL models(Modellierung 2016, 2016) Hilken, Frank; Niemann, Philipp; Gogolla, Martin; Wille, Robert; Oberweis, Andreas; Reussner, RalfVerification tasks for UML and OCL models can be classified into structural and behavioral tasks. For both task categories a variety of partly automatic solving approaches exist. But up to now, different interpretations of central notions as, for example, `consistency' or `reachability' can be found in current approaches and tools. This paper is designed to clarify central verification notions and to establish a collection of typical verification tasks that are common to multiple approaches and tools. In addition, the verification tasks are categorized with the aim of creating a central catalog of tasks, providing a common understanding of the terms used in model verifications.
- KonferenzbeitragNESTML: a modeling language for spiking neurons(Modellierung 2016, 2016) Plotnikov, Dimitri; Blundell, Inga; Ippen, Tammo; Eppler, Jochen Martin; Morrison, Abigail; Rumpe, Bernhard; Oberweis, Andreas; Reussner, RalfBiological nervous systems exhibit astonishing complexity. Neuroscientists aim to capture this complexity by modeling and simulation of biological processes. Often very complex models are necessary to depict the processes, which makes it difficult to create these models. Powerful tools are thus necessary, which enable neuroscientists to express models in a comprehensive and concise way and generate efficient code for digital simulations. Several modeling languages for computational neuroscience have been proposed [Gl10, Ra11]. However, as these languages seek simulator independence they typically only support a subset of the features desired by the modeler. In this article, we present the modular and extensible domain specific language NESTML, which provides neuroscience domain concepts as first-class language constructs and supports domain experts in creating neuron models for the neural simulation tool NEST. NESTML and a set of example models are publically available on GitHub.
- KonferenzbeitragInfrastructure to use OCL for runtime structural compatibility checks of simulink models(Modellierung 2016, 2016) Bertram, Vincent; Manhart, Peter; Plotnikov, Dimitri; Rumpe, Bernhard; Schulze, Christoph; Wenckstern, Michael Von; Oberweis, Andreas; Reussner, RalfFunctional development of embedded software systems in the automotive industry is mostly done using models consisting of highly adjustable and potentially reusable components. A basic pre-requisite for reuse is structural compatibility of available component versions and variants. Since each vendor in the automotive domain uses its own toolchain with corresponding models, an unified modeling notation is needed. For this reason based on a detailed feature analysis of wellestablished and commonly used modeling languages, a meta-model has been derived that allows checking structural compatibility, even between heterogeneous modeling languages.
- KonferenzbeitragVom Clean Model zum Clean Code(Modellierung 2016, 2016) Vasileva, Anna; Schmedding, Doris; Oberweis, Andreas; Reussner, RalfIn diesem Beitrag wird der Zusammenhang zwischen Code-Qualität und UML- Modellen in einem Software-Entwicklungsprozess in der Informatik-Ausbildung vorgestellt. Es wird untersucht, welche der im Code sichtbar werdenden Mängel bereits im Modell erkannt werden können. Werkzeuge zur statischen Code-Analyse und Refactoring-Techniken unterstützen die Studierenden beim Entdecken und Beseitigen der Qualitätsmängel im Programm-Code. Eine Analyse der studentischen Projekte hat gezeigt, dass sich manche Code-Mängel im Nachhinein nur schwer beseitigen lassen. Aus diesem Grund müssen Qualitätsaspekte bereits beim Modellieren in Betracht gezogen werden. Frühzeitig erkannte Mängel lassen sich mit geringeren Kosten beseitigen als spät erkannte Defekte.
- KonferenzbeitragOn the de-facto standard of event-driven process chains: how EPC is defined in literature(Modellierung 2016, 2016) Riehle, Dennis M.; Jannaber, Sven; Karhof, Arne; Thomas, Oliver; Delfmann, Patrick; Becker, Jörg; Oberweis, Andreas; Reussner, RalfThe Business Process Modelling Notation (BPMN) and the Event-driven Process Chain (EPC) are both frequently used modelling languages to create business process models. While there is a well-defined standard for BPMN, such a standard is missing for EPC. As a standard would be beneficial to improve interoperability among different vendors, this paper aims at providing the means for future EPC standardization. Therefore, we have conducted a structured literature review of the most common EPC variants in IS research. We provide a structured overview of the evolution of different EPC variants, describe means and capabilities and elaborate different criteria for decision-making in regard to including EPC variants in a standardization process.
- KonferenzbeitragTunit - unit testing for template-based code generators(Modellierung 2016, 2016) Kolassa, Carsten; Look, Markus; Müller, Klaus; Roth, Alexander; Reiß, Dirk; Rumpe, Bernhard; Oberweis, Andreas; Reussner, RalfTemplate-based code generator development as part of model-driven development (MDD) demands for strong mechanisms and tools that support developers to improve robustness, i.e., the desired code is generated for the specified inputs. Although different testing methods have been proposed, a method for testing only parts of template-based code generators that can be employed in the early stage of development is lacking. Thus, in this paper we present an approach and an implementation based on JUnit to test template-based code generators. Rather than testing a complete code generator, it facilitates partial testing by supporting the execution of templates with a mocked environment. This eases testing of code generators in early stages of development as well as testing new or changed parts of a code generator. To test the source code generated by the templates under test, different methods are presented including string comparisons, API-based assertions, and abstract syntax tree based assertions.
- Editiertes BuchModellierung 2016(2016) Oberweis, Andreas; Reussner, Ralf
- KonferenzbeitragPushing the CIDOC-conceptual reference model towards LOD by open annotations(Modellierung 2016, 2016) Frank, Matthias; Zander, Stefan; Oberweis, Andreas; Reussner, RalfBy using a novel modelling approach, we demonstrate how the Conceptual Reference Model (CRM) of ICOM's International Committee for Documentation (CIDOC) can be complemented using the Open Annotation Data Model (OADM) in order to create semantically rich annotations. We show that domain knowledge can be combined with meaningful and linked data exposed in the so-called Web of Data (aka semantic Web) by having the necessary provenance information for annotations. The combination of domain specific knowledge with existing Linked Open Data (LOD) requires well-designed modelling decisions for linking semantic data sets in a comprehensible way. We show that our combined approach is able to address the requirements of digital heritage in more sufficient ways than each model separately. We combine the advantages of a proven domain ontology with the flexibility and semantic richness of the OADM. In order to evaluate our approach, we show with a concrete example how a museum artifact is modeled in CIDOC-CRM and how these data can be interlinked with existing LOD in meaningful and machine-processable ways by encoding provenance information for new annotations using the OADM.