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 äbnormal" 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.
%0 Journal Article
%1 yeung_07_modelling
%A Yeung, W. L.
%A Leung, K. R. P. H.
%A Wang, Ji
%A Dong, Wei
%B Special Issue on: Increasing Adequacy and Reliability of EIS
%D 2007
%J Science of Computer Programming
%K history 2006 model\_checking \_hardcopy statecharts \_pdf process\_modelling csp
%N 1
%P 14--29
%R http://dx.doi.org/10.1016/j.scico.2006.08.007
%T Modelling and model checking suspendible business processes via statechart diagrams and CSP
%U http://dx.doi.org/10.1016/j.scico.2006.08.007
%V 65
%X 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 äbnormal" 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.
@article{yeung_07_modelling,
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.},
added-at = {2009-03-10T04:44:03.000+0100},
author = {Yeung, W. L. and Leung, K. R. P. H. and Wang, Ji and Dong, Wei},
biburl = {https://www.bibsonomy.org/bibtex/2fed3f2d29db274e3dd973c6e5399cde2/leonardo},
booktitle = {Special Issue on: Increasing Adequacy and Reliability of EIS},
citeulike-article-id = {1151055},
doi = {http://dx.doi.org/10.1016/j.scico.2006.08.007},
interhash = {8b2652844992ba465f54fd095782db1e},
intrahash = {fed3f2d29db274e3dd973c6e5399cde2},
journal = {Science of Computer Programming},
keywords = {history 2006 model\_checking \_hardcopy statecharts \_pdf process\_modelling csp},
month = {March},
number = 1,
pages = {14--29},
posted-at = {2007-03-09 11:43:25},
priority = {4},
timestamp = {2009-03-10T04:44:03.000+0100},
title = {Modelling and model checking suspendible business processes via statechart diagrams and CSP},
url = {http://dx.doi.org/10.1016/j.scico.2006.08.007},
volume = 65,
year = 2007
}