On the relationship between workflow models and document types

Information Systems

Volumn 34, Issue 1, 2009, Pages 178-208

  van Hee, Kees ^a   Hidders, Jan ^b   Houben, Geert Jan ^c   Paredaens, Jan ^b   Thiran, Philippe ^d  

^a EINDHOVEN UNIVERSITY OF TECHNOLOGY   (Netherlands)

^b UNIVERSITY OF ANTWERP   (Belgium)

^c VRIJE UNIVERSITEIT BRUSSEL   (Belgium)

^d UNIVERSITY OF NAMUR   (Belgium)

Author keywords

Data type; Document management system; Information system design methodology; Petri net; Workflow management system

Indexed keywords

DATABASE SYSTEMS; DECENTRALIZED CONTROL; GRAPH THEORY; INFORMATION RETRIEVAL SYSTEMS; INFORMATION SERVICES; INFORMATION SYSTEMS; KETONES; MANAGEMENT; MARINE BIOLOGY; PETRI NETS; WORK SIMPLIFICATION;

DATA TYPE; DOCUMENT MANAGEMENT SYSTEM; INFORMATION SYSTEM DESIGN METHODOLOGY; PETRI NET; WORKFLOW MANAGEMENT SYSTEM;

MANAGEMENT INFORMATION SYSTEMS;

EID: 55349105426     PISSN: 03064379     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.is.2008.06.003     Document Type: Article

References (45)

