{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,3]],"date-time":"2025-01-03T05:33:12Z","timestamp":1735882392597,"version":"3.32.0"},"reference-count":21,"publisher":"World Scientific Pub Co Pte Ltd","issue":"04","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Int. J. Coop. Info. Syst."],"published-print":{"date-parts":[[2005,12]]},"abstract":"<jats:p>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.<\/jats:p>","DOI":"10.1142\/s0218843005001249","type":"journal-article","created":{"date-parts":[[2005,7,26]],"date-time":"2005-07-26T12:20:29Z","timestamp":1122380429000},"page":"503-527","source":"Crossref","is-referenced-by-count":1,"title":["SET-BASED ANALYSIS OF STRUCTURED WORKFLOW DEFINITION"],"prefix":"10.1142","volume":"14","author":[{"given":"DONGSOO","family":"HAN","sequence":"first","affiliation":[{"name":"School of Engineering, Information and Communications University, P.O.Box 77, Yuseong, Daejeon 305-600, Korea"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"SUNGDOKE","family":"LEE","sequence":"additional","affiliation":[{"name":"School of Engineering, Information and Communications University, P.O.Box 77, Yuseong, Daejeon 305-600, Korea"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"MINKYU","family":"LEE","sequence":"additional","affiliation":[{"name":"School of Engineering, Information and Communications University, P.O.Box 77, Yuseong, Daejeon 305-600, Korea"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"JAEYONG","family":"SHIM","sequence":"additional","affiliation":[{"name":"School of Engineering, Information and Communications University, P.O.Box 77, Yuseong, Daejeon 305-600, Korea"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"219","published-online":{"date-parts":[[2012,1,25]]},"reference":[{"volume-title":"Compilers: Principles, Techniques, and Tools","year":"1986","author":"Aho A. V.","key":"rf3"},{"key":"rf4","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511811449"},{"key":"rf12","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796800000393"},{"volume":"273","journal-title":"Theoretical Computer Science","author":"Yi K.","key":"rf14"},{"volume":"10","journal-title":"J. Intelligent Information System","author":"Reichert M.","key":"rf15"},{"volume-title":"Program Flow Analysis, Theory and Applications","year":"1981","author":"Cousot P.","key":"rf20"},{"key":"rf22","doi-asserted-by":"publisher","DOI":"10.1145\/265924.265927"},{"key":"rf27","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45594-9_15"},{"key":"rf28","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45594-9"},{"key":"rf30","doi-asserted-by":"publisher","DOI":"10.1023\/A:1008758612291"},{"key":"rf31","doi-asserted-by":"publisher","DOI":"10.1023\/A:1008656726700"},{"key":"rf32","first-page":"362","volume":"26","author":"Taylor R.","journal-title":"Comm. ACM"},{"journal-title":"IEEE Trans. Software Engineering","first-page":"314","author":"Murata T.","key":"rf33"},{"key":"rf36","doi-asserted-by":"crossref","first-page":"125","DOI":"10.1023\/A:1008388412284","volume":"13","author":"Luo Z.","journal-title":"Applied Intelligence: The International Journal of AI, Neural Networks, and Complex Problem-Solving Technologies"},{"key":"rf37","doi-asserted-by":"publisher","DOI":"10.1145\/328939.328996"},{"volume":"83","journal-title":"IEICE Transactions on Information Systems","author":"Han D. S.","key":"rf39"},{"key":"rf43","doi-asserted-by":"crossref","unstructured":"A.\u00a0Dinning and E.\u00a0Schonberg, 2nd Symp. Principles and Practice of Parallel Programming (ACM, 1990)\u00a0pp. 1\u201310.","DOI":"10.1145\/99163.99165"},{"key":"rf44","doi-asserted-by":"publisher","DOI":"10.1002\/spe.4380201205"},{"key":"rf45","doi-asserted-by":"publisher","DOI":"10.1145\/125826.125861"},{"key":"rf46","doi-asserted-by":"publisher","DOI":"10.1145\/174266.171370"},{"key":"rf47","doi-asserted-by":"publisher","DOI":"10.1145\/42279.42281"}],"container-title":["International Journal of Cooperative Information Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.worldscientific.com\/doi\/pdf\/10.1142\/S0218843005001249","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,2]],"date-time":"2025-01-02T17:57:26Z","timestamp":1735840646000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.worldscientific.com\/doi\/abs\/10.1142\/S0218843005001249"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005,12]]},"references-count":21,"journal-issue":{"issue":"04","published-online":{"date-parts":[[2012,1,25]]},"published-print":{"date-parts":[[2005,12]]}},"alternative-id":["10.1142\/S0218843005001249"],"URL":"https:\/\/doi.org\/10.1142\/s0218843005001249","relation":{},"ISSN":["0218-8430","1793-6365"],"issn-type":[{"type":"print","value":"0218-8430"},{"type":"electronic","value":"1793-6365"}],"subject":[],"published":{"date-parts":[[2005,12]]}}}