Skip to Main content Skip to Navigation
Conference papers

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 metadata
Contributor : Irina Rychkova Connect in order to contact the contributor
Submitted on : Thursday, April 11, 2013 - 9:26:44 PM
Last modification on : Friday, April 29, 2022 - 10:12:44 AM


  • HAL Id : hal-00812254, version 1



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⟩



Record views