Modelling and model checking suspendible business processes via statechart diagrams and CSP (Q869685)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Modelling and model checking suspendible business processes via statechart diagrams and CSP |
scientific article |
Statements
Modelling and model checking suspendible business processes via statechart diagrams and CSP (English)
0 references
8 March 2007
0 references
statechart diagrams
0 references
history mechanism
0 references
object behaviour
0 references
process modelling
0 references
model checking
0 references
