Product Line Verification via Modal Meta Model Checking

Tegeler, Tim; Murtovi, Alnis; Frohme, Markus; Steffen, Bernhard

doi:10.1007/978-3-030-30985-5_19

Cited by 4 publications

(1 citation statement)

References 31 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…As a result, users can focus on the "what," with the "how" anchored in the particular tool. This concept of language-driven-engineering (LDE) [77] and the related model-driven engineering (MDE) [71] has already been successfully applied in various courses [29, 50,86] and projects [37,30].…”

Section: Introductionmentioning

confidence: 99%

A Generative Approach for User-Centered, Collaborative, Domain-Specific Modeling Environments

Zweihoff¹,

Steffen²

2021

Preprint

Self Cite

View full text Add to dashboard Cite

The use of low-and no-code modeling tools is today an established way in practice to give nonprogrammers an opportunity to master their digital challenges independently, using the means of modeldriven software development. However, the existing tools are limited to a very small number of different domains such as mobile app development, which can be attributed to the enormous demands that a user has on such a tool today. These demands exceed the mere use of a modeling environment as such and require crosscutting concerns such as: easy access, direct usability and simultaneous collaboration, which result in additional effort in the realization of such tools.Our solution is based on the idea to support and simplify the creation of new domain-specific holistic tools by generating it entirely based on a declarative specification with a domain-specific meta-tool. The metatool Pyro demonstrated and analyzed here focuses on graph-based graphical languages to fully generate a complete, directly executable tool starting from a metamodel in order to meet all cross-cutting requirements.

show abstract