Dynamic synthesis of local time requirement for service composition

No Thumbnail Available
File version
Author(s)
Tan, TH
Andre, E
Sun, J
Liu, Y
Dong, JS
Chen, M
Griffith University Author(s)
Primary Supervisor
Other Supervisors
Editor(s)

Notkin D., Cheng B.H.C. and Pohl K.

Date
2013
Size
File type(s)
Location

San Francisco, USA

License
Abstract

Service composition makes use of existing service-based 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.

Journal Title
Conference Title

Proceedings - International Conference on Software Engineering

Book Title
Edition

1st

Volume
Issue
Thesis Type
Degree Program
School
Publisher link
Patent number
Funder(s)
Grant identifier(s)
Rights Statement
Rights Statement
Item Access Status
Note
Access the data
Related item(s)
Subject

Software engineering not elsewhere classified

Persistent link to this record
Citation