Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
Automated Validation and Verification of Process Models Darren C. Atkinson
 

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-

  

Source: Atkinson, Darren C. - Computer Engineering Department, Santa Clara University

 

Collections: Computer Technologies and Information Sciences