Keywords: DSL, EMF, Interoperability, Metamodeling, MSDKVS, Sirius
Astract: Many powerful metamodeling platforms exist, each with strengths, weaknesses, functionalities, programming language(s), and developer community. To exploit the mutual benefits of these platforms, it would be ideal to establish interoperability amongst them and the exchange of metamodels and models. This would enable language engineers to choose the metamodeling platform freely without risking a lock-in effect. Two well-documented and freely available metamodeling platforms are the Eclipse Modeling Framework (EMF) and Microsoft’s Modeling SDK for Visual Studio (MSDKVS). This paper proposes the first achievements toward establishing interoperability between EMF and MSDKVS on an abstract syntax level and a graphical concrete syntax level. To develop such interoperability, we i) comprehensively analyze the two platforms, ii) present a conceptual mapping between them, and iii) eventually implement a bidirectional transformation bridge. The transformed results’ validity, executability, and expressiveness are then quantitatively and qualitatively assessed by transforming a collection of publicly available metamodels.

Keywords: cyber-physical systems, digital twin, model-driven engineering, multi-paradigm modeling
Astract: Cyber-physical systems (CPS) are finding increasing use, whether in factories, autonomous vehicles, or smart buildings. Monitoring the execution of CPSs is crucial since CPSs directly influence their physical environment. Like the actual system, the monitoring application must be designed, developed, and tested. Mobile CPSs, in contrast to stationary CPSs, bring the additional requirement that instances can dynamically join, leave, or fail during execution time. This dynamic behavior must also be considered in the monitoring application. This paper presents CPSAML, a language and code generation framework for the model-driven development of mobile CPS systems, including a cockpit application for monitoring and interacting with such a system. The pipeline starts with the formulation of the system and the CPSs it contains at an abstract level by the system architect using a domain-specific modeling language. Next, this model is transformed into SysML 2 for further extension and richer specificity by system engineers on a more technical level. In the last step of the pipeline, the SysML 2 model is used to generate code for the CPS devices, a system-wide digital twin, and the cockpit application mentioned above. This cockpit enables the operator to configure and apply the monitoring and interaction with the system during runtime. We evaluate our CPSAML language and code generation framework on an Indoor Transport System case study with Roomba vacuum cleaner robots.

Keywords: Software Engineering, Language Server Protocol, GLSP
Astract: Conceptual modeling is widely adopted in industrial practices, e.g., process, software, and systems modeling. Providing adequate and usable modeling tools is essential for the efficient adoption of modeling. Metamodeling platforms provide a rich set of functionalities and maturely realize state-of-the-art modeling tools. However, despite their maturity and stability, most of these platforms only slowly - if at all - leverage the full extent of functionalities and the ease of exploitation and integration enabled by web technologies. With the Graphical Language Server Protocol (GLSP), it is now possible to realize much richer, advanced opportunities for visualizing and interacting with conceptual models. This paper presents a concept and a prototypical implementation of two advanced model visualization and interaction functionalities with the Eclipse GLSP platform: Semantic Zoom and Off-Screen Elements. We believe such advanced functionalities pave the way for a prosperous modeling future and spark innovation in modeling tool development.

Keywords: Enterprise Architecture, Knowledge Graph, Modeling tool, ArchiMate, Archi
Astract: Enterprise Architecture offers guidelines for the coherent, model-based design and management of enterprises. EA models provide a layered, integrated, and cohesive representation of the enterprise, enabling communication, analysis, and decision making. With the increasing size of EA models, automated analysis becomes essential. However, advanced model analysis is neither incorporated in current EA methods like ArchiMate nor supported by existing EA tools like Archi. Knowledge Graphs (KGs) can effectively organize and represent knowledge and enable reasoning to utilize this knowledge, e.g., for decision support. This paper introduces a model-based Enterprise Architecture Knowledge Graph (EAKG) construction method and shows how starting from ArchiMate models, an initially derived EAKG can be further enriched by EA-specific and graph characteristics-based knowledge. The introduced EAKG entails new representation and reasoning methods applicable to EA knowledge. As a proof of concept, we present the results of a first Design Science Research Cycle aiming to realize an Archi plugin for the EAKG that enables analysis of EA Smells within ArchiMate models.

Keywords: Code generation, Entity Relationship, Language Server Protocol, Modeling, Sprotty, Tool
Astract: This paper introduces the first major release of the bigER modeling tool. bigER offers various features for flexibly specifying and visualizing Entity Relationship (ER) data models. Within the Visual Studio (VS) Code IDE, the tool enables hybrid modeling through a textual editor and a graphical editor to display and modify the textual and graphical ER model, respectively. Both editors are realized with a custom language to specify ER elements and allow multi-notation support (currently Bachman, Chen, Crow’s Foot, Min-Max, and UML). The bigER modeling tool incorporates the Language Server Protocol and is based on web technologies, which makes the tool platform-independent and easily extensible. We present the newest extensions of bigER, i.e., multi-notation support and improved edge routing.