TY - GEN
T1 - Modeling Web services by iterative reformulation of functional and non-functional requirements
AU - Pathak, Jyotishman
AU - Basu, Samik
AU - Honavar, Vasant
PY - 2006
Y1 - 2006
N2 - 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.
AB - 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.
UR - http://www.scopus.com/inward/record.url?scp=77049125046&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=77049125046&partnerID=8YFLogxK
U2 - 10.1007/11948148_26
DO - 10.1007/11948148_26
M3 - Conference contribution
AN - SCOPUS:77049125046
SN - 3540681477
SN - 9783540681472
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 314
EP - 326
BT - Service-Oriented Computing - ICSOC 2006 - 4th International Conference, Proceedings
T2 - 4th International Conference on Service-Oriented Computing, ICSOC 2006
Y2 - 4 December 2006 through 7 December 2006
ER -