Full Life-Cycle Support for End-to-End Processes

Steffen, Bernhard; Narayan, Prakash

doi:10.1109/mc.2007.386

Cited by 30 publications

(16 citation statements)

References 5 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…The realization of the individual services should typically be simple and is often based on functionality provided by third-party and standard software systems. As the continuously enriched model is the central and sole artifact of this methodology, which comprises all relevant information including documentation, access policies, versioning, etc., we also call this the "One-Thing Approach" [SN07,MS09].…”

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

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

show abstract

“…All of them are model-driven and service oriented, and use the jABC framework [4,20] for design, composition, and execution of the mediator and the jETI [8,13] technology for the integration and enactment of (a) remote planners/model generation tools and (b) remote heterogeneous services.…”

Section: Profile Of the Jabc-based Solutionsmentioning

confidence: 99%

“…It enforces a one-thing-approach [19,20] to eXtreme Model Driven Design [15,17], thus avoiding the typical discontinuity in modeling style and technologies between the business and the IT aspects of a running process [12,16].…”

Section: Overview Of the Jabc/jeti Technologymentioning

confidence: 99%

See 1 more Smart Citation

Evolution support in heterogeneous service-oriented landscapes

2010

Self Cite

View full text Add to dashboard Cite

We present an approach that provides automatic or semi-automatic support for evolution and change management in heterogeneous legacy landscapes where (1) legacy heterogeneous, possibly distributed platforms are integrated in a service oriented fashion, (2) the coordination of functionality is provided at the service level, through orchestration, (3) compliance and correctness are provided through policies and business rules, (4) evolution and correctness-by-design are supported by the eXtreme Model Driven Development paradigm (XMDD) offered by the jABC (Margaria and Steffen in Annu. Rev. Commun. 57, 2004)-the model-driven service oriented development platform we use here for integration, design, evolution, and governance. The artifacts are here semantically enriched, so that automatic synthesis plugins can field the vision of Enterprise Physics: knowledge driven business process development for the end user.We demonstrate this vision along a concrete case study that became over the past three years a benchmark for Semantic Web Service discovery and mediation. We enhance the Mediation Scenario of the Semantic Web Service Challenge along the 2 central evolution paradigms that occur in practice: (a) Platform migration: platform substitution of a T. Margaria ( ) Chair legacy system by an ERP system and (b) Backend extension: extension of the legacy Customer Relationship Management (CRM) and Order Management System (OMS) backends via an additional ERP layer.

show abstract

“…Basic services are often based on functionality provided by third-party and standard software systems. As the continuously enriched model is the central and sole artifact of this methodology, not only at development and deployment time but also lifelong, during maintenance and evolution, we also call this the "One-Thing Approach" [20,21].…”

Section: Xmdd In Jabcmentioning

confidence: 99%

Genesys: service-oriented construction of property conform code generators

Jörges

Margaria

Steffen

2008

Innovations Syst Softw Eng

Self Cite

View full text Add to dashboard Cite

This paper presents Genesys, a framework for the high-level construction of property conform code generators. Genesys is an integral part of jABC, a flexible framework designed to enable a systematic model-driven development of systems and applications on the basis of an (extensible) library of well-defined, reusable building blocks. Within jABC, Genesys manages the construction of code generators for jABC's models. So far, Genesys has been used to develop code generators for a variety of different target platforms, like a number of Java-based platforms, mobile devices, BPEL engines, etc. Since the code generators are themselves built within the jABC in a model-driven way, concepts like bootstrapping and reuse of existing components enable a fast evolution of Genesys' code generation library, and a high degree of self-application. Due to its increasing complexity and its high degree of reuse, Genesys profits from model checking-based verification. This way, jABC's models of code generators can be automatically checked wrt. wellformedness properties, to ensure that the models do indeed only consist of building blocks which are suitable for the considered target platforms, and whose versions are mutually compatible. It can be also be verified that the code generation process only starts after a successful initialization phase, and that the generated code is always packaged with all the required libraries. We will illustrate the ease of extension and flexibility of the Genesys framework by describing the

show abstract

Full Life-Cycle Support for End-to-End Processes

Cited by 30 publications

References 5 publications

Assuring property conformance of code generators via model checking

Assuring property conformance of code generators via model checking

Evolution support in heterogeneous service-oriented landscapes

Genesys: service-oriented construction of property conform code generators

Contact Info

Product

Resources

About