International Journal of Simulation and Process Modelling (IJSPM)

International Journal of Simulation and Process Modelling

2008 Vol.4 No.3/4

Special Issue on Enterprise Modelling and Simulation in a Broader Context

Guest Editors: Dr. Joseph Barjis and Professor Alexander Verbraeck

Editorial

Pages Title and author(s)
167-182Automatic verification of business process integrity
Manuel I. Capel-Tunon, Luis E. Mendoza-Morales, Kawtar Benghazi-Akhlaki
DOI: 10.1504/IJSPM.2008.023679
183-194Formal modelling and discrete-time analysis of BPEL web services
Radu Mateescu, Sylvain Rampacek
DOI: 10.1504/IJSPM.2008.023680
195-204Formalisation and verification of interaction protocols for business process integration: a Petri net approach
Djamel Benmerzoug, Fabrice Kordon, Mahmoud Boufaida
DOI: 10.1504/IJSPM.2008.023681
205-214Modelling and simulation of complex workflow processes using multi-level Petri nets
Marina Flores-Badillo, Ernesto Lopez-Mellado, Mayra Padilla-Duarte
DOI: 10.1504/IJSPM.2008.023682
215-222Dynamic simulation modelling using descriptive information in natural language
Yutaka Takahashi
DOI: 10.1504/IJSPM.2008.023683
223-236Developing a software process simulation model using SPEM and analytical models
Seunghun Park, Hyeonjeong Kim, Dongwon Kang, Doo-Hwan Bae
DOI: 10.1504/IJSPM.2008.023684
237-247SIMONE: A Simulator for Interruptions and Message Overload in Network Environments
Ashish Gupta, Ramesh Sharda
DOI: 10.1504/IJSPM.2008.023685
248-263Challenges in collaborative modelling: a literature review and research agenda
Michiel Renger, Gwendolyn L. Kolfschoten, Gert-Jan De Vreede
DOI: 10.1504/IJSPM.2008.023686

Submitted Papers

264-279Use cases and personas: uses in service sector simulation development
Roger W. McHaney
DOI: 10.1504/IJSPM.2008.023687