LEADER 04671nam 22007335 450 001 9910298988103321 005 20230810234212.0 010 $a3-662-44860-2 024 7 $a10.1007/978-3-662-44860-1 035 $a(CKB)3390000000064214 035 $a(SSID)ssj0001353824 035 $a(PQKBManifestationID)11733441 035 $a(PQKBTitleCode)TC0001353824 035 $a(PQKBWorkID)11315405 035 $a(PQKB)10637769 035 $a(DE-He213)978-3-662-44860-1 035 $a(MiAaPQ)EBC6286625 035 $a(MiAaPQ)EBC5595377 035 $a(Au-PeEL)EBL5595377 035 $a(OCoLC)893115360 035 $a(PPN)18135392X 035 $a(EXLCZ)993390000000064214 100 $a20140930d2014 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aEnterprise and Organizational Modeling and Simulation $e10th International Workshop, EOMAS 2014, Held at CAiSE 2014, Thessaloniki, Greece, June 16-17, 2014, Selected Papers /$fedited by Joseph Barjis, Robert Pergl 205 $a1st ed. 2014. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2014. 215 $a1 online resource (XII, 219 p. 88 illus.) 225 1 $aLecture Notes in Business Information Processing,$x1865-1356 ;$v191 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-662-44859-9 327 $aPart: 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. 330 $aThis 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. 410 0$aLecture Notes in Business Information Processing,$x1865-1356 ;$v191 606 $aBusiness information services 606 $aInformation technology$xManagement 606 $aApplication software 606 $aComputer simulation 606 $aIT in Business 606 $aComputer Application in Administrative Data Processing 606 $aComputer and Information Systems Applications 606 $aComputer Modelling 615 0$aBusiness information services. 615 0$aInformation technology$xManagement. 615 0$aApplication software. 615 0$aComputer simulation. 615 14$aIT in Business. 615 24$aComputer Application in Administrative Data Processing. 615 24$aComputer and Information Systems Applications. 615 24$aComputer Modelling. 676 $a620.001171 702 $aBarjis$b Joseph$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aPergl$b Robert$4edt$4http://id.loc.gov/vocabulary/relators/edt 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910298988103321 996 $aEnterprise and Organizational Modeling and Simulation$91961593 997 $aUNINA