Modeling and Validation of Service-Oriented Architectures: Application vs. Style

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

Research output: Chapter in Book/Report/Conference proceedingConference contribution

81 Citations (Scopus)

Abstract

Most applications developed today rely on a given middle-ware 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 Joint 9th European Software Engineering Conference (ESEC) and 11th SIGSOFT Symposium on the Foundations of Software Engineering (FSE-11)
EditorsP. Inverardi
Pages68-77
Number of pages10
Publication statusPublished - Dec 1 2003
EventProceedings of the Joint 9th European Software Engineering Conference (ESEC) and 11th SIGSOFT Symposium on the Foundations of Software Engineering (FSE-11) - Helsinki, Iceland
Duration: Sep 1 2003Sep 5 2003

Publication series

NameProceedings of the Joint European Software Engineering Conference (ESEC) and SIGSOFT Symposium on the Foundations of Software Engineering (FSE-11)

Other

OtherProceedings of the Joint 9th European Software Engineering Conference (ESEC) and 11th SIGSOFT Symposium on the Foundations of Software Engineering (FSE-11)
CountryIceland
CityHelsinki
Period9/1/039/5/03

    Fingerprint

Keywords

  • Architectural style
  • Graph transformation system
  • Model checking
  • Modeling middleware platforms
  • Service-oriented architectures

ASJC Scopus subject areas

  • Software

Cite this

Baresi, L., Heckel, R., Thöne, S., & Varró, D. (2003). Modeling and Validation of Service-Oriented Architectures: Application vs. Style. In P. Inverardi (Ed.), Proceedings of the Joint 9th European Software Engineering Conference (ESEC) and 11th SIGSOFT Symposium on the Foundations of Software Engineering (FSE-11) (pp. 68-77). (Proceedings of the Joint European Software Engineering Conference (ESEC) and SIGSOFT Symposium on the Foundations of Software Engineering (FSE-11)).