The importance of business process modeling in software systems design

Science of Computer Programming

Volumn 71, Issue 1, 2008, Pages 73-87

  Barjis, Joseph ^a  

^a DELFT UNIVERSITY OF TECHNOLOGY   (Netherlands)

Author keywords

Business process modeling; Business process simulation; DEMO; Language action perspective; Model checking; Modeling technique; Petri nets; Requirements' specifications

Indexed keywords

AUTOMATION; COMPUTATIONAL METHODS; COMPUTER SIMULATION; MODEL CHECKING; PETRI NETS; PROJECT MANAGEMENT; SOFTWARE DESIGN;

BUSINESS PROCESS MODELING; BUSINESS PROCESS SIMULATION; LANGUAGE-ACTION PERSPECTIVES; MODELING TECHNIQUE;

MODEL PREDICTIVE CONTROL;

EID: 39749139409     PISSN: 01676423     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.scico.2008.01.002     Document Type: Article

References (31)

1. W.M.P. van der Aalst, 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, 1996
2. In: van der Aalst W.M.P., Desel J., and Oberweis A. (Eds). Business Process Management: Models, Techniques and Empirical Studies (1998), Springer-Verlag, Berlin, Heidelberg, New York
3. van der Aalst W.M.P., and van Hee K. Workflow Management: Models, Methods, and Systems (2002), MIT Press
4. W.M.P. van der Aalst, Trends in business process analysis: From validation to process mining, in: International Conference on Enterprise Information Systems, ICEIS, Funchal, Madeira, Portugal, June 12-16, 2007
5. Alexander I.F., and Stevens R. Writing Better Requirements (2002), Addison-Wesley, London
6. Carr N.G. IT doesn't matter. Harvard Business Review 81 5 (2003)
7. T. Curran, G. Keller, SAP R/3 business blueprint: Understanding the business process reference model, Upper Saddle River, 1997
8. Dehnert J., and van der Aalst W.M.P. Bridging the gap between business models and workflow specifications. International Journal of Cooperative Information Systems 13 3 (2004) 289-332
9. Deiters W. Information gathering and process modelling in a Petri net based approach. In: van der Aalst W., Desel J., and Oberweis A. (Eds). Business Process Management: Models, Techniques and Empirical Studies (1998), Springer-Verlag, Berlin, Heidelberg, New York
10. Dietz J.L.G. Business modelling for business redesign. Proceedings of the 27th Hawaii International Conference on System Sciences (1994), IEEE Computer Society Press, Los Alamitos 723-732
11. J.L.G. Dietz, Understanding and modelling business processes with DEMO, in: The Proceedings of the Annual International Conference on Conceptual Modelling (ER'99), Paris, November 1999
12. J.L.G. Dietz, The atoms, molecules and matter of organizations, in: J. Barjis, J.L.G. Dietz, G. Goldkuhl (Eds.), Proceedings of the Seventh International Workshop on the LAP, Delft, Netherlands, 2002
13. Dietz J.L.G. Enterprise Ontology -Theory and Methodology (2006), Springer, New York
14. B.F. van Dongen, W.M.P. van der Aalst, H.M.W. Verbeek, Verification of EPCs: Using reduction rules and Petri nets, in: Proceedings of the 17th Conference on Advanced Information Systems Engineering, 2005
15. C. Eichner, H. Fleischhack, R. Meyer, U. Schrimpf, C. Stehno, Compositional semantics for UML 2.0 sequence diagrams using Petri nets, SDL Forum 2005, 2005, pp. 133-148
16. Eshuis R. Symbolic model checking of UML activity diagram. ACM Transactions on Software Engineering and Methodology 15 1 (2006) 1-38
17. G. Goldkuhl, Beyond communication loops - articulating the principle of multi-responsiveness, in: The Proceedings of the 10th International Working Conference on the Language Action Perspective on Communication Modeling, Kiruna, Sweden, June 2005, 2005
18. Hevner A.R., March S.T., Park J., and Ram A. Design science in information systems research. MIS Quarterly 28 1 (2004) 75-105
19. M. Lind, G. Goldkuhl, Questioning two-role model or who bakes the pizza, in: J. Barjis, J.L.G. Dietz, G. Goldkuhl (Eds.), Proceedings of the Seventh International Workshop on the LAP, Delft, Netherlands, 2002
20. Lindland O., Sindre G., and Sølvberg A. Understanding quality in conceptual modeling. IEEE Software 11 2 (1994) 42-49
21. Moldt D., and Valk R. Object oriented Petri nets on business process modeling. In: van der Aalst W., Desel J., and Oberweis A. (Eds). Business Process Management: Models, Techniques and Empirical Studies (1998), Springer-Verlag, Berlin, Heidelberg, New York
22. Meehan T., and Carr N. Extending UML. Dr. Dobb's Journal: Software Tools for the Professional Programmer 30 2 (2005) 56-60
23. Ramaswamy S., and Valavanis K.P. Hierarchical time-extended Petri nets (H-EPNs) based error identification and recovery for multilevel systems. IEEE Transactions on Systems, Man and Cybernetics 26 1 (1996) 164-175
24. Ramaswamy S., Valavanis K.P., and Barber K.S. Petri net extensions for the development of MIMO net models of automated manufacturing systems. Journal of Manufacturing Systems 16 3 (1997) 175-191
25. Robinson A.G., and Dilts D.M. OR & ERP: A match for the new millennium?. OR/MS Today 26 3 (1999) 30-35
26. Siau K., and Loo P. Identifying difficulties in learning UML. Information Systems Management 23 3 (2006) 43-51
27. Smith H., and Fingar P. Business Process Management (BPM): The Third Wave (2003), Meghan-Kiffer Press
28. R.K. Stamper, MEASUR, University of Twente, Enschede, The Netherlands, 1988
29. Standish, The Standish Group International, Inc. 2004 Third Quarter Research Report, West Yarmouth, MA, 2004
30. Te'eni D. A cognitive-affective model of organizational communication for designing IT. MIS Quarterly 25 2 (2001) 251-312
31. H. Weigand, A. De Moor, A framework for the normative analysis of workflow loops, in: M. Schoop, J. Taylor (Eds.), Proceedings of the Sixth International Workshop on the Language Action Perspective on Communication Modeling, LAP 2001, 2001