Title :
A Formal Model of Service Delivery
Author :
Ramaswamy, Lakshmish ; Banavar, Guruduth
Author_Institution :
IBM India Res. Lab., Bangalore
Abstract :
We define a service delivery system as a set of interacting entities that are involved in the delivery of one or more business services. A service operating system manages the processes and resources within a service delivery system. This paper presents our on-going work on developing a formal model for these concepts, with the goal of clearly and precisely describing the delivery behavior of service systems. The model lays the groundwork for reasoning about the scenarios that occur in service delivery.
Keywords :
service industries; business services; delivery behavior; formal model; service delivery; service operating system; Computer architecture; Condition monitoring; Educational institutions; Failure analysis; Hospitals; Medical services; Operating systems; Performance analysis; Resource management; Turing machines; Resource management; Service operating system; Service processes; Services delivery system;
Conference_Titel :
Services Computing, 2008. SCC '08. IEEE International Conference on
Conference_Location :
Honolulu, HI
Print_ISBN :
978-0-7695-3283-7
DOI :
10.1109/SCC.2008.150
