Verification problems in conceptual workflow specifications Export

@article{citeulike:2902427, abstract = {Most of today's business requirements can only be accomplished through integration of various autonomous systems which were initially designed to serve the needs of particular applications. In the literature workflows are proposed to design these kinds of applications. The key tool for designing such applications is a powerful conceptual specification language. Such a language should be capable of capturing interactions and cooperation between component tasks of workflows among others. These include sequential execution, iteration, choice, parallelism and synchronisation. The central focus of this paper is the verification of such process control aspects in conceptual workflow specifications. As is generally agreed upon, that the later in the software development process an error is detected, the more it will cost to correct it; it is thus of vital importance to detect errors as early as possible in the systems-development process. In this paper some typical verification problems in workflow specifications are identified and their complexity is addressed. It will be proven that some fundamental problems are not tractable and we will show what restriction is needed to allow termination problems to be recognized in polynomial time.}, author = {Ter and Orlowska, M. E. and Rajapakse, J.}, booktitle = {ER '96}, citeulike-article-id = {2902427}, citeulike-linkout-0 = {http://dx.doi.org/10.1016/S0169-023X(97)00032-3}, citeulike-linkout-1 = {http://www.sciencedirect.com/science/article/B6TYX-3SYPSXP-3/1/825272c9a1392011c0ee83e4b3370d21}, doi = {10.1016/S0169-023X(97)00032-3}, journal = {Data \& Knowledge Engineering}, keywords = {assembly, consistency, method, verification}, month = {January}, number = {3}, pages = {239--256}, posted-at = {2008-06-17 14:07:42}, priority = {3}, title = {Verification problems in conceptual workflow specifications}, url = {http://dx.doi.org/10.1016/S0169-023X(97)00032-3}, volume = {24}, year = {1998} }

TY - JOUR ID - citeulike:2902427 L3 - citeulike-article-id:2902427 N2 - Most of today's business requirements can only be accomplished through integration of various autonomous systems which were initially designed to serve the needs of particular applications. In the literature workflows are proposed to design these kinds of applications. The key tool for designing such applications is a powerful conceptual specification language. Such a language should be capable of capturing interactions and cooperation between component tasks of workflows among others. These include sequential execution, iteration, choice, parallelism and synchronisation. The central focus of this paper is the verification of such process control aspects in conceptual workflow specifications. As is generally agreed upon, that the later in the software development process an error is detected, the more it will cost to correct it; it is thus of vital importance to detect errors as early as possible in the systems-development process. In this paper some typical verification problems in workflow specifications are identified and their complexity is addressed. It will be proven that some fundamental problems are not tractable and we will show what restriction is needed to allow termination problems to be recognized in polynomial time. IS - 3 JF - Data & Knowledge Engineering EP - 256 TI - Verification problems in conceptual workflow specifications VL - 24 T2 - ER '96 SP - 239 KW - assembly KW - consistency KW - method KW - verification AU - Ter AU - Orlowska, ME AU - Rajapakse, J PY - 1998/01// UR - http://dx.doi.org/10.1016/S0169-023X(97)00032-3 ER -