Verification of functional and non-functional requirements of web service composition

• Main Authors: CHEN, Manman, TAN, Tian Huat, SUN, Jun, LIU, Yang, PANG, Jun, LI, Xiaohong
• Format: text
• Language: English
• Published: Institutional Knowledge at Singapore Management University 2013
• Subjects: Model Check; Component Service; Composite Service Label Transition System Manufacture Service; Software Engineering
• Online Access: https://ink.library.smu.edu.sg/sis_research/5000; https://ink.library.smu.edu.sg/context/sis_research/article/6003/viewcontent/verification.pdf
• Institution: Singapore Management University

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,...