On the Move to Meaningful Internet Systems 2007: CoopIS, DOA, ODBASE, GADA, and IS

CoopIS 2007 International Conference (International Conference on Cooperative Information Systems)

1. Front Matter

   Pages 1-1

   PDF

2. CoopIS 2007 PC Co-chairs’ Message

   • Francisco Curbera, Frank Leymann, Mathias Weske

   Pages 3-3

3. Keynote

   1. The Internet Service Bus

      • Donald F. Ferguson

      Pages 5-5

4. Process Analysis and Semantics

   1. Soundness Verification of Business Processes Specified in the Pi-Calculus

      • Frank Puhlmann

      Pages 6-23

   2. Extending BPMN for Modeling Complex Choreographies

      • Gero Decker, Frank Puhlmann

      Pages 24-40

   3. Semantics of Standard Process Models with OR-Joins

      • Marlon Dumas, Alexander Grosskopf, Thomas Hettel, Moe Wynn

      Pages 41-58

   4. Pattern-Based Design and Validation of Business Process Compliance

      • Kioumars Namiri, Nenad Stojanovic

      Pages 59-76

5. Process Modeling

   1. Constraint-Based Workflow Models: Change Made Easy

      • M. Pesic, M. H. Schonenberg, N. Sidorova, W. M. P. van der Aalst

      Pages 77-94

   2. Dynamic, Extensible and Context-Aware Exception Handling for Workflows

      • Michael Adams, Arthur H. M. ter Hofstede, Wil M. P. van der Aalst, David Edmond

      Pages 95-112

   3. Understanding the Occurrence of Errors in Process Models Based on Metrics

      • Jan Mendling, Gustaf Neumann, Wil van der Aalst

      Pages 113-130

   4. Data-Driven Modeling and Coordination of Large Process Structures

      • Dominic Müller, Manfred Reichert, Joachim Herbst

      Pages 131-149

   5. Supporting Ad-Hoc Changes in Distributed Workflow Management Systems

      • Manfred Reichert, Thomas Bauer

      Pages 150-168

6. P2P

   1. Acquaintance Based Consistency in an Instance-Mapped P2P Data Sharing System During Transaction Processing

      • Md Mehedi Masud, Iluju Kiringa

      Pages 169-187

   2. Enabling Selective Flooding to Reduce P2P Traffic

      • Francesco Buccafurri, Gianluca Lax

      Pages 188-205

   3. Improving the Dependability of Prefix-Based Routing in DHTs

      • Sabina Serbu, Peter Kropf, Pascal Felber

      Pages 206-225

7. Collaboration

   1. Social Topology Analyzed

      • Njål T. Borch, Anders Andersen, Lars K. Vognild

      Pages 226-237

   2. Conflict Resolution of Boolean Operations by Integration in Real-Time Collaborative CAD Systems

      • Yang Zheng, Haifeng Shen, Steven Xia, Chengzheng Sun

      Pages 238-252

   3. Trust Extension Device: Providing Mobility and Portability of Trust in Cooperative Information Systems

      • Surya Nepal, John Zic, Hon Hwang, David Moreland

      Pages 253-271

   4. Organizing Meaning Evolution Supporting Systems Using Semantic Decision Tables

      • Yan Tang, Robert Meersman

      Pages 272-284