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

DOI10.1016/J.SCICO.2006.08.007MaRDI QIDQ869685zbMATH OpenOpenAlexFDO

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

Publication date 8 March 2007

Published in Science of Computer Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.scico.2006.08.007

zbMATH Keywords

model checkingprocess modellinghistory mechanismobject behaviourstatechart diagrams

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Modular semantics for a UML statechart diagrams kernel and its extension to multicharts and branching time model-checking
• Statecharts: a visual formalism for complex systems
• Statecharts, transition structures and transformations
• Automatic verification of a behavioural subset of UML statechart diagrams using the SPIN model-checker
• scientific article; zbMATH DE number 2006503

Describes a project that uses

Uses Software

• HiVy

This page was built for publication: Modelling and model checking suspendible business processes via statechart diagrams and CSP

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q869685)