Enterprise and Organizational Modeling and Simulation, 2014 10th International Workshop, EOMAS 2014, Held at CAiSE 2014, Thessaloniki, Greece, June 16-17, 2014, Selected Papers Lecture Notes in Business Information Processing Series, Vol. 191

This book constitutes the proceedings of the 10th International Workshop on Enterprise and Organizational Modeling and Simulation, EOMAS 2014, held in conjunction with CAiSE 2014 in Thessaloniki, Greece, in June 2014. Tools and methods for modeling and simulation are widely used in enterprise engineering, organizational studies, and business process management. In monitoring and evaluating business processes and the interactions of actors in a realistic environment, modeling and simulation have proven to be both powerful, efficient, and economic, especially if complemented by animation and gaming elements. The 12 contributions in this volume were carefully reviewed and selected from 22 submissions. They explore the above topics, address the underlying challenges, find and improve solutions, and show the application of modeling and simulation in the domains of enterprises, their organizations and underlying business processes.

Part: Enterprise Conceptual Modelling and Simulation.- Extraction and Reconstruction of Enterprise Models.- Towards Multi-perspective Process Model Similarity Matching.- Verifying Cross-Organizational Workflows Over Multi-Agent Based Environments.- Modeling and Visualization of Urban Planning and Building Development Processes for Local Government of Small Settlements.- Enterprise Modelling Formal Foundation.- Enterprise Architecture: A Formalism for Modeling Organizational Structures in Information Systems.- Business Rules, Constraints and Simulation for Enterprise Governance.- The Prefix Machine – A Formal Foundation for the BORM OR Diagrams Validation and Simulation.- Enterprise Optimisation.- Simulation-Based Cyber-Attack Assessment of Critical Infrastructures.- Emergency Response Planning Information System.- On Compatibility Analysis of Inter Organizational Business Processes.- Recovering Traceability Links Between Code and Specification Through Domain Model Extraction.- Choreography Modeling Compliance for Timed Business Models.