Model-Driven Software Development

Beydeda, Sami; Gruhn, Volker

doi:10.1007/3-540-28554-7

Cited by 201 publications

(5 citation statements)

References 1 publication

(1 reference statement)

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Model-driven component-based software engineering and development [6,16,29] has become an accepted practice for tackling software complexity in large-scale systems. It provides mechanisms to sup-port design at the right level of abstraction, error detection, tool integration, verification and maintenance.…”

Section: Related Workmentioning

confidence: 99%

DesignBIP: A Design Studio for Modeling and Generating Systems with BIP

Mavridou

Sifakis

Sztipanovits

2018

Electron. Proc. Theor. Comput. Sci.

View full text Add to dashboard Cite

The Behavior-Interaction-Priority (BIP) framework -rooted in rigorous semantics -allows the construction of systems that are correct-by-design. BIP has been effectively used for the construction and analysis of large systems such as robot controllers and satellite on-board software. Nevertheless, the specification of BIP models is done in a purely textual manner without any code editor support. To facilitate the specification of BIP models, we present DesignBIP, a web-based, collaborative, version-controlled design studio. To promote model scaling and reusability of BIP models, we use a graphical language for modeling parameterized BIP models with rigorous semantics. We present the various services provided by the design studio, including model editors, code editors, consistency checking mechanisms, code generators, and integration with the JavaBIP tool-set. DesignBIP BIP Design Studio13 Design Studio Metamodel Model/Code Editors, Visualizations Consistency, Conformance Checking Model Transformation, Code Generation Integrated Tools Model repositories 1 2 3 4 Figure 1: Main design studio components and work-flow integrated, into the design studio, third party tools. The output of the tools is then collected and sent back to the model editors (step 4) for visualization of analysis or execution results.We present the DesignBIP studio for modeling and generating systems with the BIP [2] framework. BIP comprises a language with rigorous operational semantics and a dedicated tool-set including code generators, run-time support tools, i.e., BIP engines, and verification tools [5,7]. Depending on the application domain, BIP offers several compilation chains, targeting different execution platforms and programming languages such as C++ [2] Java [8] Haskell, and Scala [14].The specification of models in the BIP framework is done by using the BIP language in a textual manner [1] without offering any dedicated code editors. Thus, developing large systems with the BIP toolset can be challenging and error prone. In DesignBIP we have opted for a graphical language to enhance readability and easiness of expression. DesignBIP offers a complete modeling solution, in which we have integrated the tools offered by JavaBIP, the Java-based implementation of BIP [8]. Relying on the observation that systems are usually built from multiple instances of the same component type, we propose a parameterized graphical language for BIP that enhances scalability and reduces the model size.DesignBIP is a web-based, collaborative, version controlled design studio based on WebGME [21]. DesignBIP allows real-time collaboration between multiple developers. Project changes are committed and versioned, which enables branching, merging and viewing the history of a project. DesignBIP 1 is easily accessed through a web interface and is open source 2 . Our contributions are as follows:• We extend architecture diagrams [22], a graphical parameterized language, to accommodate the specification of BIP parameterized models. • We prove a set of necessary and s...

show abstract

Section: Related Workmentioning

confidence: 99%

DesignBIP: A Design Studio for Modeling and Generating Systems with BIP

Mavridou

Sifakis

Sztipanovits

2018

Electron. Proc. Theor. Comput. Sci.

View full text Add to dashboard Cite

show abstract

“…Model-based techniques [17] are used to facilitate interoperability between the different tools used in SMR. Specifically, we have obtained a unified data model by model transformation from individual tools' data models, in a way that a single, global state of a city is recorded and managed.…”

Section: Introductionmentioning

confidence: 99%

Towards Digital Transformation of a City Resilience Framework

Canós¹,

Penadés²,

Borges³

et al. 2022

Proceedings of the Annual Hawaii International Conference on System Sciences

View full text Add to dashboard Cite

Improving city resilience is among the most challenging strategic goals for city administrators worldwide. To support their work, frameworks providing technical support and methodological guidance have been developed. Such frameworks define resilience improvement processes based on multidimensional resilience models to assess one city's resilience level, plus a collection of policies to increase such level in different dimensions. Although some frameworks include software tools to support the process, their scope is limited to a particular step of the process, and global management is still done manually, hindering agility in the process. In this paper, we present our work towards the digital transformation of a city resilience framework. The use of process technology to specify and enact the process is combined with the application of model-based development techniques to provide interoperability of the different framework tools. Our work is framed within a threeyear project started in mid 2020. Here, we report about the results of the first year of the project. Specifically, we describe the architecture of the solution proposed, as well as the major features of our approach.

show abstract

“…Model-driven software engineering methodologies [1,2] like model-driven engineering (MDE) [3] aim to improve productivity by using graph-based models as the main artifacts during development. The models typically have a graph-like structure, containing nodes, edges, and other conventional model elements.…”

Section: Introduction To Text-based Modelingmentioning

confidence: 99%

“…It aims to improve maintainability by using models that describe the problem at a higher level of abstraction. The automatic code generation also reduces the number of code defects during the development [1,2,10].…”

Section: Introduction To Text-based Modelingmentioning

confidence: 99%

See 1 more Smart Citation

A Survey on Text-based Modeling in Model Evolution and Management

Somogyi¹,

Asztalos²

2019

Period. Polytech. Elec. Eng. Comp. Sci.

View full text Add to dashboard Cite

Model-driven software engineering methodologies like model-driven engineering aim to improve the productivity of software development by using graph-based models as the main artifacts during development, and generating the source code from these models. The models are usually displayed and edited using a graphical notation. However, they can also be described using a textual notation. This has some advantages and disadvantages compared to the graphical approach. For example, while editing the model, we can better focus on the details instead of a broad overview. Similarly to source code, models evolve rapidly during development. Handling and managing the evolution of models is an important task in model-driven methodologies and is an active research area today. However, there exist few research on text-based modeling approaches, compared to graph-based ones. This paper introduces the text-based modeling research field based on existing literature, and presents the state-of-the-art of the field related to model evolution and management. Our goal is to identify challenges and directions for future research in this field. The main topics covered are model differencing and merging, and the synchronization of the textual and graphical notations.

show abstract

Model-Driven Software Development

Cited by 201 publications

References 1 publication

DesignBIP: A Design Studio for Modeling and Generating Systems with BIP

DesignBIP: A Design Studio for Modeling and Generating Systems with BIP

Towards Digital Transformation of a City Resilience Framework

A Survey on Text-based Modeling in Model Evolution and Management

Contact Info

Product

Resources

About