{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,10]],"date-time":"2025-02-10T00:40:02Z","timestamp":1739148002031,"version":"3.37.0"},"publisher-location":"Berlin, Heidelberg","reference-count":23,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642003271"},{"type":"electronic","value":"9783642003288"}],"license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009]]},"DOI":"10.1007\/978-3-642-00328-8_55","type":"book-chapter","created":{"date-parts":[[2009,6,6]],"date-time":"2009-06-06T09:17:14Z","timestamp":1244279834000},"page":"542-553","source":"Crossref","is-referenced-by-count":0,"title":["Ontology-Based Behavioural Reasoning for Business Processes"],"prefix":"10.1007","author":[{"given":"Barry","family":"Norton","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"55_CR1","doi-asserted-by":"crossref","unstructured":"Berners-Lee, T., Hendler, J., Lassila, O.: The semantic web. Scientific American\u00a0284 (2001)","DOI":"10.1038\/scientificamerican0501-34"},{"key":"55_CR2","unstructured":"Martin, D., et al.: OWL-S: Semantic markup for web services (2004), http:\/\/www.daml.org\/services\/owl-s\/1.1\/overview\/"},{"key":"55_CR3","unstructured":"W3C: OWL web ontology language overview (2004), http:\/\/www.w3.org\/TR\/2004\/REC-owl-features-20040210\/"},{"key":"55_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"318","DOI":"10.1007\/3-540-48005-6_25","volume-title":"The Semantic Web - ISWC 2002","author":"A. Ankolekar","year":"2002","unstructured":"Ankolekar, A., Huch, F., Sycara, K.: Concurrent execution semantics for DAML-S with subtypes. In: Horrocks, I., Hendler, J. (eds.) ISWC 2002. LNCS, vol.\u00a02342, p. 318. Springer, Heidelberg (2002)"},{"key":"55_CR5","doi-asserted-by":"crossref","unstructured":"Narayanan, S., McIlraith, S.: Simulation, verification and automated composition of web services. In: Proc. 11th Intl. Conf. on World Wide Web (WWW 2002) (2002)","DOI":"10.1145\/511446.511457"},{"key":"55_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"303","DOI":"10.1007\/11549970_22","volume-title":"Formal Techniques for Computer Systems and Business Processes","author":"B. Norton","year":"2005","unstructured":"Norton, B., Foster, S., Hughes, A.: A compositional semantics for OWL-S. In: Bravetti, M., Kloul, L., Zavattaro, G. (eds.) EPEW\/WS-EM 2005. LNCS, vol.\u00a03670, pp. 303\u2013317. Springer, Heidelberg (2005)"},{"key":"55_CR7","unstructured":"Foster, S., Hughes, A., Norton, B.: Composition and semantic enhancement of web services: The CASheW-S project. In: Proc. 1st Young Researchers\u2019 Workshop on Service-Oriented Computing (YR-SOC 2005) (2005)"},{"key":"55_CR8","doi-asserted-by":"crossref","first-page":"77","DOI":"10.3233\/APO-2005-000008","volume":"1","author":"D. Roman","year":"2005","unstructured":"Roman, D., Keller, U., Lausen, H., de Bruijn, J., Lara, R., Stollberg, M., Polleres, A., Feier, C., Bussler, C., Fensel, D.: Web Service Modeling Ontology. Applied Ontology\u00a01, 77\u2013106 (2005)","journal-title":"Applied Ontology"},{"key":"55_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"659","DOI":"10.1007\/978-3-540-68234-9_48","volume-title":"The Semantic Web: Research and Applications","author":"D. Roman","year":"2008","unstructured":"Roman, D., Kifer, M., Fensel, D.: WSMO choreography: From abstract state machines to concurrent transaction logic. In: Bechhofer, S., Hauswirth, M., Hoffmann, J., Koubarakis, M. (eds.) ESWC 2008. LNCS, vol.\u00a05021, pp. 659\u2013673. Springer, Heidelberg (2008)"},{"key":"55_CR10","unstructured":"Norton, B., Pedrinaci, C., Henocque, L., Kleiner, M.: 3-level behavioural models for semantic web services. Multi-agent and Grid Systems (to appear) (2008)"},{"key":"55_CR11","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, 5\u201351 (2003)","journal-title":"Distributed and Parallel Databases"},{"key":"55_CR12","first-page":"636","volume":"41","author":"W.M.P. Aalst van der","year":"1999","unstructured":"van der Aalst, W.M.P.: Formalization and verification of event-driven process chains. Information & Software Technology\u00a041, 636\u2013650 (1999)","journal-title":"Information & Software Technology"},{"key":"55_CR13","unstructured":"Object Management Group: Business process modelling notation (BPMN) specification. Technical report, Object Management Group (2006), http:\/\/www.omg.org\/docs\/dtc\/06-02-01.pdf"},{"key":"55_CR14","doi-asserted-by":"crossref","unstructured":"Nitzsche, J., van Lessen, T., Karastoyanova, D., Leymann, F.: BPEL for Semantic Web Services. In: Proceedings of the 3rd International Workshop on Agents and Web Services in Distributed Environments (AWeSOMe 2007) (2007)","DOI":"10.1007\/978-3-540-76888-3_37"},{"key":"55_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"461","DOI":"10.1007\/978-3-540-45187-7_30","volume-title":"CONCUR 2003 - Concurrency Theory","author":"B. Norton","year":"2003","unstructured":"Norton, B., L\u00fcttgen, G., Mendler, M.: A compositional semantic theory for synchronous component-based design. In: Amadio, R., Lugiez, D. (eds.) CONCUR 2003. LNCS, vol.\u00a02761, pp. 461\u2013476. Springer, Heidelberg (2003)"},{"key":"55_CR16","volume-title":"Communication and Concurrency","author":"A.J.R.G. Milner","year":"1989","unstructured":"Milner, A.J.R.G.: Communication and Concurrency. Prentice-Hall, Englewood Cliffs (1989)"},{"key":"55_CR17","doi-asserted-by":"publisher","first-page":"221","DOI":"10.1006\/inco.1995.1041","volume":"117","author":"M. Hennessy","year":"1995","unstructured":"Hennessy, M., Regan, T.: A process algebra for timed systems. Information and Computation\u00a0117, 221\u2013239 (1995)","journal-title":"Information and Computation"},{"key":"55_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"58","DOI":"10.1007\/3-540-57880-3_4","volume-title":"Programming Languages and Systems - ESOP \u201994","author":"H.R. Anderson","year":"1994","unstructured":"Anderson, H.R., Mendler, M.: An asynchronous process algebra with multiple clocks. In: Sannella, D. (ed.) ESOP 1994. LNCS, vol.\u00a0788, pp. 58\u201373. Springer, Heidelberg (1994)"},{"key":"55_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"166","DOI":"10.1007\/3-540-63141-0_12","volume-title":"CONCUR\u201997: Concurrency Theory","author":"R. Cleaveland","year":"1997","unstructured":"Cleaveland, R., L\u00fcttgen, G., Mendler, M.: An algebraic theory of multiple clocks. In: Mazurkiewicz, A., Winkowski, J. (eds.) CONCUR 1997. LNCS, vol.\u00a01243, pp. 166\u2013180. Springer, Heidelberg (1997)"},{"key":"55_CR20","unstructured":"Plotkin, G.D.: A structural approach to operational semantics. Technical Report DAIMI-FN-19, Computer Science Department, \u00c5rhus University, Denmark (1981)"},{"key":"55_CR21","doi-asserted-by":"publisher","first-page":"403","DOI":"10.1016\/0304-3975(91)90231-P","volume":"82","author":"E. Badouel","year":"1991","unstructured":"Badouel, E., Darondeau, P.: On guarded recursion. Theoretical Computer Science\u00a082, 403\u2013408 (1991)","journal-title":"Theoretical Computer Science"},{"key":"55_CR22","doi-asserted-by":"publisher","first-page":"227","DOI":"10.1016\/0890-5401(89)90070-9","volume":"81","author":"A.J.R.G. Milner","year":"1989","unstructured":"Milner, A.J.R.G.: A complete axiomatisation for observational congruence of finite-state behaviours. Information and Computation\u00a081, 227\u2013247 (1989)","journal-title":"Information and Computation"},{"key":"55_CR23","unstructured":"Norton, B., Haller, A., Drumm, C., Roman, D.: D1.7: Behavioural Reasoning Ontology. Project deliverable, EU IST Project SUPER (2007), http:\/\/www.ip-super.org\/res\/Deliverables\/M18\/D1.7.pdf ."}],"container-title":["Lecture Notes in Business Information Processing","Business Process Management Workshops"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-00328-8_55","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,10]],"date-time":"2025-02-10T00:05:36Z","timestamp":1739145936000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-00328-8_55"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642003271","9783642003288"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-00328-8_55","relation":{},"ISSN":["1865-1348","1865-1356"],"issn-type":[{"type":"print","value":"1865-1348"},{"type":"electronic","value":"1865-1356"}],"subject":[],"published":{"date-parts":[[2009]]}}}