Assigning ontological meaning to workflow nets

Journal of Database Management

Volumn 21, Issue 3, 2010, Pages 1-35

  Soffer, Pnina ^a   Kaner, Maya ^b   Wand, Yair ^c  

^a UNIVERSITY OF HAIFA   (Israel)

^b ORT BRAUDE COLLEGE   (Israel)

^c UNIVERSITY OF BRITISH COLUMBIA   (Canada)

Author keywords

Business process models; Business processes; Ontological semantics; Rules; Workflow net (WF net)

Indexed keywords

BUSINESS PROCESS; BUSINESS PROCESS MODEL; ONTOLOGICAL SEMANTICS; RULES; WORKFLOW-NET (WF-NET);

MANAGEMENT; PETRI NETS; SEMANTICS;

ONTOLOGY;

EID: 77956293505     PISSN: 10638016     EISSN: 15338010     Source Type: Journal    
DOI: 10.4018/jdm.2010070101     Document Type: Article

References (49)

1. Bause, F., &Kritzinger, P. S. (1996). Stochastic Petri Nets, An introduction to the Theory. Berlin: Verlag-Vieweg.
2. Bera, P., Krasnoperova, A., &Wand, Y. (2010). Using Ontology Languages for Conceptual Modeling. Journal of Database Management, 21(1), 1-28.
3. Bunge, M. (1977). Treatise on Basic Philosophy: Vol. 3. Ontology I: The Furniture of the World. Boston: Reidel.
4. Bunge, M. (1979). Treatise on Basic Philosophy: Vol. 4. Ontology II: A World of Systems. Boston: Reidel.
5. Cardoso, J. (2005). Control-flow complexity measurement of processes and Weyuker's Properties . In Transactions on Informatika, Systems Sciences and Engineering, Budapest 2005 (Vol. 8, pp. 213-218). Berlin: Springer Verlag.
6. Chaudron, M., van Hee, K., &Somers, L. (2003). Use cases as workflows. In W. M. P. van der Aalst et al. (Eds.): Business Process Modeling 2003 (LNCS 2678, pp. 88-103).
7. Chrastowski-Wachtel, P., Benatallah, B., Hamadi, R., O'Dell, M., &Susanto, A. (2003). A top-down Petri net-based approach for dynamic workflow modeling. In W. M. P. van der Aalst et al. (Eds.), Business Process Modeling 2003 (LNCS 2678, pp. 336-353).
8. Desel, J., &Esparza, J. (1995). Free Choice Petri Nets . In Cambridge Tracts in Theoretical Computer Science (Vol. 40). Cambridge, UK: Cambridge University Press.
9. Dufourd, C., Finkel, A., &Schnoebelen, P. (1998). Reset nets between decidability and undecidability. In K. Larsen, S. Skyum, &G. Winskel (Eds.), Proceedings of the 25th International Colloquium on Automata, Languages and Programming (LNCS 1443, pp. 103-115).
10. Dussart, A., Aubert, B. A., &Patry, M. (2004). An evaluation of inter-organizational workflow modeling formalisms. Journal of Database Management, 15(2), 74-104.
11. Esparza, J., &Silva, M. (1990). Circuits, Handles, Bridges and Nets. In G. Rozenberg (Ed.), Advances in Petri Nets 1990 (LNCS 483, pp. 210-242).
12. Evermann, J., &Wand, Y. (2005). Ontology Based Object-Oriented Domain Modelling: Fundamental Concepts. Requirements Engineering Journal, 10(2), 146-160. doi:10.1007/s00766-004-0208-2 (Pubitemid 40761112)
13. Evermann, J., &Wand, Y. (2009). Ontology based object-oriented domain modeling: Representing behavior. Journal of Database Management, 20(1), 48-77.
14. Green, P., &Rosemann, M. (2004). Applying ontologies to business and systems modelling techniques and perspectives: Lessons learned. Journal of Database Management, 15(2), 105-117.
15. Guizzardi, G., Ferreira, P. L., &van Sinderen, M. (2005). An ontology-based approach for evaluating the domain appropriateness and comprehensibility appropriateness of modeling languages. In ACM/ IEEE 8th International Conference on Model Driven Engineering Languages and Systems, Montego Bay, Jamaica (LNCS 3713).
16. Jensen, K. (1990). Coloured Petri Nets: A High Level Language for System Design and Analysis. In G. Rozenberg (Ed.), Advances in Petri Nets 1990 (LNCS 483, pp. 342-416).
17. Jensen, K. (1997). Coloured Petri Nets. Basic Concepts, Analysis Methods and Practical Use (Vol. 1). Berlin: Springer-Verlag.
18. Jianchun, S., &Dongqing, Y. (2009). Process mining: Algorithm for S-Coverable workflow nets. In WKDD 2009: Proceedings of the Second International Workshop on Knowledge Discovery and Data Mining (pp. 239-244). Washington, DC: IEEE Computer Society.
19. Kiepuszewski, B., ter Hofstede, A. H. M., &van der Aalst, W. M. P. (2003). Fundamentals of control flow in workflows. Acta Informatica, 39(3), 143-209. doi:10.1007/s00236-002-0105-4 (Pubitemid 36467936)
20. Lassen, K. B., &van der Aalst, W. M. P. (2009). Complexity metrics for workflow nets. Information and Software Technology, 51, 610-626. doi:10.1016/j. infsof.2008.08.005
21. Lindland, O. I., Sindre, G., &Solvberg, A. (1994). Understanding quality in conceptual modeling. IEEE Software, 11(2), 42-49. doi:10.1109/52.268955
22. Liu, D., Wang, J., Chan, S., Sun, J., &Zhang, L. (2002). Modeling workflow processes with colored Petri nets. Computers in Industry, 49, 267-281. doi:10.1016/S0166-3615(02)00099-4 (Pubitemid 35411820)
23. Mendling, J. (2007). Detection and Prediction of Errors in EPC Business Process Models. Unpublished PhD thesis, Vienna University of Economics and Business Administration.
24. Mendling, J., &Strembeck, M. (2008). Influence Factors of Understanding Business Process Models. Business Information Systems (LNBIP 7, pp. 142-153).
25. Milner, R., Parrow, J., &Walker, D. (1992). A calculus of mobile processes. Information and Computation, 100(100), 1-40. doi:10.1016/0890- 5401(92)90008-4
26. Mylopoulos, J. (1992). Conceptual modeling and telos . In Locoupoulos, P., &Zicari, R. (Eds.), Conceptual modeling, databases, and cases. New York: John Wiley &Sons, Inc.
27. Object Management Group (OMG). (2006). Business Process Modeling Notation Specification. Retrieved from http://www.bpmn.org
28. Opdahl, A., &Henderson-Sellers, B. (2001). Grounding the OML meta-model in ontology. Journal of Systems and Software, 57(2), 119-143. doi:10.1016/ S0164-1212(00)00123-0
29. Opdahl, A., &Henderson-Sellers, B. (2002). Ontological evaluation of the UML using the Bunge- Wand-Weber model. Software and Systems Modeling, 1(1), 43-67.
30. Petri, C. A. (1962) Kommunikation mit Automaten. PhD thesis, Fakultät fur Mathematik und Physik, Technische Hochschule Darmstadt, Darmstadt, Germany.
31. Recker, J., &Indulska, M. (2007). An Ontology- Based Evaluation of Process Modeling with Petri Nets. Journal of Interoperability in Business Information Systems, 2(1), 45-64.
32. Russell, N., ter Hofstede, A. H. M., van der Aalst, W. M. P., &Mulyar, N. (2006). Workflow Control- Flow Patterns: A Revised View (BPM Center Rep. No. BPM-06-22). BPMcenter.org.
33. Sadiq, W., &Orlowska, M. E. (1997). On Correctness Issues in Conceptual Modeling of Workflows. In Proceedings of the 5th European Conference on Information Systems, Cork, Ireland (pp. 943-964).
34. Salimifard, K., &Wright, M. (2001). Petri net-based modeling of workflow systems: An overview. European Journal of Operational Research, 134, 664-676. doi:10.1016/S0377-2217(00)00292-7 (Pubitemid 32768271)
35. Soffer, P., &Wand, Y. (2005). On the notion of soft goals in business process modeling. Business Process Management Journal, 11(6), 663-679. doi:10.1108/14637150510630837 (Pubitemid 41661307)
36. Soffer, P., &Wand, Y. (2007). Goal-Driven Multi- Process Analysis. Journal of the Association for Information Systems, 8(3), 175-203.
37. Soffer, P., Wand, Y., &Kaner, M. (2007). Semantic Analysis of Flow Patterns in Business Process Modeling. In Proceedings of Business Process Management (BPM'07) (LNCS 4714, pp. 400-407).
38. van der Aalst, W. M. P. (1998). The application of petri nets to workflow management. The Journal of Circuits . Systems and Computers, 8(1), 21-66.
39. van der Aalst, W. M. P. (1999). Formalization and verification of Event-driven Process Chains. Information and Software Technology, 41(10), 639-650. doi:10.1016/S0950-5849(99)00016-6
40. van der Aalst, W. M. P. (2000). Workflow Verification: Finding Control-Flow Errors Using Petri-Net-Based Techniques, In W.M.P. van der Aalst, J. Desel, &A. Oberweis (Eds.), Business Process Management: Models, Techniques, and Empirical Studies (LNCS 1806, pp. 161-183).
41. van der Aalst, W. M. P. (2003). Challenges in business process management: Verification of business processes using Petri nets. Bulletin of the EATCS, 80, 174-199.
42. van der Aalst, W. M. P., &ter Hofstede, A. H. M. (2005). YAWL: Yet Another Workflow Language. Information Systems, 30(4), 245-275. doi:10.1016/j. is.2004.02.002 (Pubitemid 40415107)
43. van der Aalst, W. M. P., ter Hofstede, A. H. M., Kiepuszewski, B., &Barros, A. P. (2003). Workflow Patterns. Distributed and Parallel Databases, 14(1), 5-51. doi:10.1023/A:1022883727209
44. van der Aalst, W. M. P., van Dongen, B. F., Herbst, J., Maruster, L., Schimm, G., &Weijters, A. J. M. M. (2007). Workflow mining: A survey of issues and approaches. Information Systems, 32(5), 713-732.
45. van der Aalst, W. M. P., &Weijters, A. J. M. M. (2004). Process mining: a research agenda. Computers in Industry, 53(3), 231-244. doi:10.1016/j. compind.2003.10.001
46. van Hee, K., Oanea, O., Serebrenik, A., Sidorova, N., &Voorhoeve, M. (2008). History-based joins: semantics, soundness and implementation. Data &Knowledge Engineering, 64, 24-37. doi:10.1016/j. datak.2007.06.005 (Pubitemid 350087282)
47. van Hee, K., Sidorova, N., &Voorhoeve, M. (2008). Soundness and separability of workflow nets in the stepwise refinement approach. In W.M.P. van der Aalst &E. Best (Eds.), ICATPN 2003 (LNCS 2679, pp. 337-356).
48. Wand, Y., &Weber, R. (1993). On the ontological expressiveness of information systems analysis and design grammars . Journal of Information Systems, 3, 217-237. doi:10.1111/j.1365-2575.1993.tb00127.x
49. Wand, Y., &Weber, R. (1995). Towards a theory of deep structure of information systems. Journal of Information Systems, 5(3), 203-223. doi:10.1111/j.1365-2575.1995.tb00108.x