Modeling Web services by iterative reformulation of functional and non-functional requirements

Jyotishman Pathak, Samik Basu, Vasant Honavar

Research output: Chapter in Book/Report/Conference proceedingConference contribution

24 Citations (Scopus)

Abstract

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.

Original languageEnglish (US)
Title of host publicationLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Pages314-326
Number of pages13
Volume4294 LNCS
DOIs
StatePublished - 2006
Externally publishedYes
Event4th International Conference on Service-Oriented Computing, ICSOC 2006 - Chicago, IL, United States
Duration: Dec 4 2006Dec 7 2006

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume4294 LNCS
ISSN (Print)03029743
ISSN (Electronic)16113349

Other

Other4th International Conference on Service-Oriented Computing, ICSOC 2006
CountryUnited States
CityChicago, IL
Period12/4/0612/7/06

Fingerprint

Non-functional Requirements
Reformulation
Web services
Web Services
Transition Systems
Chemical analysis
Modeling
Specifications
Specification
Composite
Composite materials
Requirements

ASJC Scopus subject areas

  • Computer Science(all)
  • Theoretical Computer Science

Cite this

Pathak, J., Basu, S., & Honavar, V. (2006). Modeling Web services by iterative reformulation of functional and non-functional requirements. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 4294 LNCS, pp. 314-326). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 4294 LNCS). https://doi.org/10.1007/11948148_26

Modeling Web services by iterative reformulation of functional and non-functional requirements. / Pathak, Jyotishman; Basu, Samik; Honavar, Vasant.

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 4294 LNCS 2006. p. 314-326 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 4294 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Pathak, J, Basu, S & Honavar, V 2006, Modeling Web services by iterative reformulation of functional and non-functional requirements. in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). vol. 4294 LNCS, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 4294 LNCS, pp. 314-326, 4th International Conference on Service-Oriented Computing, ICSOC 2006, Chicago, IL, United States, 12/4/06. https://doi.org/10.1007/11948148_26
Pathak J, Basu S, Honavar V. Modeling Web services by iterative reformulation of functional and non-functional requirements. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 4294 LNCS. 2006. p. 314-326. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). https://doi.org/10.1007/11948148_26
Pathak, Jyotishman ; Basu, Samik ; Honavar, Vasant. / Modeling Web services by iterative reformulation of functional and non-functional requirements. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 4294 LNCS 2006. pp. 314-326 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).
@inproceedings{1f5164236cd34daa9f4801b1778582d9,
title = "Modeling Web services by iterative reformulation of functional and non-functional requirements",
abstract = "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.",
author = "Jyotishman Pathak and Samik Basu and Vasant Honavar",
year = "2006",
doi = "10.1007/11948148_26",
language = "English (US)",
isbn = "3540681477",
volume = "4294 LNCS",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
pages = "314--326",
booktitle = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

}

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

SN - 3540681477

SN - 9783540681472

VL - 4294 LNCS

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 314

EP - 326

BT - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

ER -