MaTRICS: A service-based management tool for remote intelligent configuration of systems

Bajohr, Markus; Margaria, Tiziana

doi:10.1007/s11334-006-0003-y

Cited by 16 publications

(1 citation statement)

References 6 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Several application domains have been successfully covered with the jABC, including complex supply chain management with IKEA [HMM + 08], modeling and execution of bioinformatics workflows [MKS07], the Semantic Web Service challenge [KMSN08], dataflow analysis of Java programs [LMS06a], a management framework for remote intelligent configuration of systems [BM06], online decision support systems [KM06] and graphical construction of game strategies [BJM09]. These projects were very different in nature, nevertheless we observed a surprisingly high potential of synergy, which was due to the XMDD approach.…”

Section: The Jabc Frameworkmentioning

confidence: 99%

Assuring property conformance of code generators via model checking

2011

Self Cite

View full text Add to dashboard Cite

Abstract. Automatic code generation is an essential cornerstone of today's model-driven approaches to software engineering. Thus a key requirement for the success of this technique is the reliability and correctness of code generators. This article describes how we employ standard model checking-based verification to check that code generator models developed within our code generation framework Genesys conform to (temporal) properties. Genesys is a graphical framework for the high-level construction of code generators on the basis of an extensible library of well-defined building blocks along the lines of the Extreme Model-Driven Development (XMDD) paradigm. We will illustrate our verification approach by examining complex constraints for code generators, which even span entire model hierarchies. We also show how this leads to a knowledge base of rules for code generators, which we constantly extend by e.g. combining constraints to bigger constraints, or by deriving common patterns from structurally similar constraints. In our experience, the development of code generators with Genesys boils down to re-instantiating patterns or slightly modifying the graphical process model, activities which are strongly supported by verification facilities presented in this article.

show abstract