A Tutorial Introduction to Graphical Modeling and Metamodeling with CINCO

Lybecait, Michael; Kopetzki, Dawid; Zweihoff, Philip; Fuhge, Annika; Naujokat, Stefan; Steffen, Bernhard

doi:10.1007/978-3-030-03418-4_31

Cited by 11 publications

(5 citation statements)

References 13 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…The WebStory Language (WSL) has been designed as a simple example for Cinco to be used for hands-on experience in teaching and workshops [30]. Created with simplicity in mind, WSL's aim is on the one hand to provide an intuitive 'game' modeling language that can even be used by nonprogrammers, and, on the other hand, to make it easy for the workshop/lecture participants (i.e., usually students) to learn metamodeling and DSL engineering concepts by expanding a simple language in terms of functionality.…”

Section: The Webstory Languagementioning

confidence: 99%

See 1 more Smart Citation

Towards language-to-language transformation

Kopetzki

Lybecait

Naujokat

et al. 2021

Int J Softw Tools Technol Transfer

Self Cite

View full text Add to dashboard Cite

This paper proposes a simplicity-oriented approach and framework for language-to-language transformation of, in particular, graphical languages. Key to simplicity is the decomposition of the transformation specification into sub-rule systems that separately specify purpose-specific aspects. We illustrate this approach by employing a variation of Plotkin’s Structural Operational Semantics (SOS) for pattern-based transformations of typed graphs in order to address the aspect ‘computation’ in a graph rewriting fashion. Key to our approach are two generalizations of Plotkin’s structural rules: the use of graph patterns as the matching concept in the rules, and the introduction of node and edge types. Types do not only allow one to easily distinguish between different kinds of dependencies, like control, data, and priority, but may also be used to define a hierarchical layering structure. The resulting Type-based Structural Operational Semantics (TSOS) supports a well-structured and intuitive specification and realization of semantically involved language-to-language transformations adequate for the generation of purpose-specific views or input formats for certain tools, like, e.g., model checkers. A comparison with the general-purpose transformation frameworks ATL and Groove, illustrates along the educational setting of our graphical WebStory language that TSOS provides quite a flexible format for the definition of a family of purpose-specific transformation languages that are easy to use and come with clear guarantees.

show abstract

Section: The Webstory Languagementioning

confidence: 99%

“…On the left, it shows the WebStory language (WSL), which is a graphical domain-specific language we often use for education [30]. The model on the right represents the input language required by our model checker GEAR [2].…”

Section: Introductionmentioning

confidence: 99%

Towards language-to-language transformation

Kopetzki

Lybecait

Naujokat

et al. 2021

Int J Softw Tools Technol Transfer

Self Cite

View full text Add to dashboard Cite

show abstract

“…Besides the natively supported generation of Eclipse-based mIDEs, Cinco supports the web as an alternative target platform. This is realized in Pyro [31,23], a tool that uses the very same specification to generate an mIDE for the web that is, in principle, analogous to the Eclipse variant.…”

Section: Metamodel-based Generation Of Collaborative Domain-specific ...mentioning

confidence: 99%

ADD-Lib: Decision Diagrams in Practice

Gossen¹,

Murtovi²,

Zweihoff³

et al. 2019

Preprint

Self Cite

View full text Add to dashboard Cite

In the paper, we present the ADD-Lib, our efficient and easy to use framework for Algebraic Decision Diagrams (ADDs). The focus of the ADD-Lib is not so much on its efficient implementation of individual operations, which are taken by other established ADD frameworks, but its ease and flexibility, which arise at two levels: the level of individual ADD-tools, which come with a dedicated user-friendly webbased graphical user interface, and at the meta level, where such tools are specified. Both levels are described in the paper: the meta level by explaining how we can construct an ADD-tool tailored for Random Forest refinement and evaluation, and the accordingly generated Web-based domain-specific tool, which we also provide as an artifact for cooperative experimentation. In particular, the artifact allows readers to combine a given Random Forest with their own ADDs regarded as expert knowledge and to experience the corresponding effect.

show abstract

“…In contrast, Pyro [98,48] represents an archimedean point in the sense of [79] by supporting and simplifying the entire development process of DSLs. Pyro focuses on the implementation and deployment of graphbased DSLs for use in a web context.…”

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

A Tutorial Introduction to Graphical Modeling and Metamodeling with CINCO

Cited by 11 publications

References 13 publications

Towards language-to-language transformation

Towards language-to-language transformation

ADD-Lib: Decision Diagrams in Practice

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

Contact Info

Product

Resources

About