DocumentCode :
3680200
Title :
IT Service Alignment Verification of Quantitative Properties in Service Design
Author :
Gorica Tapandjieva;Alain Wegmann
Author_Institution :
Ecole Polytech. Fed. de Lausanne, Lausanne, Switzerland
fYear :
2015
Firstpage :
111
Lastpage :
119
Abstract :
Despite many years of research, alignment of business and IT services remains a challenge. In this paper we show how to verify the quantitative properties of a service against stakeholder requirements during service design. We model the service with the Systemic Enterprise Architecture Method (SEAM). This allows us to specify the service alignment constraints with what we call a feasibility constraint. We translate the SEAM model into Scala code, where the feasibility constraint is mapped to a constraint of a Scala function. We then check the Scala function´s verification condition with the Leon verification tool. An alignment is achieved if no counterexample is found. If a counterexample exists, it allows to detect which service component is at the source of the misalignment.
Keywords :
"Unified modeling language","Computational modeling","Companies","Stakeholders","Mechanical factors"
Publisher :
ieee
Conference_Titel :
Enterprise Distributed Object Computing Workshop (EDOCW), 2015 IEEE 19th International
Type :
conf
DOI :
10.1109/EDOCW.2015.36
Filename :
7310678
Link To Document :
بازگشت