Model checking suspendible business processes via statechart diagrams and CSP

Document Type

Conference paper

Source Publication

Modelling, simulation, verification and validation of enterprise information systems : proceedings of the 4th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems, MSVVEIS 2006 ; in conjunction with ICEIS 2006 ; Paphos, Cyprus, May 2006

Publication Date

1-1-2006

First Page

97

Last Page

107

Publisher

INSTICC Press

Abstract

When using statechart diagrams, the history mechanism can be useful for modelling the suspension of a "normal" business process upon certain "abnormal" events together with the subsequent resumption, as illustrated by the examples in this paper. However, previous approaches to model checking statechart diagrams often ignore the history mechanism. We enhanced such a previous approach based on Communicating Sequential Processes (CSP) and developed a support tool for it.

Additional Information

Paper presented at the 4th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems (MSVVEIS 2006), in Conjunction with ICEIS 2006, 23-24 May 2006, Paphos, Cyprus.

ISBN of the source publication: 9789728865498

Language

English

Recommended Citation

Yeung, W. L., Leung, K. R. P. H., Wang, J., & Dong, W. (2006). Model checking suspendible business processes via statechart diagrams and CSP. In Modelling, simulation, verification and validation of enterprise information systems: Proceedings of the 4th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems, MSVVEIS 2006; in conjunction with ICEIS 2006; Paphos, Cyprus, May 2006 (pp. 97-107). Setúbal: INSTICC Press.

This document is currently not available here.

Share

COinS