Automated synthesis of local time requirement for service composition

Automated synthesis of local time requirement for service composition

Service composition aims at achieving a business goal by composing existing service-based applications or components. The response time of a service is crucial, especially in time-critical business environments, which is often stated as a clause in service-level agreements between service providers...

Full description

Saved in:
Bibliographic Details
Main Authors: ANDRÉ, Étienne, TAN, Tian Huat, CHEN, Manman, LIU, Shuang, SUN, Jun, LIU, Yang, DONG, Jin Song
Format: text
Language:English
Published: Institutional Knowledge at Singapore Management University 2020
Subjects:
BPEL
Formal semantics
Modeling Web services
Parameter synthesis
Parametric model checking
Web service composition
Software Engineering
Systems Architecture
Online Access:https://ink.library.smu.edu.sg/sis_research/5112
https://ink.library.smu.edu.sg/context/sis_research/article/6115/viewcontent/2003.08116.pdf
Tags: Add Tag
No Tags, Be the first to tag this record!
Institution: Singapore Management University
Language: English

Internet

https://ink.library.smu.edu.sg/sis_research/5112
https://ink.library.smu.edu.sg/context/sis_research/article/6115/viewcontent/2003.08116.pdf

Similar Items