Modeling and validation of service-oriented architectures: Application vs. style

Luciano Baresi, Reiko Heckel, Sebastian Thöne, Dániel Varró

Research output: Conference contribution

28 Citations (Scopus)

Abstract

Most applications developed today rely on a given middleware platform which governs the interaction between components, the access to resources, etc. To decide, which platform is suitable for a given application (or more generally, to understand the interaction between application and platform), we propose UML models of both the architectural style of the platform and the application scenario. Based on a formal interpretation of these as graphs and graph transformation systems, we are able to validate the consistency between platform and application. We exemplify the approach for platforms realizing the service-oriented architectural style and a supply chain management system as application scenario. Besides, we demonstrate the potential of model checking for graph transformation systems for answering the above consistency question.

Original languageEnglish
Title of host publicationProceedings of the 9th European Software Engineering Conference Held Jointly with 11th ACM SIGSOFT International Symposium on Foundations of Software Engineering, ESEC/FSE-11
Pages68-77
Number of pages10
DOIs
Publication statusPublished - 2003
Event9th European Software Engineering Conference Held Jointly with 11th ACM SIGSOFT International Symposium on Foundations of Software Engineering, ESEC/FSE-11 - Helsinki, Finland
Duration: szept. 1 2003szept. 5 2003

Publication series

NameProceedings of the ACM SIGSOFT Symposium on the Foundations of Software Engineering

Other

Other9th European Software Engineering Conference Held Jointly with 11th ACM SIGSOFT International Symposium on Foundations of Software Engineering, ESEC/FSE-11
CountryFinland
CityHelsinki
Period9/1/039/5/03

ASJC Scopus subject areas

  • Software

Fingerprint Dive into the research topics of 'Modeling and validation of service-oriented architectures: Application vs. style'. Together they form a unique fingerprint.

  • Cite this

    Baresi, L., Heckel, R., Thöne, S., & Varró, D. (2003). Modeling and validation of service-oriented architectures: Application vs. style. In Proceedings of the 9th European Software Engineering Conference Held Jointly with 11th ACM SIGSOFT International Symposium on Foundations of Software Engineering, ESEC/FSE-11 (pp. 68-77). (Proceedings of the ACM SIGSOFT Symposium on the Foundations of Software Engineering). https://doi.org/10.1145/940071.940082