Methodologies for model-driven development and deployment: An overview

László Gönczy, Ábel Hegedüs, Dániel Varró

Research output: Chapter in Book/Report/Conference proceedingChapter

1 Citation (Scopus)

Abstract

Sensoria proposes a model-driven approach for the entire development cycle of services-based applications and infrastructures including the design, formal analysis, deployment and re-engineering of services. This chapter presents the model-driven engineering vision of the project and a summary of achievements to demonstrate the feasibility of the approach. This approach and the challenges in model driven development are illustrated on the example of an end-to-end model transformation chain which bridges BPEL with precise formal model checking technologies and supports the back-annotation of the analysis results directly to the engineering level design model.

Original languageEnglish
Title of host publicationRigorous Software Engineering for Service-Oriented Systems
EditorsMartin Wirsing
Pages541-560
Number of pages20
DOIs
Publication statusPublished - Nov 9 2011

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume6582
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

ASJC Scopus subject areas

  • Theoretical Computer Science
  • Computer Science(all)

Fingerprint Dive into the research topics of 'Methodologies for model-driven development and deployment: An overview'. Together they form a unique fingerprint.

  • Cite this

    Gönczy, L., Hegedüs, Á., & Varró, D. (2011). Methodologies for model-driven development and deployment: An overview. In M. Wirsing (Ed.), Rigorous Software Engineering for Service-Oriented Systems (pp. 541-560). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 6582). https://doi.org/10.1007/978-3-642-20401-2_26