A service composition framework based on goal-oriented requirements engineering, model checking, and qualitative preference analysis

  • Authors:

  • Zachary J. Oster;Syed Adeel Ali;Ganesh Ram Santhanam;Samik Basu;Partha S. Roop

  • Affiliations:

  • Department of Computer Science, Iowa State University, Ames, Iowa;Department of Electrical and Computer Engineering, The University of Auckland, New Zealand;Department of Computer Science, Iowa State University, Ames, Iowa;Department of Computer Science, Iowa State University, Ames, Iowa;Department of Electrical and Computer Engineering, The University of Auckland, New Zealand

  • Venue:
  • ICSOC'12 Proceedings of the 10th international conference on Service-Oriented Computing
  • Year:
  • 2012

Quantified Score

Hi-index 0.00

Visualization

Abstract

To provide an effective service-oriented solution for a business problem by composing existing services, it is necessary to explore all available options for providing the required functionality while considering both the users' preferences between various non-functional properties (NFPs) and any low-level constraints. Existing service composition frameworks often fall short of this ideal, as functional requirements, low-level behavioral constraints, and preferences between non-functional properties are often not considered in one unified framework. We propose a new service composition framework that addresses all three of these aspects by integrating existing techniques in requirements engineering, preference reasoning, and model checking. We prove that any composition produced by our framework provides the required high-level functionality, satisfies all low-level constraints, and is at least as preferred (w.r.t. NFPs) as any other possible composition that fulfills the same requirements. We also apply our framework to examples adapted from the existing service composition literature.