{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,3]],"date-time":"2022-04-03T02:38:32Z","timestamp":1648953512048},"reference-count":17,"publisher":"World Scientific Pub Co Pte Lt","issue":"01","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Int. J. Found. Comput. Sci."],"published-print":{"date-parts":[[2006,2]]},"abstract":"<jats:p> In recent years, workflow technology has greatly facilitated business process modeling and reengineering in information systems. On one hand, the separation of an application's control structure from the implementation of its task programs simplifies and speeds up application development. On the other hand, the run-time system assists users in coordinating and scheduling tasks of a business process. As a result, the cost of doing business is reduced, and business enterprises become more responsive to new business requirements and opportunities, hence, become more competitive in the market. Several formal methods have been proposed for specifying and modeling workflows. However, most workflows are designed manually, which becomes a time-consuming and error-prone procedure when a workflow involves hundreds or thousands of task programs. A recent approach is to generate workflow automatically from a task library and a specification of the desired outcome. In this paper, we define the notions of positive and negative dependency graphs for a task library to represent the dependencies among tasks in the library. Based on these dependencies, we identified sufficient conditions for a task library to be complete, and the conditions for a workflow postcondition to be realizable from a task library. We also identified a sufficient and necessary condition for the completeness of a class of task libraries, called S-task libraries. <\/jats:p>","DOI":"10.1142\/s0129054106003784","type":"journal-article","created":{"date-parts":[[2006,2,9]],"date-time":"2006-02-09T05:25:16Z","timestamp":1139462716000},"page":"223-245","source":"Crossref","is-referenced-by-count":1,"title":["COMPLETENESS AND REALIZABILITY: CONDITIONS FOR AUTOMATIC GENERATION OF WORKFLOWS"],"prefix":"10.1142","volume":"17","author":[{"given":"SHIYONG","family":"LU","sequence":"first","affiliation":[{"name":"Wayne State University, Detroit, MI 48202, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"ARTHUR J.","family":"BERNSTEIN","sequence":"additional","affiliation":[{"name":"Department of Computer Science, SUNY at Stony Brook, NY 11790, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"PHILIP M.","family":"LEWIS","sequence":"additional","affiliation":[{"name":"Department of Computer Science, SUNY at Stony Brook, NY 11790, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"219","published-online":{"date-parts":[[2011,11,20]]},"reference":[{"key":"rf1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1008656726700"},{"key":"rf2","volume-title":"Readings in Planning","author":"Allen J.","year":"1990"},{"key":"rf5","doi-asserted-by":"publisher","DOI":"10.1145\/249978.249981"},{"key":"rf6","volume":"24","author":"Bernstein A.","journal-title":"Information Systems"},{"key":"rf7","doi-asserted-by":"publisher","DOI":"10.1016\/S0004-3702(96)00047-1"},{"key":"rf8","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(94)90081-7"},{"key":"rf12","volume-title":"Database Transaction Models For Advanced Applications","author":"Elmagarmid Ahmed","year":"1992"},{"key":"rf14","first-page":"61","volume":"11","author":"Hendler J.","journal-title":"AI Magazine"},{"key":"rf16","first-page":"2","volume":"18","author":"Hsu Mei","journal-title":"Bulletin of the Technical Committee on Data Engineering"},{"key":"rf17","first-page":"3","volume":"16","author":"Hsu Meichun","journal-title":"Bulletin of the Technical Committee on Data Engineering"},{"key":"rf23","volume-title":"Nested Transactions: An Approach to Reliable Computing","author":"Moss J.","year":"1985"},{"key":"rf24","series-title":"Lecture Notes on Computer Science","doi-asserted-by":"crossref","DOI":"10.1007\/BFb0026716","volume-title":"Advances in Workflow Management Systems and Interoperability","author":"Muth Peter","year":"1997"},{"key":"rf25","doi-asserted-by":"crossref","first-page":"271","DOI":"10.1613\/jair.735","volume":"12","author":"Nebel B.","journal-title":"Journal of Artificial Intelligence Research"},{"key":"rf28","doi-asserted-by":"publisher","DOI":"10.1023\/A:1008604709862"},{"key":"rf29","first-page":"4","volume":"18","author":"Reuter Andreas","journal-title":"Bulletin of the Technical Committee on Data Engineering"},{"key":"rf30","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-49450-2","volume":"1096","author":"Schael Thomas","year":"1998"},{"key":"rf36","author":"Weikum G.","journal-title":"IEEE Data Engineering Bulletin"}],"container-title":["International Journal of Foundations of Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.worldscientific.com\/doi\/pdf\/10.1142\/S0129054106003784","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,8,6]],"date-time":"2019-08-06T20:41:38Z","timestamp":1565124098000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.worldscientific.com\/doi\/abs\/10.1142\/S0129054106003784"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006,2]]},"references-count":17,"journal-issue":{"issue":"01","published-online":{"date-parts":[[2011,11,20]]},"published-print":{"date-parts":[[2006,2]]}},"alternative-id":["10.1142\/S0129054106003784"],"URL":"https:\/\/doi.org\/10.1142\/s0129054106003784","relation":{},"ISSN":["0129-0541","1793-6373"],"issn-type":[{"value":"0129-0541","type":"print"},{"value":"1793-6373","type":"electronic"}],"subject":[],"published":{"date-parts":[[2006,2]]}}}