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:
Web service composition
Parameter synthesis
Modeling Web services
Formal semantics
BPEL
Parametric model checking
Programming Languages and Compilers
Software Engineering
Online Access:https://ink.library.smu.edu.sg/sis_research/5882
https://ink.library.smu.edu.sg/context/sis_research/article/6887/viewcontent/André2020_Article_AutomatedSynthesisOfLocalTimeR.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/5882
https://ink.library.smu.edu.sg/context/sis_research/article/6887/viewcontent/André2020_Article_AutomatedSynthesisOfLocalTimeR.pdf

Similar Items