kirancodes.me
To Proof Maintenance & Beyond!

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

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

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.

BibTeX
@inproceedings{Baresi-al:FSE03,
  author    = {Luciano Baresi and
               Reiko Heckel and
               Sebastian Th{\"{o}}ne and
               D{\'{a}}niel Varr{\'{o}}},
  title     = {Modeling and validation of service-oriented architectures: application vs. style},
  booktitle = {{ESEC/SIGSOFT} {FSE}},
  pages     = {68--77},
  publisher = {{ACM}},
  year      = {2003},
}

Related papers