Exploring the Alloy Operational Semantics for Case Management Process Modeling

Abstract : Abstract--Efficient case management in industry is hampered by attempts to deal with case management process the same way as with regular business process. Development of the specific approaches for case management process modeling and analysis is therefore an important endeavor that can improve the case management practice. In this work, we provide a mathematical model and a comprehensible formalism for reasoning about the meaning - the semantics - of case management process. We represent case management process as a finite state machine (FSM) and express its operational semantics in the Alloy specification language. The Alloy Analyzer tool allows us to define, simulate and validate a case management process model while efficiently managing its complexity.We illustrate our findings on the example of Mortgage Approval process.
Type de document :
Communication dans un congrès
Proceedings of 7th IEEE International Conference on Research Challenges in Information Science, RCIS 2013, May 2013, Paris, France
Liste complète des métadonnées

https://hal-paris1.archives-ouvertes.fr/hal-00812254
Contributeur : Irina Rychkova <>
Soumis le : jeudi 11 avril 2013 - 21:26:44
Dernière modification le : lundi 21 mars 2016 - 17:30:16

Identifiants

  • HAL Id : hal-00812254, version 1

Collections

Citation

Irina Rychkova. Exploring the Alloy Operational Semantics for Case Management Process Modeling. Proceedings of 7th IEEE International Conference on Research Challenges in Information Science, RCIS 2013, May 2013, Paris, France. 〈hal-00812254〉

Partager

Métriques

Consultations de la notice

71