CINCO: a simplicity-driven approach to full generation of domain-specific graphical modeling tools

Naujokat, Stefan; Lybecait, Michael; Kopetzki, Dawid; Steffen, Bernhard

doi:10.1007/s10009-017-0453-6

Cited by 70 publications

(39 citation statements)

References 47 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…We have designed two high-level frameworks for scheduling systems, using Cinco [34], a generator for domain-specific modeling tools. The first framework is dedicated to hierarchical scheduling systems.…”

Section: Analyze and Interpret The Resultsmentioning

confidence: 99%

“…We therefore only briefly point out the aspects most relevant for our scheduling systems mod-eling tools. Please refer to [34,35] or the website 2 for more detailed introductions.…”

Section: Domain Specific Toolmentioning

confidence: 99%

“…We then encapsulate the formal frameworks into Cinco [34,35], a generator for domain-specific modeling tools. Cinco allows to specify the features of a graphical interface in a compact meta-model language, and it generates automatically from this meta-model specification a domain-specific analysis tool with a graphical interface.…”

Section: Introductionmentioning

confidence: 99%

See 2 more Smart Citations

High-level frameworks for the specification and verification of scheduling problems

Chadli

Kim

Larsen

et al. 2017

Int J Softw Tools Technol Transfer

Self Cite

View full text Add to dashboard Cite

Over the years, schedulability of Cyber-Physical Systems (CPS) has mainly been performed by analytical methods. These techniques are known to be effective but limited to a few classes of scheduling policies. In a series of recent work, we have shown that schedulability analysis of CPS could be performed with a model-based approach and extensions of verification tools such as UPPAAL. One of our main contributions has been to show that such models are flexible enough to embed various types of scheduling policies, which goes beyond those in the scope of analytical tools.However, the specification of scheduling problems with model-based approaches requires a substantial modeling effort, and a deep understanding of the techniques employed in order to understand their results. In this paper we propose simplicity-driven high-level specification and verification frameworks for various scheduling problems. These frameworks consist of graphical and user-friendly languages for describing scheduling problems. The high-level specifications are then automatically translated to formal models, and results are trans- formed back into the comprehensible model view. To construct these frameworks we exploit a meta-modeling approach based on the tool generator Cinco.Additionally we propose in this paper two new techniques for scheduling analysis. The first performs runtime monitoring using the CUSUM algorithm to detect alarming change in the system. The second performs optimization using efficient statistical techniques. We illustrate our frameworks and techniques on two case studies.

show abstract

Section: Analyze and Interpret The Resultsmentioning

confidence: 99%

“…We therefore only briefly point out the aspects most relevant for our scheduling systems mod-eling tools. Please refer to [34,35] or the website 2 for more detailed introductions.…”

Section: Domain Specific Toolmentioning

confidence: 99%

See 1 more Smart Citation

High-level frameworks for the specification and verification of scheduling problems

Chadli

Kim

Larsen

et al. 2017

Int J Softw Tools Technol Transfer

Self Cite

View full text Add to dashboard Cite

show abstract

“…In parallel, the framework formed the backbone for numerous extensions, like the Electronic Tool Integration platform ETI [108] and its variants jETI [76] and Bio-jETI [60,75], the Genesys [45,47] and PROPHETS (Process Realization and Optimization Platform using Human-readable Expressions of Temporal-logic Synthesis) [63,88] plugins for code generation and model synthesis, and finally the DyWa tool for developing dynamic Web applications [94]. Currently, the jABC heritage of designing domain-specific modelling tools is taken over by the Cinco Meta-tooling suite [89], which lifts domain modelling to the meta level.…”

Section: Principlesmentioning

confidence: 99%

Scientific workflows with the jABC framework

Lamprecht

Steffen

Margaria

2016

Int J Softw Tools Technol Transfer

Self Cite

View full text Add to dashboard Cite

The jABC is a framework for process modelling and execution according to the XMDD (eXtreme Model-Driven Design) paradigm, which advocates the rigorous use of user-level models in the software development process and software life cycle. We have used the jABC in the domain of scientific workflows for more than a decade now -an occasion to look back and take stock of our experiences in the field. On the one hand, we discuss results from the analysis of a sample of nearly 100 scientific workflow applications that have been implemented with the jABC. On the other hand, we reflect on our experiences and observations regarding the workflow development process with the framework. We then derive and discuss ongoing further developments and future perspectives for the framework, all with an emphasis on simplicity for end-users through increased domain specificity. Concretely, we describe how the use of the PROPHETS synthesis plugin can enable a semanticsbased simplification of the workflow design process, how with the jABC4 and DyWA frameworks more attention is paid to the ease of data management, and how the Cinco SCCE Meta Tooling Suite can be used to generate tailored workflow management tools.

show abstract

“…Timing executions may vary due to the content being display and can be measured from the system. This formal verification framework is embedded in a graphical high-level modeling tool developed with the Cinco meta tooling suite [9]. It is available at http://cinco.scce.info/applications/.…”

Section: Introductionmentioning

confidence: 99%

A Model-Based Framework for the Specification and Analysis of Hierarchical Scheduling Systems

Chadli

Kim

Legay

et al. 2016

Lecture Notes in Computer Science

Self Cite

View full text Add to dashboard Cite

Abstract. Over the years, schedulability of Cyber-Physical Systems (CPS) has mainly been performed by analytical methods. Those techniques are known to be effective but limited to a few classes of scheduling policies. In a series of recent work, we have shown that schedulability analysis of CPS could be performed with a model-based approach and extensions of verification tools such as UPPAAL. One of our main contribution has been to show that such models are flexible enough to embed various types of scheduling policies that go beyond those in the scope of analytical tools. In this paper, we go one step further and show how our formalism can be extended to account for stochastic information, such as sporadic tasks whose attributes depend on the hardware domain.

show abstract

CINCO: a simplicity-driven approach to full generation of domain-specific graphical modeling tools

Cited by 70 publications

References 47 publications

High-level frameworks for the specification and verification of scheduling problems

High-level frameworks for the specification and verification of scheduling problems

Scientific workflows with the jABC framework

A Model-Based Framework for the Specification and Analysis of Hierarchical Scheduling Systems

Contact Info

Product

Resources

About