000210489 001__ 210489
000210489 005__ 20190317000231.0
000210489 037__ $$aCONF
000210489 245__ $$aThe Role of Invariants in the Co-evolution of Business and Technical Service Specification of an Enterprise
000210489 269__ $$a2013
000210489 260__ $$bCEUR Workshop Proceedings$$c2013
000210489 336__ $$aConference Papers
000210489 520__ $$aWe explore invariants as a linking mechanism between the business and technical service perspectives: From the business perspec- tive, invariants can be used to model (business) requirements of an en- terprise; from the technical perspective, invariants express the properties that must hold during the execution of a service. We propose an approach to enterprise service design that can be de- scribed as an iterative introduction and a modication of invariants in response to the evolution of business and/or technical service specica- tions. We formalize the service specications in Alloy and demonstrate how each design iteration can be simulated, visualized and validated with the Alloy analyzer tool. We illustrate our ndings with the example of Order Creation service.
000210489 6531_ $$aEnterprise Modeling
000210489 6531_ $$aService Design
000210489 6531_ $$aService Simulation
000210489 6531_ $$aAlloy
000210489 6531_ $$aDeclarative Specification
000210489 6531_ $$aModel Checking
000210489 6531_ $$aBusiness Rules
000210489 700__ $$aBiljana, Bajic-Bizumic
000210489 700__ $$aIrina, Rychkova
000210489 700__ $$0241922$$aAlain, Wegmann$$g112464
000210489 7112_ $$a6th IFIP WG 8.1 Working Conference on the Practice of Enterprise Modeling (PoEM 2013)$$cRiga, Latvia$$dNovember 6-7, 2013
000210489 720_1 $$aJanis, Grabis$$eed.
000210489 720_1 $$aMarite, Kirikova$$eed.
000210489 720_1 $$aJelena, Zdravkovic$$eed.
000210489 720_1 $$aJanis, Stirna$$eed.
000210489 773__ $$q183-192$$tShort Paper Proceedings of the 6th IFIP WG 8.1 Working Conference on the Practice of Enterprise Modeling (PoEM 2013)
000210489 8564_ $$s725554$$uhttps://infoscience.epfl.ch/record/210489/files/POEM_2013.pdf$$yn/a$$zn/a
000210489 909C0 $$0252193$$pLAMS$$xU10412
000210489 909CO $$ooai:infoscience.tind.io:210489$$pconf$$pIC$$qGLOBAL_SET
000210489 917Z8 $$x113300
000210489 937__ $$aEPFL-CONF-210489
000210489 973__ $$aEPFL$$rREVIEWED$$sPUBLISHED
000210489 980__ $$aCONF