Verification of functional and non-functional requirements of web service composition
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,...
Saved in:
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: | |
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 |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Institution: | Singapore Management University |
Language: | English |
Similar Items
-
Verification and Analysis of Web Service Composition
by: TAN TIAN HUAT
Published: (2013) -
FORMAL ANALYSIS OF WEB SERVICE COMPOSITION
by: CHEN MANMAN
Published: (2015) -
Automated synthesis of local time requirement for service composition
by: ANDRÉ, Étienne, et al.
Published: (2020) -
Automated synthesis of local time requirement for service composition
by: ANDRÉ, Étienne, et al.
Published: (2020) -
Service adaptation with probabilistic partial models
by: CHEN, Manman, et al.
Published: (2016)