| | |
Summary: Automated Validation and Verification of Process Models
Darren C. Atkinson
Department of Computer Engineering
Santa Clara University
Santa Clara, CA 95053-0566
atkinson@engr.scu.edu
John Noll
Department of Computer Engineering
Santa Clara University
Santa Clara, CA 95053-0566
jnoll@engr.scu.edu
ABSTRACT
In process programming, processes are modeled as pieces
of software, and a process programming language is used to
specify the process. Such a language resembles a conven-
tional programming language, providing constructs such as
iteration and selection. This approach allows models to be
simulated and enacted easily. However, it also suffers from
the same problems that plague traditional programming,
such as the question of whether the program itself is seman-
|
