↓ Skip to main content
What is this page? Embed badge

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

Overview of attention for book
Cover of 'Enterprise and Organizational Modeling and Simulation : 10th International Workshop, EOMAS 2014, Held at CAiSE 2014, Thessaloniki, Greece, June 16-17, 2014, Selected Papers'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 Extraction and Reconstruction of Enterprise Models
  3. Altmetric Badge
    Chapter 2 Towards Multi-perspective Process Model Similarity Matching
  4. Altmetric Badge
    Chapter 3 Verifying Cross-Organizational Workflows Over Multi-Agent Based Environments
  5. Altmetric Badge
    Chapter 4 Modeling and Visualization of Urban Planning and Building Development Processes for Local Government of Small Settlements
  6. Altmetric Badge
    Chapter 5 Enterprise Architecture: A Formalism for Modeling Organizational Structures in Information Systems
  7. Altmetric Badge
    Chapter 6 Business Rules, Constraints and Simulation for Enterprise Governance
  8. Altmetric Badge
    Chapter 7 The Prefix Machine – a Formal Foundation for the BORM OR Diagrams Validation and Simulation
  9. Altmetric Badge
    Chapter 8 Simulation-Based Cyber-Attack Assessment of Critical Infrastructures
  10. Altmetric Badge
    Chapter 9 Emergency Response Planning Information System
  11. Altmetric Badge
    Chapter 10 On Compatibility Analysis of Inter Organizational Business Processes
  12. Altmetric Badge
    Chapter 11 Recovering Traceability Links Between Code and Specification Through Domain Model Extraction
  13. Altmetric Badge
    Chapter 12 Choreography Modeling Compliance for Timed Business Models
Attention for Chapter 3: Verifying Cross-Organizational Workflows Over Multi-Agent Based Environments
Altmetric Badge

Citations

dimensions_citation
3 Dimensions
Summary Dimensions citations
You are seeing a free-to-access but limited selection of the activity Altmetric has collected about this research output. Click here to find out more.
Chapter title
Verifying Cross-Organizational Workflows Over Multi-Agent Based Environments
Chapter number 3
Book title
Enterprise and Organizational Modeling and Simulation
Published by
Springer, Berlin, Heidelberg, June 2014
DOI 10.1007/978-3-662-44860-1_3
Book ISBNs
978-3-66-244859-5, 978-3-66-244860-1
Authors

Mirtha Lina Fernández Venero

View on publisher site

This page is provided by Altmetric.