{"title":"Declarative Specification and Alignment Verification of Services in ITIL","authors":"I. Rychkova, Gil Regev, A. Wegmann","doi":"10.1109/EDOCW.2008.28","DOIUrl":null,"url":null,"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 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.","PeriodicalId":205960,"journal":{"name":"2008 12th Enterprise Distributed Object Computing Conference Workshops","volume":"177 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2008-09-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"14","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"2008 12th Enterprise Distributed Object Computing Conference Workshops","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/EDOCW.2008.28","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
引用次数: 14
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 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.
京公网安备 11010802042870号
京ICP备2023020795号-1
分享
求助内容：
应助结果提醒方式：
扫码关注我们
