Enterprise and Organizational Modeling and Simulation : 10th International Workshop, EOMAS 2014, Held at CAiSE 2014, Thessaloniki, Greece, June 16-17, 2014, Selected Papers

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. Front Matter....Pages I-XII Front Matter....Pages 1-1 Extraction and Reconstruction of Enterprise Models....Pages 3-20 Towards Multi-perspective Process Model Similarity Matching....Pages 21-37 Verifying Cross-Organizational Workflows Over Multi-Agent Based Environments....Pages 38-58 Modeling and Visualization of Urban Planning and Building Development Processes for Local Government of Small Settlements....Pages 59-73 Front Matter....Pages 75-75 Enterprise Architecture: A Formalism for Modeling Organizational Structures in Information Systems....Pages 77-95 Business Rules, Constraints and Simulation for Enterprise Governance....Pages 96-112 The Prefix Machine – a Formal Foundation for the BORM OR Diagrams Validation and Simulation....Pages 113-131 Front Matter....Pages 133-133 Simulation-Based Cyber-Attack Assessment of Critical Infrastructures....Pages 135-150 Emergency Response Planning Information System....Pages 151-170 On Compatibility Analysis of Inter Organizational Business Processes....Pages 171-186 Recovering Traceability Links Between Code and Specification Through Domain Model Extraction....Pages 187-201 Choreography Modeling Compliance for Timed Business Models....Pages 202-218 Back Matter....Pages 219-219 This book constitutes the proceedings of the 9th International Workshop on Enterprise and Organizational Modeling and Simulation, EOMAS 2013, held in conjunction with CAiSE 2013 in Valencia, Spain, in June 2013. 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 ten 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.