|
|
|
| Controling Validity Using Temporal Logic |
Liu Lei |
| Guangdong University of Technology |
|
|
|
|
Abstract The activities are closely related with time in workflow systems．How to guarantee that the activity is executed at a appropriate time has became the crucial problem in workflow systems．In this paper， temporal logic was used to solve this problem．Firstly，the concept of validity in workflow system was presented．Then propose a model of validity constraint based on temporal logic and the method to verify the validity constraint of the model．Finally，a instance is used for showing the validity of the method．
|
|
Received: 01 January 1900
Published: 10 May 2010
|
|
Viewed |
|
|
|
Full text
|
|
|
|
|
Abstract
|
|
|
|
|
Cited |
|
|
|
|
| |
Shared |
|
|
|
|
| |
Discussed |
|
|
|
|
