Software and System Modeling Based on a Unified Formal Semantics

Broy, Manfred; Huber, Franz; Paech, Barbara; Rumpe, Bernhard; Spies, Katharina

doi:10.1007/10692867_2

Cited by 8 publications

(3 citation statements)

References 21 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…To this extent, the introduction of reuse through modularity has gained traction in software language engineering (SLE) and component-based software engineering (CBSE) communities in recent years. Software components consist of interfaces providing the necessary interaction of the component to its environment (Broy et al 1998). Our approach does not specifically proclaim explicit interfaces for language components, which are considered an overhead in developing, evolving, and maintaining them.…”

Section: Discussionmentioning

confidence: 99%

Towards Modular Development of Reusable Language Components for Domain-Specific Modeling Languages in the MagicDraw and MontiCore Ecosystems.

Butting,

Gupta,

Jansen

et al. 2023

JOT

View full text Add to dashboard Cite

The modularization of domain-specific modeling languages (DSMLs) during language development is important for languages or language parts to be reusable. As languages and their components are created using different language workbenches or modeling tools, the definitions and concepts for such language components are often limited to their individual technological spaces. In reality, language development requires significant effort, and DSMLs are often built from scratch within a single technological space, with little consideration for the generalization of the development concepts to other technological spaces. In this article, we discuss common notions of language components that are valid across the textual and graphical technological spaces and provide definitions, concepts, and realization techniques to foster the reusability of such language parts during DSML development. To this end, we first individually define language components and the various forms of language composition in MontiCore, a textual language workbench, and MagicDraw, a graphical modeling tool, and then describe unified cross-cutting concepts of language components that are crucial in developing variants or families of similar languages valid in both the textual and the graphical technological spaces. These language components that are described regardless of their individual technological spaces ensure the reusability of common language parts, ultimately supporting language engineers in developing complex modular DSMLs in the large.

show abstract

Section: Discussionmentioning

confidence: 99%

Towards Modular Development of Reusable Language Components for Domain-Specific Modeling Languages in the MagicDraw and MontiCore Ecosystems.

Butting,

Gupta,

Jansen

et al. 2023

JOT

View full text Add to dashboard Cite

show abstract

“…Examples for early research in closely related areas are [24][25][26]. We expect that design automation for CPS will stimulate further extensive research activities in semantically solid integration of models and modeling languages in the future.…”

Section: Complexity Of the Modeling Task Is Illustrated Inmentioning

confidence: 99%

Cyber Physical Systems — Convergence of Physical and Information Sciences

Sztipanovits¹

2012

Itit

View full text Add to dashboard Cite

Recent attention to Cyber Physical Systems (CPS)is driven by the need for deeper integration of design disciplines that dominate physical and computational domains. Consequently, heterogeneity is the norm as well as the main challenge in CPS design: components and systems are modeled using multiple physical, logical, functional and non-functional modeling aspects. The scope of relevant design domains includes (1) physical domains, such as structure, mechanical dynamics, thermal, propulsion, fluid, electrical, acoustics, vibration and (2) computational, networking domains, used for implementing system control, sensors, health management, mission management, communication. The need for deep integration of these interrelated facets of CPS opens up a rich research agenda towards establishing a new systems science that is simultaneously physical and computational.Zusammenfassung Die Beachtung, die cyber-physische Systeme (CPS) jüngst erfahren, ist bedingt durch die Notwendigkeit einer tiefgreifenden Integration der in naturwissenschaftlichen und rechnergestützten Bereichen vorherrschenden Entwurfsdisziplinen. Für den Entwurf von CPS stellt daher Heterogenität sowohl die Regel als auch die wesentliche Herausforderung dar: Komponenten und Systeme werden mit Hilfe einer Vielzahl physikalischer, logischer, funktionaler und nicht-funktionaler Aspekte modelliert. Die Bandbreite relevanter Designgebiete umfasst (1) physikalische Bereiche wie Struktur, Dynamik, Thermik, Antrieb, Strömung, Elektrizität, Akustik, Vibration, sowie (2) die Bereiche Berechnung und Vernetzung, die zur Implementierung von Systemsteuerung, Sensoren, Systemzustandsmanagement, Missionsmanagement und Kommunikation verwendet werden. Die Notwendigkeit einer tiefgreifenden Integration dieser miteinander verwobenen Facetten von CPS eröffnet eine reichhaltige Forschungsagenda, hin zum Aufbau einer neuen Systemwissenschaft, die gleichzeitig naturwissenschaftlich und informationswissenschaftlich ist.

show abstract

“…Also interesting works are on formal definitions of practically useful design/modeling languages like UML, so-called Precise Semantics of Software Modeling Techniques: e.g., Broy et al (1998). If UML have such formal foundations and properties and limitations of various design transformations on that languages are analyzed rigorously, then working software engineers can effectively work with UML in a very rigorous and safe manner.…”

Section: Towards Precision Software Engineeringmentioning

confidence: 99%

What Is ‘Mathematicalness’ in Software Engineering?

Kondoh

2000

Fundamental Approaches to Software Engineering

View full text Add to dashboard Cite

Software and System Modeling Based on a Unified Formal Semantics

Cited by 8 publications

References 21 publications

Towards Modular Development of Reusable Language Components for Domain-Specific Modeling Languages in the MagicDraw and MontiCore Ecosystems.

Towards Modular Development of Reusable Language Components for Domain-Specific Modeling Languages in the MagicDraw and MontiCore Ecosystems.

Cyber Physical Systems — Convergence of Physical and Information Sciences

What Is ‘Mathematicalness’ in Software Engineering?

Contact Info

Product

Resources

About