 |
|
Related Communities:
|
 |
|
 |
Applying CSP-like Workflow Process Specifications for their Refinement in AMN by Pre-existing Workflows.
| Author(s): | Stupnikov S.A.,Kalinichenko L.A., Jin Song DONG |
| Created: | 2002/09/11 |
| Published: | Advances in Databases and Information Systems: Proc. of the Sixth East-European Conference. Vol. 2: Research Communications. -- Bratislava: Slovak University of Technology, 2002. -- P. 206-215. |
| Abstract: | |
| Starting with csp2B specification facilities as the core, this paper extends
Abstract Machine Notation (AMN) further with the sequential processes, interrupt operator,
timing and other facilities specific for TCOZ. An approach for mapping of extensions of
the core into AMN and algorithms of their conversion into B machines are defined.
B technology provides provable refinement technique required for compositional development.
Capabilities of the extended notation are illustrated by an example showing how a refinement
of the workflow process specification of requirements by a composition of the pre-existing
workflow processes can be formally justified.
|
| Download: |
[ PostScript ]
|
|
|
