{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T21:57:47Z","timestamp":1725487067430},"publisher-location":"Berlin, Heidelberg","reference-count":29,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540727934"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-72794-1_4","type":"book-chapter","created":{"date-parts":[[2007,6,25]],"date-time":"2007-06-25T11:13:58Z","timestamp":1182770038000},"page":"56-75","source":"Crossref","is-referenced-by-count":3,"title":["A Prolog-Based Language for Workflow Programming"],"prefix":"10.1007","author":[{"given":"Steve","family":"Gregory","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Martha","family":"Paschali","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"1","key":"4_CR1","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1023\/A:1022883727209","volume":"14","author":"W.M.P. Aalst van der","year":"2003","unstructured":"van der Aalst, W.M.P., ter Hofstede, A.H.M., Kiepuszewski, B., Barros, A.P.: Workflow Patterns. Distributed and Parallel Databases\u00a014(1), 5\u201351 (2003)","journal-title":"Distributed and Parallel Databases"},{"issue":"4","key":"4_CR2","doi-asserted-by":"publisher","first-page":"245","DOI":"10.1016\/j.is.2004.02.002","volume":"30","author":"W.M.P. Aalst van der","year":"2005","unstructured":"van der Aalst, W.M.P., ter Hofstede, A.H.M.: YAWL:\u00a0yet another workflow language. Information Systems\u00a030(4), 245\u2013275 (2005)","journal-title":"Information Systems"},{"issue":"3-4","key":"4_CR3","doi-asserted-by":"publisher","first-page":"293","DOI":"10.1023\/B:ITEM.0000031583.16306.0f","volume":"5","author":"H.H. Bi","year":"2004","unstructured":"Bi, H.H., Zhao, J.L.: Applying propositional logic to workflow verification. Information Technology and Management\u00a05(3-4), 293\u2013318 (2004)","journal-title":"Information Technology and Management"},{"key":"4_CR4","first-page":"744","volume-title":"Proc. 31st Annual Hawaii Int. Conf. on System Sciences","author":"D. Chan","year":"1998","unstructured":"Chan, D., Leung, K.: Valmont: a language for workflow programming. In: Proc. 31st Annual Hawaii Int. Conf. on System Sciences, pp. 744\u2013753. IEEE Computer Society Press, Los Alamitos (1998)"},{"key":"4_CR5","doi-asserted-by":"publisher","first-page":"171","DOI":"10.1145\/800223.806776","volume-title":"Proc. Conf. on Functional Programming Languages and Computer Architecture","author":"K.L. Clark","year":"1981","unstructured":"Clark, K.L., Gregory, S.: A relational language for parallel programming. In: Proc. Conf. on Functional Programming Languages and Computer Architecture, pp. 171\u2013178. ACM Press, New York (1981)"},{"issue":"1","key":"4_CR6","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/5001.5390","volume":"8","author":"K.L. Clark","year":"1986","unstructured":"Clark, K.L., Gregory, S.: Parallel programming in logic. ACM Trans. on Programming Languages and Systems\u00a08(1), 1\u201349 (1986)","journal-title":"ACM Trans. on Programming Languages and Systems"},{"key":"4_CR7","volume-title":"Programming in Parlog","author":"T. Conlon","year":"1989","unstructured":"Conlon, T.: Programming in Parlog. Addison-Wesley, Reading (1989)"},{"key":"4_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"82","DOI":"10.1007\/11767954_6","volume-title":"Coordination Models and Languages","author":"W. Cook","year":"2006","unstructured":"Cook, W., Patwardhan, S., Misra, J.: Workflow patterns in Orc. In: Ciancarini, P., Wiklicky, H. (eds.) COORDINATION 2006. LNCS, vol.\u00a04038, pp. 82\u201396. Springer, Heidelberg (2006)"},{"key":"4_CR9","doi-asserted-by":"crossref","unstructured":"Davulcu, H., Kifer, M., Ramakrishnan, C., Ramakrishnan, I.: Logic based modeling and analysis of workflows. In: Symp. on Principles of Database Systems, pp. 25\u201333 (1998)","DOI":"10.1145\/275487.275491"},{"issue":"8","key":"4_CR10","doi-asserted-by":"publisher","first-page":"453","DOI":"10.1145\/360933.360975","volume":"18","author":"E.W. Dijkstra","year":"1975","unstructured":"Dijkstra, E.W.: Guarded commands, nondeterminacy and formal derivation of programs. In Communications of the ACM\u00a018(8), 453\u2013457 (1975)","journal-title":"In Communications of the ACM"},{"key":"4_CR11","first-page":"508","volume-title":"Proc. 9th Int. Conf. on Computer Supported Cooperative Work in Design","author":"Y. Duan","year":"2005","unstructured":"Duan, Y., Ma, H.: Modeling flexible workflow based on temporal logic. In: Proc. 9th Int. Conf. on Computer Supported Cooperative Work in Design, vol.\u00a01, pp. 508\u2013513. IEEE Computer Society Press, Los Alamitos (2005)"},{"key":"4_CR12","first-page":"189","volume-title":"Logic Programming","author":"M.H. Emden van","year":"1982","unstructured":"van Emden, M.H., de Lucena Filho, G.J.: Predicate logic as a language for parallel programming. In: Clark, T\u00e4rnlund (eds.) Logic Programming, pp. 189\u2013198. Academic Press, London (1982)"},{"issue":"2","key":"4_CR13","doi-asserted-by":"publisher","first-page":"187","DOI":"10.1007\/BF01277645","volume":"3","author":"A. Forst","year":"1995","unstructured":"Forst, A., K\u00fchn, E., Bukhres, O.: General purpose work flow languages. Distributed and Parallel Databases\u00a03(2), 187\u2013218 (1995)","journal-title":"Distributed and Parallel Databases"},{"issue":"4","key":"4_CR14","doi-asserted-by":"publisher","first-page":"501","DOI":"10.1145\/4472.4478","volume":"7","author":"R. Halstead","year":"1985","unstructured":"Halstead, R.: MULTILISP: a language for concurrent symbolic computation. ACM Trans. on Programming Languages and Systems\u00a07(4), 501\u2013538 (1985)","journal-title":"ACM Trans. on Programming Languages and Systems"},{"key":"4_CR15","first-page":"631","volume-title":"Proc. 1995 Int. Conf. on Logic Programming","author":"M. Hermenegildo","year":"1995","unstructured":"Hermenegildo, M., Cabeza, D., Carro, M.: Using attributed variables in the implementation of concurrent and parallel logic programming systems. In: Proc. 1995 Int. Conf. on Logic Programming, pp. 631\u2013645. MIT Press, Cambridge (1995)"},{"issue":"8","key":"4_CR16","doi-asserted-by":"publisher","first-page":"666","DOI":"10.1145\/359576.359585","volume":"21","author":"C.A.R. Hoare","year":"1978","unstructured":"Hoare, C.A.R.: Communicating sequential processes. In Communications of the ACM\u00a021(8), 666\u2013677 (1978)","journal-title":"In Communications of the ACM"},{"key":"4_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"260","DOI":"10.1007\/3-540-55844-6_141","volume-title":"Programming Language Implementation and Logic Programming","author":"C. Holzbaur","year":"1992","unstructured":"Holzbaur, C.: Metastructures vs. attributed variables in the context of extensible unification. In: Bruynooghe, M., Wirsing, M. (eds.) PLILP 1992. LNCS, vol.\u00a0631, pp. 260\u2013268. Springer, Heidelberg (1992)"},{"issue":"3","key":"4_CR18","doi-asserted-by":"publisher","first-page":"267","DOI":"10.1016\/S0166-3615(02)00099-4","volume":"49","author":"D. Liu","year":"2002","unstructured":"Liu, D., Wang, J., Chan, S., Sun, J., Zhang, L.: Modeling workflow processes with colored Petri nets. In Computers in Industry\u00a049(3), 267\u2013281 (2002)","journal-title":"In Computers in Industry"},{"key":"4_CR19","first-page":"327","volume-title":"Proc. 8th Int. Conf. on Computer Supported Cooperative Work in Design","author":"H. Ma","year":"2004","unstructured":"Ma, H.: A workflow model based on temporal logic. In: Proc. 8th Int. Conf. on Computer Supported Cooperative Work in Design, vol.\u00a02, pp. 327\u2013332. IEEE Computer Society Press, Los Alamitos (2004)"},{"key":"4_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"228","DOI":"10.1007\/11767954_15","volume-title":"Coordination Models and Languages","author":"A. Omicini","year":"2006","unstructured":"Omicini, A., Ricci, A., Zaghini, N.: Distributed workflow upon linkable coordination artifacts. In: Ciancarini, P., Wiklicky, H. (eds.) COORDINATION 2006. LNCS, vol.\u00a04038, pp. 228\u2013246. Springer, Heidelberg (2006)"},{"key":"4_CR21","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"crossref","first-page":"148","DOI":"10.1007\/11493402_9","volume-title":"Declarative Agent Languages and Technologies II","author":"L. Pokorny","year":"2005","unstructured":"Pokorny, L., Ramakrishnan, C.: Modeling and Verification of Distributed Autonomous Agents Using Logic Programming. In: Leite, J.A., Omicini, A., Torroni, P., Yolum, p. (eds.) DALT 2004. LNCS (LNAI), vol.\u00a03476, pp. 148\u2013165. Springer, Heidelberg (2005)"},{"key":"4_CR22","doi-asserted-by":"crossref","unstructured":"Senkul, P., Kifer, M., Toroslu, I.: A logic framework for scheduling workflows under resource allocation constraints. In: Proc. 28th VLDB Conf., pp. 694\u2013702 (2002)","DOI":"10.1016\/B978-155860869-6\/50067-6"},{"issue":"3","key":"4_CR23","doi-asserted-by":"publisher","first-page":"413","DOI":"10.1145\/72551.72555","volume":"21","author":"E.Y. Shapiro","year":"1989","unstructured":"Shapiro, E.Y.: The family of concurrent logic programming languages. In ACM Computing Surveys\u00a021(3), 413\u2013510 (1989)","journal-title":"In ACM Computing Surveys"},{"key":"4_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","DOI":"10.1007\/b136996","volume-title":"Advanced Information Systems Engineering","author":"C. Stefansen","year":"2005","unstructured":"Stefansen, C.: SMAWL: a small workflow language based on CCS. In: Pastor, \u00d3., Falc\u00e3o e Cunha, J. (eds.) CAiSE 2005. LNCS, vol.\u00a03520, Springer, Heidelberg (2005)"},{"key":"4_CR25","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"242","DOI":"10.1007\/3-540-16492-8_79","volume-title":"3rd International Conference on Logic Programming","author":"A. Takeuchi","year":"1986","unstructured":"Takeuchi, A., Furukawa, K.: Parallel logic programming languages. In: Shapiro, E. (ed.) 3rd International Conference on Logic Programming. LNCS, vol.\u00a0225, pp. 242\u2013254. Springer, Heidelberg (1986)"},{"key":"4_CR26","doi-asserted-by":"publisher","first-page":"169","DOI":"10.1109\/CEC-EAST.2004.72","volume-title":"IEEE Int. Conf. on E-Commerce Technology for Dynamic E-Business","author":"Y. Wang","year":"2004","unstructured":"Wang, Y., Fan, Y.: Using temporal logics for modeling and analysis of workflows. In: IEEE Int. Conf. on E-Commerce Technology for Dynamic E-Business, pp. 169\u2013174. IEEE Computer Society Press, Los Alamitos (2004)"},{"key":"4_CR27","unstructured":"Workflow Management Coalition. WFMC specification: the workflow reference model. Document no. WFMC-TC-1003 (1995)"},{"key":"4_CR28","unstructured":"Workflow Management Coalition. WFMC specification: terminology and glossary. Document no. WFMC-TC-1011 (1999)"},{"key":"4_CR29","unstructured":"Workflow Patterns Home Page. http:\/\/www.workflowpatterns.com\/"}],"container-title":["Lecture Notes in Computer Science","Coordination Models and Languages"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-72794-1_4.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,19]],"date-time":"2020-11-19T05:05:32Z","timestamp":1605762332000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-72794-1_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540727934"],"references-count":29,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-72794-1_4","relation":{},"subject":[]}}