Abstract
This paper outlines a framework that extends the Unified Problem-solving Method description Language in order to enhance workflows modelling with knowledge. The framework defines the knowledge components needed to represent and reuse both the static and dynamic knowledge used to describe a business process. For this purpose, workflows are represented by means of an ontology based on High-level Petri Nets. This ontology provides the structure and axioms needed to validate and reason about the graph structure, the state and the execution of the workflow. The framework architecture is based Workflow Reference Model architecture defined by the Workflow Management Coalition and is built around the knowledge components that defines the structure and execution semantics of workflows.
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
van der Aalst, W.M.P.: The application of Petri Nets to workflow management. The Journal of Circuits, Systems and Computers 8(1), 21–66 (1998)
Jensen, K.: Coloured Petri Nets. Basic concepts, analysis methods and practical use. EATCS monographs on Theoretical Computer Science. Springer, Berlin (1992)
Milner, R.: Communicating and mobile systems: The Pi-Calculus. Cambridge University Press, Cambridge (1999)
van der Aalst, W.M.P.: Three good reasons for using a Petri Net-based workflow management system. In: Proceedings of the International Working Conference on Information and Process Integration in Enterprises (IPIC 1996), Cambridge, Massachusetts, pp. 179–201 (1996)
Fensel, D., Motta, E., Benjamins, V.R., et al.: The Unified Problem-solving Method Development Language UPML. Knowledge and Information Systems 5(1) (2002)
Workflow Management Coalition: The workflow reference model (1999)
Biron, P.V., Malhotra, A.: XML Schema Part 2: Datatypes (2001)
Kiefer, M., Lausen, G., Wu, J.: Logical foundations of object-oriented and frame-based languages. Journal of ACM (1995)
Billington, J., et al.: High-Level Petri Nets - Concepts, definitions and graphical notation. Final Draft International Standard ISO/IEC 15909 (2002)
Gomes, L., Barros, J.P.: Structuring and composability issues in Petri Nets modeling. IEEE Transactions on Industrial Informatics 1(2), 112–123 (2005)
van der Aalst, W.M.P., ter Hofstede, A.H.M.: YAWL: Yet Another Workflow Language. QUT Technical report FIT-TR-2002-06, Queensland University of Technology (2002)
Boothroyd, G., Dewhurst, P., Knight, K.A.: Product design for manufacture and assembly. Marcel Dekker Inc., New York (1994)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2006 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Vidal, J.C., Lama, M., Bugarín, A. (2006). A Workflow Modeling Framework Enhanced with Problem-Solving Knowledge. In: Gabrys, B., Howlett, R.J., Jain, L.C. (eds) Knowledge-Based Intelligent Information and Engineering Systems. KES 2006. Lecture Notes in Computer Science(), vol 4253. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11893011_79
Download citation
DOI: https://doi.org/10.1007/11893011_79
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-46542-3
Online ISBN: 978-3-540-46544-7
eBook Packages: Computer ScienceComputer Science (R0)