A business process modeling and simulation method using DEMO

Lecture Notes in Business Information Processing

Volumn 12 LNBIP, Issue , 2008, Pages 254-265

  Barjis, Joseph ^a  

^a DELFT UNIVERSITY OF TECHNOLOGY   (Netherlands)

Author keywords

Business process simulation; DEMO; Model checking; Modeling method; Petri net application

Indexed keywords

DECISION MAKING; DECISION THEORY; DECISION TREES; FLOW SIMULATION; FORMAL METHODS; GRAPH THEORY; GRAPHIC METHODS; INFORMATION SYSTEMS; MATHEMATICAL MODELS; PETRI NETS; PROCESS MONITORING; SEMANTICS; SIMULATORS; SYSTEMS ENGINEERING;

AUTOMATIC ANALYSIS; BUSINESS PROCESS; BUSINESS PROCESS MODEL; BUSINESS PROCESS MODELING; BUSINESS PROCESS SIMULATION; COMPLEX MODEL; DEMO; DYNAMIC BEHAVIORS; FLOW CHARTS; FORMAL SEMANTICS; FRAME-WORK; GRAPHICAL NOTATION; MANUAL CHECKING; MODELING METHOD; RESEARCH QUESTIONS; UML DIAGRAMS;

MODEL CHECKING;

EID: 70350070620     PISSN: 18651348     EISSN: None     Source Type: Book Series    
DOI: 10.1007/978-3-540-88710-2_20     Document Type: Conference Paper

References (17)

1. Auramäki, E., Lehtinen, E., Lyytinen, K.: A Speech Act Based Office Modeling Approach. ACM Transactions on Office Information Systems 6(2), 126-152 (1988)
2. Dietz, J.L.G.: Business Modeling for Business Redesign. In: Proceedings of the 27th Hawaii International Conference on System Sciences. IEEE Computer Society Press, Los Alamitos (1994)
3. Dietz, J.L.G., Barjis, J.: Supporting the DEMO Methodology with a Business Oriented Petri Net. In: the proceedings of the International Workshop EMMSAD 1999, Heidelberg, Germany, June 14-15 (1999)
4. Dietz, J.L.G., Barjis, J.: Petri Net expressions of DEMO process models as a rigid foundation for Requirements Engineering. In: the proceedings of the 2nd International Conference on Enterprise Information Systems (ICEIS 2000), Stafford, UK, pp. 269-274 (2000)
5. Dietz, J.L.G.: Enterprise Ontology -Theory and Methodology. Springer, New York (2006)
6. Eichner, C., Fleischhack, H., Meyer, R., Schrimpf, U., Stehno, C.: Compositional Semantics for UML 2.0 Sequence Diagrams Using Petri Nets. SDL Forum 2005, 133-148 (2005)
7. Eshuis, R.: Symbolic Model Checking of UML Activity Diagram. ACM Transactions on Software Engineering and Methodology 15(1) (2006)
8. Gladwin, B., Tumay, K.: Modeling Business Processes with Simulation Tools. In: The Proceedings of the 1994 Winter Simulation Conference, Buena Vista, FL, December 11-14 (1994)
9. Goldkuhl, G.: Generic business frameworks and action modeling. In: Proceedings of Conference Language/Action Perspective 1996. Springer, Heidelberg (1996)
10. Harrison, J.R.: Organizational Processes. Simulation Modeling Practice and Theory 10, 249-251 (2002)
11. Hlupic, V., Robinson, S.: Business Process Modeling and Analysis Using Discrete-Event Simulation. In: the Proceedings of the 1998 Winter Simulation Conference (1998)
12. Lehtinen, E., Lyytinen, K.: Action Based Model of Information System. Information Systems 11(4) (1986)
13. Medina-Mora, R., Winograd, T., Flores, R., Flores, F.: The Action Workflow Approach to Workflow Management Technology. In: The Proceedings of the Conference on Computer- Supported Cooperative Work. ACM Press, New York (1992)
14. Paul, R.J., Seranno, A.: Simulation for Business Processes and Information Systems Design. In: Proceedings of the 2003 Winter Simulation Conference, New Orleans (2003)
15. Seila, A.F.: The case for a standard model description for process simulation. International Journal of Simulation and Process Modeling 1(1/2), 26-34 (2005)
16. de Vreede, G.J., Verbraeck, A., van Eijck, D.T.T.: An Arena Simulation Library for Business Process Modeling. Simulation 79(1), 35-42 (2003)
17. Winograd, T., Flores, F.: Understanding Computers and Cognition: A New Foundation for Design. Ablex, Norwood (1986)