Abstract
One notable distinction between the W3C approach to web services, and the ontology-based approach called semantic web services, is the inclusion of behavioural models in the relevant standards. Indeed the de facto standard for the orchestration of plain web services, BPEL — increasingly applied also to choreography — was developed and standardised independently. At the same time the formal behavioural semantics given to semantic web services are expressed extra-ontologically and not amenable to the machine-based reasoning that the approach is intended to provide. With the advent of semantic business process management, introduced by the SUPER project, the same ontology-based approach is being applied to business process models but the same criticism applies, thus far, to behavioural models. This paper presents work on the Behavioural Reasoning Ontology and the ontology-based translation from SUPER’s Business Process Modelling Ontology, which aims to remedy this situation.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Berners-Lee, T., Hendler, J., Lassila, O.: The semantic web. Scientific American 284 (2001)
Martin, D., et al.: OWL-S: Semantic markup for web services (2004), http://www.daml.org/services/owl-s/1.1/overview/
W3C: OWL web ontology language overview (2004), http://www.w3.org/TR/2004/REC-owl-features-20040210/
Ankolekar, A., Huch, F., Sycara, K.: Concurrent execution semantics for DAML-S with subtypes. In: Horrocks, I., Hendler, J. (eds.) ISWC 2002. LNCS, vol. 2342, p. 318. Springer, Heidelberg (2002)
Narayanan, S., McIlraith, S.: Simulation, verification and automated composition of web services. In: Proc. 11th Intl. Conf. on World Wide Web (WWW 2002) (2002)
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. 3670, pp. 303–317. Springer, Heidelberg (2005)
Foster, S., Hughes, A., Norton, B.: Composition and semantic enhancement of web services: The CASheW-S project. In: Proc. 1st Young Researchers’ Workshop on Service-Oriented Computing (YR-SOC 2005) (2005)
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 1, 77–106 (2005)
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. 5021, pp. 659–673. Springer, Heidelberg (2008)
Norton, B., Pedrinaci, C., Henocque, L., Kleiner, M.: 3-level behavioural models for semantic web services. Multi-agent and Grid Systems (to appear) (2008)
van der Aalst, W.M.P., ter Hofstede, A.H.M., Kiepuszewski, B., Barros, A.P.: Workflow patterns. Distributed and Parallel Databases 14, 5–51 (2003)
van der Aalst, W.M.P.: Formalization and verification of event-driven process chains. Information & Software Technology 41, 636–650 (1999)
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
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)
Norton, B., Lüttgen, G., Mendler, M.: A compositional semantic theory for synchronous component-based design. In: Amadio, R., Lugiez, D. (eds.) CONCUR 2003. LNCS, vol. 2761, pp. 461–476. Springer, Heidelberg (2003)
Milner, A.J.R.G.: Communication and Concurrency. Prentice-Hall, Englewood Cliffs (1989)
Hennessy, M., Regan, T.: A process algebra for timed systems. Information and Computation 117, 221–239 (1995)
Anderson, H.R., Mendler, M.: An asynchronous process algebra with multiple clocks. In: Sannella, D. (ed.) ESOP 1994. LNCS, vol. 788, pp. 58–73. Springer, Heidelberg (1994)
Cleaveland, R., Lüttgen, G., Mendler, M.: An algebraic theory of multiple clocks. In: Mazurkiewicz, A., Winkowski, J. (eds.) CONCUR 1997. LNCS, vol. 1243, pp. 166–180. Springer, Heidelberg (1997)
Plotkin, G.D.: A structural approach to operational semantics. Technical Report DAIMI-FN-19, Computer Science Department, Århus University, Denmark (1981)
Badouel, E., Darondeau, P.: On guarded recursion. Theoretical Computer Science 82, 403–408 (1991)
Milner, A.J.R.G.: A complete axiomatisation for observational congruence of finite-state behaviours. Information and Computation 81, 227–247 (1989)
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 .
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2009 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Norton, B. (2009). Ontology-Based Behavioural Reasoning for Business Processes. In: Ardagna, D., Mecella, M., Yang, J. (eds) Business Process Management Workshops. BPM 2008. Lecture Notes in Business Information Processing, vol 17. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-00328-8_55
Download citation
DOI: https://doi.org/10.1007/978-3-642-00328-8_55
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-00327-1
Online ISBN: 978-3-642-00328-8
eBook Packages: Computer ScienceComputer Science (R0)