--------------------------------------------------------------------------- International Journal of Simulation and Process Modelling (IJSPM), 2008, Vol. 4 No. 3/4 ISSN (Online): 1740-2131 - ISSN (Print): 1740-2123 --------------------------------------------------------------------------- http://www.inderscience.com/ijspm Special Issue on Enterprise Modelling and Simulation in a Broader Context Guest Editors: Dr. Joseph Barjis and Professor Alexander Verbraeck Title: Automatic verification of business process integrity Authors: Manuel I. Capel-Tunon, Luis E. Mendoza-Morales, Kawtar Benghazi-Akhlaki Title: Formal modelling and discrete-time analysis of BPEL web services Authors: Radu Mateescu, Sylvain Rampacek Title: Formalisation and verification of interaction protocols for business process integration: a Petri net approach Authors: Djamel Benmerzoug, Fabrice Kordon, Mahmoud Boufaida Title: Modelling and simulation of complex workflow processes using multi-level Petri nets Authors: Marina Flores-Badillo, Ernesto Lopez-Mellado, Mayra Padilla-Duarte Title: Dynamic simulation modelling using descriptive information in natural language Author: Yutaka Takahashi Title: Developing a software process simulation model using SPEM and analytical models Authors: Seunghun Park, Hyeonjeong Kim, Dongwon Kang, Doo-Hwan Bae Title: SIMONE: A Simulator for Interruptions and Message Overload in Network Environments Authors: Ashish Gupta, Ramesh Sharda Title: Challenges in collaborative modelling: a literature review and research agenda Authors: Michiel Renger, Gwendolyn L. Kolfschoten, Gert-Jan De Vreede Submitted Papers Title: Use cases and personas: uses in service sector simulation development Author: Roger W. McHaney Nuno Melao, PhD Assistant Professor Universidade Catolica Portuguesa Departamento de Economia, Gestao e Ciencias Sociais Estrada da Circunvalacao 3504-505 - Viseu PORTUGAL Email: [log in to unmask] http://nmelao.googlepages.com