Declarative Specification and Alignment Verification of Services in ITIL

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 refinement theory for alignment verification. The alignment verification is automated using the Alloy specification language and the Alloy Analyzer tool. The method is illustrated with the example of a utility emergency service inspired from a real project.


Présenté à:
The First International Workshop on Dynamic and Declarative Business Processes (DDBP) in the 12th IEEE International EDOC Conference (EDOC2008), Muenchen, Germany, September 15-19, 2008, Muenchen, September 15-19, 2008
Année
2008
Mots-clefs:
Laboratoires:




 Notice créée le 2008-09-06, modifiée le 2019-03-16

n/a:
Télécharger le documentPDF
Lien externe:
Télécharger le documentURL
Évaluer ce document:

Rate this document:
1
2
3
 
(Pas encore évalué)