Timed service contract automata
(2020) Innovations in Systems and Software Engineering — Vol. 16, n° 2, p. 199-214 (2019)
Files
ISSE.pdf
Open Access - Adobe PDF
- 286.42 KB
Details
- Authors
Basile, Davide 
ter Beek, Maurice H.
- Abstract
- Weequiparecentlydevelopedmodelforthespecification of service contracts with real-time constraints. Service contracts offer a means to define the behavioural compliance of a composition of services, typically dictated in a Service-Level Agreement (SLA), as the fulfilment of all service requests through service offers. Depending on their granularity,SLAsvaryaccordingtothelevelofcriticalityof theinvolvedservicesandalsocontainreal-timeaspects,like theservices’responseorexpirationtime.Astandardmethod to refine a spurious service composition into a compliant one is via the synthesis of a safe orchestration, in the form of the most permissive controller from Supervisory Control Theory(SCT).Ideally,safeorchestrationssolvecompetition amongmatchingservicerequestsandoffers,inlightoftheir criticalities and their timing constraints, in the best possible way. In this paper, we introduce timed service contract automata as a novel formal model for service contracts with real-time constraints on top of services with varying levels of criticality. We also define a means to efficiently compute theircompositionandtheirsafeorchestration,usingtheconcept of zones from timed games. The innovations of our contribution are illustrated by intuitive examples and by a preliminary evaluation.
- Affiliations
Citations
Basile, D., ter Beek, M. H., & Legay, A. (2020). Timed service contract automata. Innovations in Systems and Software Engineering, 16(2), 199-214. https://doi.org/10.1007/s11334-019-00353-3 (Original work published 2019)