000126296 001__ 126296
000126296 005__ 20190812205233.0
000126296 0247_ $$2doi$$a10.1109/EDOCW.2008.28
000126296 02470 $$2ISI$$a000268929500022
000126296 037__ $$aCONF
000126296 245__ $$aDeclarative Specification and Alignment Verification of Services in ITIL
000126296 269__ $$a2008
000126296 260__ $$c2008
000126296 336__ $$aConference Papers
000126296 520__ $$aIT 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.
000126296 6531_ $$aEnterprise architecture
000126296 6531_ $$aSEAM
000126296 6531_ $$aBusiness provess
000126296 6531_ $$aDeclarative Specification
000126296 6531_ $$aAlloy
000126296 700__ $$aRychkova, Irina
000126296 700__ $$0243384$$g113300$$aRegev, Gil
000126296 700__ $$aWegmann, Alain$$0241922$$g112464
000126296 7112_ $$dSeptember 15-19, 2008$$cMuenchen$$aThe First International Workshop on Dynamic and Declarative Business Processes (DDBP) in the 12th IEEE International EDOC Conference (EDOC2008), Muenchen, Germany, September 15-19, 2008
000126296 8564_ $$zURL$$uhttp://www.leduotang.com/sylvain/ddbp2008
000126296 8564_ $$zn/a$$uhttps://infoscience.epfl.ch/record/126296/files/Rychkova_et_al-Declarative_process-DDBP2008.pdf$$s264324
000126296 909C0 $$xU10412$$pLAMS$$0252193
000126296 909CO $$ooai:infoscience.tind.io:126296$$qGLOBAL_SET$$pconf$$pIC
000126296 917Z8 $$x112464
000126296 917Z8 $$x253580
000126296 937__ $$aLAMS-CONF-2008-018
000126296 973__ $$rREVIEWED$$sPUBLISHED$$aEPFL
000126296 980__ $$aCONF