Modeling and Analysis of Architectural Styles

CímModeling and Analysis of Architectural Styles
Közlemény típusaConference Paper
Kiadás éve2003
SzerzőkBaresi, L., Heckel, R., Thöne, S., and Varró, D.
SzerkesztőInverardi, P., and Paakki, J.
Konferencia neveProc ESEC 2003: 9th European Software Engineering Conference
Kiadás dátumaSeptember
KiadóACM Press
Konferencia helyszíneHelsinki, Finland

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. The approach is exemplified by means of an application scenario from a supply chain management case study using the service-oriented architectural style. In particular, we demonstrate the potential of \emph{model checking} for graph transformation systems for answering the above consistency question.

JegyzetekAcceptance rate: 20%