Search

Your search keyword '"Leung, K.R.P.H."' showing total 1 results
Start Over Author "Leung, K.R.P.H."

Refine your results

1 results on '"Leung, K.R.P.H."'

1. Modelling and model checking suspendible business processes via statechart diagrams and CSP

Author

Yeung, W.L., Leung, K.R.P.H., Wang, Ji, and Dong, Wei

Subjects
*STATECHARTS (Computer science), *STRUCTURED techniques of electronic data processing, *COMPUTER science, *COMPUTERS, *CHARTS, diagrams, etc., *BUSINESS enterprises, *COMMUNICATION
Abstract

When modelling object behaviour with UML 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. [Copyright &y& Elsevier]

Published
2007
Full Text
View/download PDF

Catalog

Books, media, physical & digital resources
See catalog results