1. van der Aalst W.M.P. The application of Petri nets to workflow management. J. Circuits Syst. Comput. 8 1 (1998) 21-66
2. Jackson M.A. Principles of Program Design (1975), Academic Press, New York
3. Dumas M., van der Aalst W.M., and ter Hofstede A.H. Process-aware Information Systems: Bridging People and Software Through Process Technology (2005), Wiley, New York, NY, USA
4. OASIS, Web services business process execution language version 2.0, April 2007 〈http://docs.oasis-open.org/wsbpel/2.0/OS/wsbpel-v2.0-OS.html〉.
5. Object Management Group, Unified modeling language specification, version 1.4.2, January 2005 〈http://www.omg.org/docs/formal/05-04-01.pdf〉.
6. Object Management Group, Business process modeling notation, v1.1, January 2008 〈http://www.omg.org/spec/BPMN/1.1/PDF/〉.
7. Jackson M.A. System Development (1983), Prentice-Hall Publishing
8. Jackson M.A. Software requirements & specifications: a lexicon of practice, principles and prejudices (1995), ACM Press/Addison-Wesley Publishing Co., New York, NY, USA
9. Sridhar K.T., and Hoare C.A.R. JSD expressed in CSP. In: Atkinson M.P., Buneman P., and Morrison R. (Eds). Data Types and Persistence, Informal Proceedings of the First Workshop on Persistent Objects (August 1985) 49-82
10. Jensen K. Coloured petri nets: a high level language for system design and analysis. In: Rozenberg G. (Ed). APN 90: Proceedings on Advances in Petri Nets 1990, Lecture Notes in Computer Science vol. 483 (1991), Springer, New York, NY, USA 342-416
11. van der Aalst W.M.P., and van Hee K. Workflow Management: Models, Methods, and Systems (2002), MIT Press, Cambridge, MA
12. Reijers H.A., Limam S., and van der Aalst W.M.P. Product-based workflow design. J. Manage. Inf. Syst. 20 1 (2003) 229-262
13. Healthcare Information and Management Systems Society (HIMSS), Electronic health records: a global perspective, January 2007 〈http://www.himss.org/content/files/DrArnold20011207EISPresentationWhitePaper.pdf〉.
14. Aceto L., Fokkink W.J., and Ingólfsdóttir A. On a question of A. Salomaa: the equational theory of regular expressions over a singleton alphabet is not finitely based. Theor. Comput. Sci. 209 1-2 (1998) 141-162
15. Mayer A.J., and Stockmeyer L.J. The complexity of word problems-this time with interleaving. Inf. Comput. 115 2 (1994) 293-311
16. Berthelot G. Checking properties of nets using transformation. Advances in Petri Nets 1985, Covers the Sixth European Workshop on Applications and Theory in Petri Nets-Selected Papers, Lecture Notes in Computer Science vol. 222 (1986), Springer, London, UK 19-40
17. Murata T. Petri nets, properties, analysis and applications. Proceedings of the IEEE 77 4 (1989) 541-580
18. H.A. Reijers, Design and Control of Workflow Processes: Business Process Management for the Service Industry, Lecture Notes in Computer Science, vol. 2617, Springer, New York, Inc., Secaucus, NJ, USA, 2003.
19. Chrzastowski-Wachtel P., Benatallah B., Hamadi R., O'Dell M., and Susanto A. A top-down petri net-based approach for dynamic workflow modeling. In: van der Aalst W.M.P., ter Hofstede A.H.M., and Weske M. (Eds). Business Process Management, Lecture Notes in Computer Science vol. 2678 (2003), Springer, Berlin 336-353
20. van der Aalst W.M.P. Verification of workflow nets. ICATPN '97: Proceedings of the 18th International Conference on Application and Theory of Petri Nets, Lecture Notes in Computer Science vol. 1248 (1997), Springer, London, UK 407-426
21. van Hee K.M., Sidorova N., and Voorhoeve M. Generalised soundness of workflow nets is decidable. In: Cortadella J., and Reisig W. (Eds). ICATPN, Lecture Notes in Computer Science vol. 3099 (2004), Springer, Berlin 197-215
22. Hidders J., Paredaens J., Thiran P., Houben G.-J., and Hee K.V. Non-destructive integration of form-based views. In: Eder J., Haav H.-M., Kalja A., and Penjam J. (Eds). Ninth East European Conference on Advances in Databases and Information Systems (ADBIS 2005), Lecture Notes in Computer Science vol. 3631 (September 2005), Springer, Berlin 74-86
23. Ouyang C., Verbeek E., van der Aalst W.M., Breutel S., Dumas M., and ter Hofstede A. Formal semantics and analysis of control flow in WS-BPEL. Sci. Comput. Programming 67 2-3 (2007) 162-198
24. Calders T., Dekeyser S., Hidders J., and Paredaens J. Analyzing workflows implied by instance-dependent access rules. PODS '06: Proceedings of the 25th ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems (2006), ACM, New York, NY, USA 100-109
25. van der Aalst W.M.P. On the automatic generation of workflow processes based on product structures. Comput. Ind. 39 2 (1999) 97-111
26. Orlicky A. Structuring the bill of materials for mrp. Prod. Inventory Manage. (1972) 19-42
27. Ter Beek M.H., Ellis C.A., Kleijn J., and Rozenberg G. Synchronizations in team automata for groupware systems. Comput. Supported Coop. Work 12 1 (2003) 21-69
28. Heinlein C. Workflow and process synchronization with interaction expressions and graphs. Proceedings of the 17th International Conference on Data Engineering (2001), IEEE Computer Society, Silver Spring, MD, Washington, DC, USA 243-252
29. Küster J.M., Ryndina K., and Gall H. Generation of business process models for object life cycle compliance. In: Alonso G., Dadam P., and Rosemann M. (Eds). BPM, Lecture Notes in Computer Science vol. 4714 (2007), Springer, Berlin 165-181
30. Kappel G., and Schrefl M. Object/behavior diagrams. Proceedings of the Seventh International Conference on Data Engineering (1991), IEEE Computer Society, Washington, DC, USA 530-539
31. Bichler P., Preuner G., and Schrefl M. Workflow transparency. CAiSE '97: Proceedings of the Ninth International Conference on Advanced Information Systems Engineering (1997), Springer, London, UK 423-436
32. Nigam A., and Caswell N.S. Business artifacts: an approach to operational specification. IBM Syst. J. 42 3 (2003) 428-445
33. Müller D., Reichert M., and Herbst J. Data-driven modeling and coordination of large process structures. In: Meersman R., and Tari Z. (Eds). OTM Conferences (1), Lecture Notes in Computer Science vol. 4803 (2007), Springer, Berlin 131-149
34. Guabtni A., and Charoy F. Multiple instantiation in a dynamic workflow environment. In: Persson A., and Stirna J. (Eds). CAiSE, Lecture Notes in Computer Science vol. 3084 (2004), Springer, Berlin 175-188
35. Harel D., Lachover H., Naamad A., Pnueli A., Politi M., Sherman R., Trauring A.S., and Trakhtenbrot M.B. Statemate: a working environment for the development of complex reactive systems. IEEE Trans. Software Eng. 16 4 (1990) 403-414
36. Dori D. Object-process methodology as a business-process modelling tool. Proceedings of the Eighth European Conference on Information Systems, Trends in Information and Communication Systems for the 21st Century, ECIS 2000, Vienna, Austria, July 3-5 (2000)
37. Harel D., Kugler H., and Pnueli A. Synthesis revisited: generating statechart models from scenario-based requirements. In: Kreowski H.-J., Montanari U., Orejas F., Rozenberg G., and Taentzer G. (Eds). Formal Methods in Software and Systems Modeling, Lecture Notes in Computer Science vol. 3393 (2005), Springer, Berlin 309-324
38. Reijers H.A., Rigter J.H.M., and van der Aalst W.M.P. The case handling case. Int. J. Coop. Inf. Syst. 12 3 (2003) 365-391
39. Oberweis A. An integrated approach for the specification of processes and related complex structured objects in business applications. Decision Support Syst. 17 (1996) 31-53
40. Lenz K., and Oberweis A. Inter-organizational business process management with XML nets. In: Ehrig H., Reisig W., Rozenberg G., and Weber H. (Eds). Petri Net Technology for Communication-Based Systems, Lecture Notes in Computer Science vol. 2472 (2003), Springer, Berlin 243-263
41. Lee G., Eastman C.M., and Sacks R. Eliciting information for product modeling using process modeling. Data Knowl. Eng. 62 2 (2007) 292-307
42. Eastman C.M. Managing integrity in design information flows. Comput. Aided Des. 28 6-7 (1996) 551-565
43. Jäger D., Schleicher A., and Westfechtel B. Ahead: a graph-based system for modeling and managing development processes. In: Nagl M., Schürr A., and Münch M. (Eds). AGTIVE, Lecture Notes in Computer Science vol. 1779 (1999), Springer, Berlin 325-339
44. N. Russell, A. ter Hofstede, D. Edmond, W. van der Aalst, Workflow data patterns, Technical Report, Queensland University of Technology, Brisbane, 2004.
45. van Hee K.M., Sidorova N., and Voorhoeve M. Soundness and separability of workflow nets in the stepwise refinement approach. In: van der Aalst W.M.P., and Best E. (Eds). ICATPN, Lecture Notes in Computer Science vol. 2679 (2003), Springer, Berlin 337-356