DocumentCode
2298861
Title
A Formal Model of Service Delivery
Author
Ramaswamy, Lakshmish ; Banavar, Guruduth
Author_Institution
IBM India Res. Lab., Bangalore
Volume
2
fYear
2008
fDate
7-11 July 2008
Firstpage
517
Lastpage
520
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Services Computing, 2008. SCC '08. IEEE International Conference on
Conference_Location
Honolulu, HI
Print_ISBN
978-0-7695-3283-7
Type
conf
DOI
10.1109/SCC.2008.150
Filename
4578568
Link To Document