8 March 2009

Special issue: Enterprise modelling and simulation in a broader context

International Journal of Simulation and Process Modelling 4(3/4) 2008

Papers from the 4th International Workshop on Enterprise and Organisational Modelling and Simulation held in Montpellier, France, 16-17 June 2008.
  • Automatic verification of business process integrity
  • Formal modelling and discrete-time analysis of BPEL web services
  • Formalisation and verification of interaction protocols for business process integration: a Petri net approach
  • Modelling and simulation of complex workflow processes using multi-level Petri nets
  • Dynamic simulation modelling using descriptive information in natural language
  • Developing a software process simulation model using SPEM and analytical models
  • SIMONE: A Simulator for Interruptions and Message Overload in Network Environments
  • Challenges in collaborative modelling: a literature review and research agenda
  • Use cases and personas: uses in service sector simulation development
  • Embedding simulation education into the engineering management body of knowledge
  • Learning to build network-oriented epidemic simulation models in epidemiology education

No comments: