 |
The open archive HAL of Paris 1 Panthéon-Sorbonne university |
Conference papers
The Role of Invariants in the Co-evolution of Business and Technical Service Specification of an Enterprise.
Abstract : We 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 modification of invariants in response to the evolution of business and/or technical service specifica- tions. We formalize the service specifications in Alloy and demonstrate how each design iteration can be simulated, visualized and validated with the Alloy analyzer tool. We illustrate our findings with the example of Order Creation service.
https://hal-paris1.archives-ouvertes.fr/hal-00936927
Contributor : Irina Rychkova Connect in order to contact the contributor
Submitted on : Monday, January 27, 2014 - 3:40:02 PM
Last modification on : Tuesday, January 19, 2021 - 11:08:32 AM
Contributor : Irina Rychkova Connect in order to contact the contributor
Submitted on : Monday, January 27, 2014 - 3:40:02 PM
Last modification on : Tuesday, January 19, 2021 - 11:08:32 AM