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.
Document type :
Conference papers
Complete list of metadatas

https://hal-paris1.archives-ouvertes.fr/hal-00812254
Contributor : Irina Rychkova <>
Submitted on : Thursday, April 11, 2013 - 9:26:44 PM
Last modification on : Monday, March 21, 2016 - 5:30:16 PM

Identifiers

  • 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⟩

Share

Metrics

Record views

103