{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,5]],"date-time":"2025-10-05T16:27:09Z","timestamp":1759681629059},"reference-count":29,"publisher":"Elsevier BV","issue":"3","license":[{"start":{"date-parts":[[1998,1,1]],"date-time":"1998-01-01T00:00:00Z","timestamp":883612800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Data & Knowledge Engineering"],"published-print":{"date-parts":[[1998,1]]},"DOI":"10.1016\/s0169-023x(97)00032-3","type":"journal-article","created":{"date-parts":[[2002,7,25]],"date-time":"2002-07-25T14:55:32Z","timestamp":1027608932000},"page":"239-256","source":"Crossref","is-referenced-by-count":55,"title":["Verification problems in conceptual workflow specifications"],"prefix":"10.1016","volume":"24","author":[{"given":"A.H.M","family":"ter Hofstede","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"M.E","family":"Orlowska","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"J","family":"Rajapakse","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"key":"10.1016\/S0169-023X(97)00032-3_BIB1","series-title":"Proc. of the 18th VLDB Conf.","first-page":"65","article-title":"Using flexible transactions to support multi-system telecommunication applications","author":"Ansari","year":"1992"},{"key":"10.1016\/S0169-023X(97)00032-3_BIB2","series-title":"Proc. of the 19th VLDB Conf.","first-page":"134","article-title":"Specifying and enforcing intertask dependencies","author":"Attie","year":"1993"},{"key":"10.1016\/S0169-023X(97)00032-3_BIB3","series-title":"Process Algebra","author":"Baeten","year":"1990"},{"key":"10.1016\/S0169-023X(97)00032-3_BIB4","article-title":"Views of formal program development","author":"Boiten","year":"1992"},{"key":"10.1016\/S0169-023X(97)00032-3_BIB5","article-title":"An environment to support problem solving","author":"Bots","year":"1989"},{"issue":"3","key":"10.1016\/S0169-023X(97)00032-3_BIB6","doi-asserted-by":"crossref","first-page":"23","DOI":"10.1145\/163090.163095","article-title":"Merging application-centric and data-centric approaches to support transaction-oriented multi-system workflows","volume":"22","author":"Breibart","year":"1993","journal-title":"SIGMOD Record"},{"key":"10.1016\/S0169-023X(97)00032-3_BIB7","series-title":"Proc. of the OOER'95, 14th Int. Object-Oreinted and Entity-Relationship Modelling Conf.","first-page":"341","article-title":"Conceptual modeling of workflows","volume":"Vol. 1021","author":"Casati","year":"1995"},{"key":"10.1016\/S0169-023X(97)00032-3_BIB8","series-title":"Proc. of the 1990 ACM SIGMOD Conf. on the Management of Data","first-page":"204","article-title":"Organizing long-running activities with triggers and transactions","author":"Dayal","year":"1990"},{"key":"10.1016\/S0169-023X(97)00032-3_BIB9","series-title":"Proc. of the 16th Int. Conf. VLDB","first-page":"507","article-title":"A multidatabase transaction model for interbase","author":"Elmagarmid","year":"1990"},{"issue":"2","key":"10.1016\/S0169-023X(97)00032-3_BIB10","doi-asserted-by":"crossref","first-page":"187","DOI":"10.1007\/BF01277645","article-title":"General-purpose workflow languages","volume":"3","author":"Forst","year":"1995","journal-title":"Distributed and Parallel Databases"},{"key":"10.1016\/S0169-023X(97)00032-3_BIB11","series-title":"Computers and Intractability: A Guide to NP-Completeness","author":"Garey","year":"1979"},{"issue":"2","key":"10.1016\/S0169-023X(97)00032-3_BIB12","doi-asserted-by":"crossref","first-page":"119","DOI":"10.1007\/BF01277643","article-title":"An overview of workflow management: From process modelling to workflow automation infrastructure","volume":"3","author":"Georgakopoulos","year":"1995","journal-title":"Distributed and Parallel Databases"},{"key":"10.1016\/S0169-023X(97)00032-3_BIB13","series-title":"Proc. of the Second Int. Conf. on Systems Integration","first-page":"680","article-title":"Narada: An environment for specification and execution of multi-system applications","author":"Halabi","year":"1992"},{"issue":"1","key":"10.1016\/S0169-023X(97)00032-3_BIB14","doi-asserted-by":"crossref","first-page":"14","DOI":"10.1049\/sej.1993.0003","article-title":"Task structure semantics through process algebra","volume":"8","author":"ter Hofstede","year":"1993","journal-title":"Software Engineering Journal"},{"issue":"1","key":"10.1016\/S0169-023X(97)00032-3_BIB15","doi-asserted-by":"crossref","first-page":"41","DOI":"10.1046\/j.1365-2575.1996.00103.x","article-title":"Meta-CASE: is the game worth the candle?","volume":"6","author":"ter Hofstede","year":"1996","journal-title":"Information Systems Journal"},{"key":"10.1016\/S0169-023X(97)00032-3_BIB16","doi-asserted-by":"crossref","first-page":"277","DOI":"10.1016\/0304-3975(77)90014-7","article-title":"Complexity of some problems in Petri nets","volume":"4","author":"Jones","year":"1977","journal-title":"Theoretical Computer Science"},{"key":"10.1016\/S0169-023X(97)00032-3_BIB17","article-title":"Modeling correctness and systems issues in supporting advanced database applications using workflow management systems","author":"Kamath","year":"1995"},{"issue":"2","key":"10.1016\/S0169-023X(97)00032-3_BIB18","doi-asserted-by":"crossref","first-page":"155","DOI":"10.1007\/BF01277644","article-title":"Managing Heterogenoous multi-system tasks to support enterprise-wide operations","volume":"3","author":"Krishnakumar","year":"1995","journal-title":"Distributed and Parallel Databases"},{"key":"10.1016\/S0169-023X(97)00032-3_BIB19","series-title":"Basic Set Theory","author":"Levy","year":"1979"},{"key":"10.1016\/S0169-023X(97)00032-3_BIB20","series-title":"Computer Science: A Mathematical Introduction","author":"Lew","year":"1985"},{"issue":"1","key":"10.1016\/S0169-023X(97)00032-3_BIB21","doi-asserted-by":"crossref","first-page":"16","DOI":"10.4018\/jdm.1996010102","article-title":"CORBA-based run-time architectures for workflow management systems","volume":"7","author":"Miller","year":"1996","journal-title":"Journal of Database Management"},{"key":"10.1016\/S0169-023X(97)00032-3_BIB22","series-title":"Specification and Transformation of Programs-A Formal Approach to Software Development","author":"Partsch","year":"1990"},{"key":"10.1016\/S0169-023X(97)00032-3_BIB23","series-title":"Petri Net Theory and the Modelling of Systems","author":"Peterson","year":"1981"},{"key":"10.1016\/S0169-023X(97)00032-3_BIB24","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-69968-9","article-title":"Petri nets: An introduction","author":"Reisig","year":"1985"},{"issue":"3\u20134","key":"10.1016\/S0169-023X(97)00032-3_BIB25","doi-asserted-by":"crossref","first-page":"579","DOI":"10.1142\/S0218215792000155","article-title":"Towards a model for multidatabase transactions","volume":"1","author":"Rusinkiewicz","year":"1992","journal-title":"Int. Journal of Intelligent and Cooperative Information Systems"},{"key":"10.1016\/S0169-023X(97)00032-3_BIB26","series-title":"Modern Database Systems: The Object Model, Interoperability and Beyond","article-title":"Specification and execution of transactional workflows","author":"Rusinkiewicz","year":"1994"},{"key":"10.1016\/S0169-023X(97)00032-3_BIB27","article-title":"Formal languages","author":"Salomaa","year":"1973"},{"key":"10.1016\/S0169-023X(97)00032-3_BIB28","series-title":"Proc. of the Second Nordic Conf. CAiSE'90 on Advanced Information systems Engineering","first-page":"88","article-title":"Automated support of the modelling process: A view, based on experiments with expert information engineers","volume":"Vol. 436","author":"Wijers","year":"1990"},{"key":"10.1016\/S0169-023X(97)00032-3_BIB29","series-title":"Next Generation CASE Tools","first-page":"167","article-title":"Representation of information modelling knowledge","volume":"Vol. 3","author":"Wijers","year":"1992"}],"container-title":["Data & Knowledge Engineering"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0169023X97000323?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0169023X97000323?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,4,27]],"date-time":"2019-04-27T20:30:01Z","timestamp":1556397001000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0169023X97000323"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998,1]]},"references-count":29,"journal-issue":{"issue":"3","published-print":{"date-parts":[[1998,1]]}},"alternative-id":["S0169023X97000323"],"URL":"https:\/\/doi.org\/10.1016\/s0169-023x(97)00032-3","relation":{},"ISSN":["0169-023X"],"issn-type":[{"value":"0169-023X","type":"print"}],"subject":[],"published":{"date-parts":[[1998,1]]}}}