Feature specification and static analysis for interaction resolution

Abstract

While designing a service-oriented system, deciding whether a service interaction is desired or harmful is a subjective choice which depends on the requirements expressed by the user with respect to the service integration. In this paper, we define both a formalism and a methodology which, respectively, allow us to automatically analyse interactions based on specification consistency. For the latter (i.e. the methodology), we take advantage of both specifier expertise and formal methods. © Springer-Verlag Berlin Heidelberg 2006.