Article ID | Journal | Published Year | Pages | File Type |
---|---|---|---|---|
10325274 | Information Systems | 2005 | 30 Pages |
Abstract
The verification of dynamically built models is essential. Where as ensuring that the model conforms to specified constraints does not pose great difficulty, ensuring that the constraint set itself does not carry conflicts and redundancy is an interesting and challenging problem. In this paper, we will provide a discussion on both the static and dynamic verification aspects. We will also briefly present Chameleon, a prototype workflow engine that implements these concepts.
Keywords
Related Topics
Physical Sciences and Engineering
Computer Science
Artificial Intelligence
Authors
Shazia W. Sadiq, Maria E. Orlowska, Wasim Sadiq,