The Role of Invariants in the Co-evolution of Business and Technical Service Specification of an Enterprise.

Biljana Bajic 1, * Irina Rychkova 2 Alain Wegmann 1
* Auteur correspondant
1 EPFL - Ecole Polytechnique Fédérale de Lausanne
2 CRI - Centre de Recherche en Informatique de Paris 1
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.
keyword : eneterprise modeling service design service simulation design process Alloy declarative specification model checking business rules
Type de document :
Communication dans un congrès
6th IFIP WG 8.1 Working Conference on the Practice of Enterprise Modeling, Nov 2013, Riga, Latvia
Liste complète des métadonnées
https://hal-paris1.archives-ouvertes.fr/hal-00936927
Contributeur : Irina Rychkova <>
Soumis le : lundi 27 janvier 2014 - 15:40:02
Dernière modification le : lundi 2 octobre 2017 - 16:06:04

Identifiants

  • HAL Id : hal-00936927, version 1

Collections

UNIV-PARIS1 | CRI | TDS-MACS

Citation

Biljana Bajic, Irina Rychkova, Alain Wegmann. The Role of Invariants in the Co-evolution of Business and Technical Service Specification of an Enterprise.. 6th IFIP WG 8.1 Working Conference on the Practice of Enterprise Modeling, Nov 2013, Riga, Latvia. 〈hal-00936927〉

Exporter

BibTeX TEI DC DCterms EndNote

Partager

Métriques

Consultations de la notice

55

Contact

support.ccsd.cnrs.fr
hal.support@ccsd.cnrs.fr
Logo CCSD