An innovative method for business process modeling

Proceedings of the 5th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems - MSVVEIS 2007; In Conjunction with ICEIS 2007

Volumn , Issue , 2007, Pages 31-42

  Barjis, Joseph ^a  

^a GEORGIA SOUTHERN UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

BUSINESS PROCESS MODELING; CORE AREAS; EXISTING METHODS; FORMAL ANALYSIS; GRAPHICAL NOTATIONS; HUMAN ACTORS; INNOVATIVE METHODS; NESTED STRUCTURES; NEW CONCEPTS; NORMAL FLOWS; PROCESS MODELING; RESEARCH FIELDS;

FLOWCHARTING; INFORMATION SYSTEMS; MODEL CHECKING; TECHNICAL PRESENTATIONS; UNIFIED MODELING LANGUAGE;

FISCHER-TROPSCH SYNTHESIS;

EID: 58149105928     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (15)

1. Aalst, W. van der, & Hee, K. van (2002). Workflow Management: Models, Methods, and Systems, MIT Press, ISBN: 0-262-01189-1.
2. Aalst, W. van der, Desel, J., & Oberweis, A. (ed.) (1998). Business Process Management-Models, Techniques and Empirical Studies. Springer-Verlag Berlin Heidelberg New York
3. Aalst, W.M.P. van der (1996). Three Good Reasons for Using a Petri-net-based Workflow Management System. Proceedings of the International Working Conference on Information and Process Integration in Enterprises
4. Bider I. (2005). Choosing Approach to Business Process Modeling - Practical Perspective. Journal of Conceptual Modeling, issue 34, Publisher InConcept
5. Carr, N. G. (2003). IT Doesn't Matter. Harvard Business Review, May 2003, Vol. 81 Issue 5.
6. Dehnert, J., & Aalst, W.M.P. van der (2004). Bridging the Gap Between Business Models and Workflow Specifications. International Journal of Cooperative Information Systems, 13(3):289-332.
7. Dietz, J.L.G. (2003). The Atoms, Molecules and Fibers of Organizations. Data and Knowledge Engineering. Vol. 47, Issue 3, pp. 301-325.
8. Dietz, J.L.G. (2006). Enterprise Ontology-Theory and Methodology. Springer
9. Eichner, C., Fleischhack, H., Meyer, R., Schrimpf, U., Stehno, C. (2005). Compositional Semantics for UML 2.0 Sequence Diagrams Using Petri Nets. SDL Forum 2005: 133-148.
10. Eshuis, R. (January 2006). Symbolic Model Checking of UML Activity Diagram. ACM Transactions on Software Engineering and Methodology, Vol. 15, No. 1
11. Hevner, A.R., March, S.T., Park, J., & Ram, A. (March, 2004). Design Science in Information Systems Research. MIS Quarterly, vol. 28 No. 1, pp. 75-105.
12. Moldt, D., & Valk, R. (1998). Object Oriented Petri Nets on Business Process Modeling. In Aalst, W. van der, Desel, J., & Oberweis, A. (ed.) Business Process Management: Models, Techniques and Empirical Studies. Springer-Verlag Berlin Heidelberg New York
13. Ould, M. A. (1995). Business processes: Modeling and analysis for re-engineering and improvement. John Wiley, Chichester, UK.
14. Robinson, A. G., & Dilts, D. M. (1999). OR & ERP: A Match for the New Millenium? OR/MS Today 26 (3), 30-35.
15. Winograd, T. (1997). The design of interaction. In P. Denning and B. Metcalfe, Eds., Beyond Calculation, The Next 50 Years of Computing. Springer-Verlag.