{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,13]],"date-time":"2025-01-13T16:10:19Z","timestamp":1736784619457,"version":"3.33.0"},"reference-count":18,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2007,2,6]],"date-time":"2007-02-06T00:00:00Z","timestamp":1170720000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Inf Technol Manage"],"published-print":{"date-parts":[[2007,3,10]]},"DOI":"10.1007\/s10799-006-0004-4","type":"journal-article","created":{"date-parts":[[2007,2,6]],"date-time":"2007-02-06T09:06:14Z","timestamp":1170752774000},"page":"65-81","source":"Crossref","is-referenced-by-count":3,"title":["The representation, analysis and verification of business processes: a metagraph-based approach"],"prefix":"10.1007","volume":"8","author":[{"given":"Arindam","family":"Mukherjee","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Anup Kumar","family":"Sen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Amitava","family":"Bagchi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2007,2,6]]},"reference":[{"key":"4_CR1","doi-asserted-by":"crossref","unstructured":"W. van der Aalst, and K.van Hee, Workflow Management: Models, Methods and Systems (The MIT Press, 2002).","DOI":"10.7551\/mitpress\/7301.001.0001"},{"issue":"1","key":"4_CR2","doi-asserted-by":"crossref","first-page":"17","DOI":"10.1287\/isre.11.1.17.11787","volume":"11","author":"A. Basu","year":"2000","unstructured":"A. Basu, R.W. Blanning, A formal approach to workflow analysis. Information Systems Research 11(1) (2000) 17\u201336.","journal-title":"Information Systems Research"},{"issue":"3","key":"4_CR3","doi-asserted-by":"crossref","first-page":"199","DOI":"10.1016\/S0167-9236(99)00006-8","volume":"25","author":"A. Basu","year":"1999","unstructured":"A. Basu, R.W. Blanning, Metagraphs in workflow support systems. Decision Support Systems 25(3) (1999) 199\u2013208.","journal-title":"Decision Support Systems"},{"issue":"12","key":"4_CR4","doi-asserted-by":"crossref","first-page":"1579","DOI":"10.1287\/mnsc.40.12.1579","volume":"40","author":"A. Basu","year":"1994","unstructured":"A. Basu, R.W. Blanning, Metagraphs: a tool for modeling decision support systems. Management Science 40(12) (1994) 1579\u20131600.","journal-title":"Management Science"},{"issue":"3","key":"4_CR5","doi-asserted-by":"crossref","first-page":"269","DOI":"10.1023\/A:1014048800604","volume":"11","author":"C. Bettini","year":"2002","unstructured":"C. Bettini, X. Wang, S. Jajodia, Temporal reasoning in workflow systems. Distributed and Parallel Databases 11(3) (2002) 269\u2013306.","journal-title":"Distributed and Parallel Databases"},{"key":"4_CR6","unstructured":"H.H. Bi, J.L. Zhao, Applying propositional logic to workflow verification. Journal of Information Technology and Management, Special Issue on Workflows and E-Business (2004)"},{"key":"4_CR7","unstructured":"G. Booch, J. Rumbaugh, I. Jacobson, The Unified Modeling Language User Guide (Addison Wesley, 1999)"},{"issue":"9","key":"4_CR8","doi-asserted-by":"crossref","first-page":"75","DOI":"10.1145\/130994.130998","volume":"35","author":"B. Curtis","year":"1992","unstructured":"B. Curtis, M.I. Kellner, J. Over, Process modeling. Comm ACM 35(9) (1992) 75\u201390.","journal-title":"Comm ACM"},{"key":"4_CR9","unstructured":"E. Deborin, J. Basral, Continuous Business Process Management with HOLOSOFX BPM Suite and IBM MQSeries Workflow (IBM Corporation 2002)"},{"key":"4_CR10","doi-asserted-by":"crossref","unstructured":"R. Liu, A. Kumar, An analysis and taxonomy of unstructured workflows, BPM 2005, Lecture Notes in Computer Science, Vol. 3649 (Springer Verlag, 2005)","DOI":"10.1007\/11538394_18"},{"key":"4_CR11","doi-asserted-by":"crossref","unstructured":"A. Mukherjee, A.K. Sen, A. Bagchi, Information analysis in workflows represented as task- precedence metagraphs. Proc WITS-2004 (Workshop on Info Tech and Systems, Seattle 32\u201337, 2004)","DOI":"10.1049\/ic:20040296"},{"key":"4_CR12","unstructured":"A. Mukherjee, Selected Issues on Workflow Representation, Analysis and Verification, Fellow Programme Thesis, Indian Institute of Management Calcutta (2005)"},{"key":"4_CR13","unstructured":"N.J. Nilsson, Principles of Artificial Intelligence (Tioga Press, 1980)"},{"key":"4_CR14","unstructured":"J. Pearl, Heuristics: Intelligent Search Strategies for Computer Problem Solving, Addison Wesley (1984)"},{"issue":"2","key":"4_CR15","doi-asserted-by":"crossref","first-page":"117","DOI":"10.1016\/S0306-4379(00)00012-0","volume":"25","author":"W. Sadiq","year":"2000","unstructured":"W. Sadiq, M.E. Orlowska, Analyzing process models using graph reduction techniques. Information Systems 25(2) (2000) 117\u2013134.","journal-title":"Information Systems"},{"key":"4_CR16","unstructured":"P. Sinnakkrishnan, A. Mahanti, A simple and efficient technique for verifying workflow graphs, in: WfMC Workflow Handbook, L. Fischer (ed.) (Future Strategies, 2005), pp. 233\u2013256"},{"key":"4_CR17","unstructured":"WfMC, Terminology and Glossary, Technical Report, TC-1011 (Workflow Management Coalition, Hampshire, UK, 1999)"},{"key":"4_CR18","doi-asserted-by":"crossref","unstructured":"J. Wang, A. Kumar, A framework for document-driven workflow systems, BPM 2005, Lecture Notes in Computer Science, Vol. 3649 (Springer Verlag, 2005).","DOI":"10.1007\/11538394_19"}],"container-title":["Information Technology and Management"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10799-006-0004-4.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10799-006-0004-4\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10799-006-0004-4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,13]],"date-time":"2025-01-13T15:35:18Z","timestamp":1736782518000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10799-006-0004-4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007,2,6]]},"references-count":18,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2007,3,10]]}},"alternative-id":["4"],"URL":"https:\/\/doi.org\/10.1007\/s10799-006-0004-4","relation":{},"ISSN":["1385-951X","1573-7667"],"issn-type":[{"type":"print","value":"1385-951X"},{"type":"electronic","value":"1573-7667"}],"subject":[],"published":{"date-parts":[[2007,2,6]]}}}