Publication Type
Conference Proceeding Article
Version
publishedVersion
Publication Date
1-2013
Abstract
Web services have emerged as an important technology nowadays. There are two kinds of requirements that are crucial to web service composition, which are functional and non-functional requirements. Functional requirements focus on functionality of the composed service, e.g., given a booking service, an example of functional requirements is that a flight ticket with price higher than $2000 will never be purchased. Non-functional requirements are concerned with the quality of service (QoS), e.g., an example of the booking service’s non-functional requirements is that the service will respond to the user within 5 seconds. Non-functional requirements are important to web service composition, and are often an important clause in service-level agreements (SLAs). Even though the functional requirements are satisfied, a slow or unreliable service may still not be adopted. In our paper, we propose an automated approach to verify combined functional and non-functional requirements directly based on the semantics of web service composition. Our approach has been implemented and evaluated on the real-world case studies, which demonstrate the effectiveness of our method.
Keywords
Model Check, Component Service, Composite Service Label Transition System Manufacture Service
Discipline
Software Engineering
Research Areas
Software and Cyber-Physical Systems
Publication
Proceedings of the 15th International Conference on Formal Engineering Methods, ICFEM 2013, Queenstown, New Zealand, October 29 - November 1
First Page
313
Last Page
328
ISBN
9783642412011
Identifier
10.1007/978-3-642-41202-8_21
Publisher
Springer Link
City or Country
Queenstown, New Zealand
Citation
CHEN, Manman; TAN, Tian Huat; SUN, Jun; LIU, Yang; PANG, Jun; and LI, Xiaohong.
Verification of functional and non-functional requirements of web service composition. (2013). Proceedings of the 15th International Conference on Formal Engineering Methods, ICFEM 2013, Queenstown, New Zealand, October 29 - November 1. 313-328.
Available at: https://ink.library.smu.edu.sg/sis_research/5000
Creative Commons License
This work is licensed under a Creative Commons Attribution-NonCommercial-No Derivative Works 4.0 International License.
Additional URL
https://doi.org/10.1007/978-3-642-41202-8_21