Logo des Repositoriums

Auflistung nach Schlagwort "Language Engineering"

1 - 3 von 3
  • Konferenzbeitrag
    Embedding Textual Languages in MagicDraw
    (Modellierung 2022 Satellite Events, 2022) Drux, Florian; Jansen, Nico; Rumpe, Bernhard; Schmalzing, David
    Stakeholders in model-based systems engineering projects often rely on heterogeneous modeling languages and tools. Efficient and seamless model-based engineering requires analyzing consistency, maintaining tracing information, and propagating changes of models of these languages even in different technological spaces. However, research on software language integration and inter-model consistency often only considers modeling languages and tools within the same technological space. We present a method for language composition across the technological spaces of the graphical modeling framework MagicDraw and the language workbench MontiCore. We realized language integration between these technological spaces by applying concepts of language aggregation to exchange essential model information and performing analysis on this information in an automated toolchain. The presented concepts can guide software language engineers and modeling tool developers on how to combine concepts of language composition to bridge technological spaces.
  • Konferenzbeitrag
    Using Language Workbenches and Domain-Specific Languages for Safety-critical Software Development
    (Software Engineering and Software Management 2019, 2019) Voelter, Markus
    In a 2018 article in the journal on Software & Systems Modeling we discussed the use of DSLs and language workbenches in the context of safety-critical software development. Language workbenches support the efficient creation, integration, and use of domain-specific languages. Typically, they execute models by code generation to programming language code. This can lead to increased productivity and higher quality. However, in safety-/mission-critical environments, generated code may not be considered trustworthy, because of the lack of trust in the generation mechanisms. This makes it harder to justify the use of language workbenches in such an environment. In the SOSYM paper, we demonstrate an approach to use such tools in critical environments. We argue that models created with domain-specific languages are easier to validate and that the additional risk resulting from the transformation to code can be mitigated by a suitably designed transformation and verification architecture. We validate the approach with an industrial case study from the healthcare domain. We also discuss the degree to which the approach is appropriate for critical software in space, automotive, and robotics systems.
  • Konferenzbeitrag
    Workshop on the State of the Art Methods and Tools in Model-Based Systems Engineering
    (Modellierung 2022 Satellite Events, 2022) Böhm, Wolfgang; Jansen, Nico; Schmalzing, David
    This workshop aims to bring together people involved in model-based systems. In particular, through this workshop, we intended to promote the exchange between industry and research and, by linking theory and practice, exchange knowledge and experience and discuss the application of MBSE methods. Therefore, relevant topics for this workshop were experiences and challenges of applying MBSE tools, methods, and analyses, and efforts to conceive tools and methods to support MBSE.