Modeling Web services by iterative reformulation of functional and non-functional requirements Conference Paper uri icon


MeSH Major

  • Cardiovascular Diseases
  • Data Mining
  • Decision Support Techniques
  • Electronic Health Records


  • We propose an approach for incremental modeling of composite Web services. The technique takes into consideration both the functional and non-functional requirements of the composition. While the functional requirements are described using symbolic transition systems-transition systems augmented with state variables, function invocations, and guards; non-functional requirements are quantified using thresholds. The approach allows users to specify an abstract and possibly incomplete specification of the desired service (goal) that can be realized by selecting and composing a set of pre-existing services. In the event that such a composition is unrealizable, i.e. the composition is not functionally equivalent to the goal or the non-functional requirements are violated, our system provides the user with the causes for the failure, that can be used to appropriately reformulate the functional and/or non-functional requirements of the goal specification. © 2006 Springer-Verlag.

publication date

  • December 2006



  • Conference Paper


Digital Object Identifier (DOI)

  • 10.1007/11948148_26

Additional Document Info

start page

  • 314

end page

  • 326


  • 4294 LNCS