2008
DOI: 10.1109/edocw.2008.28
View full text
|
Sign up to set email alerts
|
Share

Abstract: IT organizations that wish to implement the best practices recommended by the IT Infrastructure Library (ITIL) need to specify the level of service provided to their customers. The implemented service needs to comply with this specification. We propose a method for describing declarative specifications of services, and of their planned constructions. These specifications can then be used to verify the alignment between the specification and the construction. This method is based on first-order logic and on re…

Expand abstract

Search citation statements

Order By: Relevance

Citation Types

0
9
0

Paper Sections

0
0
0
0
0

Publication Types

0
0
0
0

Relationship

0
0

Authors

Journals