Publication Type
Conference Proceeding Article
Version
publishedVersion
Publication Date
5-2013
Abstract
Service composition makes use of existing servicebased applications as components to achieve a business goal. In time critical business environments, the response time of a service is crucial, which is also reflected as a clause in service level agreements (SLAs) between service providers and service users. To allow the composite service to fulfill the response time requirement as promised, it is important to find a feasible set of component services, such that their response time could collectively allow the satisfaction of the response time of the composite service. In this work, we propose a fully automated approach to synthesize the response time requirement of component services, in the form of a constraint on the local response times, that guarantees the global response time requirement. Our approach is based on parameter synthesis techniques for real-time systems. It has been implemented and evaluated with real-world case studies.
Discipline
Software Engineering
Research Areas
Software and Cyber-Physical Systems
Publication
Proceedings of the 35th International Conference on Software Engineering (ICSE '13), San Francisco, May 18-26
First Page
542
Last Page
551
Identifier
10.1109/ICSE.2013.6606600
Publisher
IEEE
City or Country
USA
Citation
TAN, Tian Huat; ANDRÉ, Étienne; SUN, Jun; LIU, Yang; DONG, Jin Song; and CHEN, Manman.
Dynamic synthesis of local time requirement for service composition. (2013). Proceedings of the 35th International Conference on Software Engineering (ICSE '13), San Francisco, May 18-26. 542-551.
Available at: https://ink.library.smu.edu.sg/sis_research/4959
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.1109/ICSE.2013.6606600