Abstract
An error-comprising workflow definition of mission critical business process might incur serious problems to an enterprise. Although workflow designer is responsible for the error-comprising workflow definitions, workflow system has to be equipped with an intelligent workflow modeling tool preventing workflow designers from specifying error-comprising workflow definitions. Faults and mistakes of process designers have to be detected and reported to them by the tool at workflow build time. Access conflicts and improper specification of exceptions are two typical examples of such an error-comprising workflow definition. In this paper, we develop an access conflict detection and an uncaught exception detection techniques. A simple workflow definition language, named SWDL, is developed and the techniques are successfully developed on SWDL using Set Constraint System. With slight modifications and scope restrictions, the proposed techniques can be used in any workflow definition language either by translating it into SWDL or by referring to the techniques for the developing its own techniques. This indicates that general conventional programming language analysis techniques can be used in the analysis of workflow definitions by introducing an intermediate workflow definition language and developing analysis techniques on it.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a callMore From: International Journal of Cooperative Information Systems
Disclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.
