Feature Specification and Static Analysis for Interaction Resolution

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.

• Type: Conference
• Year: 2006
• Where: FM
• Authors: Marc Aiguier, Karim Berkani, Pascale Le Gall
• Keywords: FM 2006, Formal Methods, Service Interaction, Service-oriented System, Subjective Choice