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

DOI10.1016/J.SCICO.2006.08.007zbMATH Open1109.68071OpenAlexW2039319112MaRDI QIDQ869685FDOQ869685

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

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

zbMATH Keywords

model checkingprocess modellinghistory mechanismobject behaviourstatechart diagrams

Mathematics Subject Classification ID

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

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)