OTM Conferences 2007: Vilamoura, Portugal - Volume 1

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

• Francisco Curbera, Frank Leymann, Mathias Weske:
  CoopIS 2007 PC Co-chairs' Message. 3
  

Keynote

• Donald F. Ferguson:
  The Internet Service Bus. 5
  

Process Analysis and Semantics

• Frank Puhlmann:
  Soundness Verification of Business Processes Specified in the Pi-Calculus. 6-23
  
• Gero Decker, Frank Puhlmann:
  Extending BPMN for Modeling Complex Choreographies. 24-40
  
• Marlon Dumas, Alexander Großkopf, Thomas Hettel, Moe Thandar Wynn:
  Semantics of Standard Process Models with OR-Joins. 41-58
  
• Kioumars Namiri, Nenad Stojanovic:
  Pattern-Based Design and Validation of Business Process Compliance. 59-76
  

Process Modeling

• Maja Pesic, M. H. Schonenberg, Natalia Sidorova, Wil M. P. van der Aalst:
  Constraint-Based Workflow Models: Change Made Easy. 77-94
  
• Michael Adams, Arthur H. M. ter Hofstede, Wil M. P. van der Aalst, David Edmond:
  Dynamic, Extensible and Context-Aware Exception Handling for Workflows. 95-112
  
• Jan Mendling, Gustaf Neumann, Wil M. P. van der Aalst:
  Understanding the Occurrence of Errors in Process Models Based on Metrics. 113-130
  
• Dominic Müller, Manfred Reichert, Joachim Herbst:
  Data-Driven Modeling and Coordination of Large Process Structures. 131-149
  
• Manfred Reichert, Thomas Bauer:
  Supporting Ad-Hoc Changes in Distributed Workflow Management Systems. 150-168
  

P2P

• Mehedi Masud, Iluju Kiringa:
  Acquaintance Based Consistency in an Instance-Mapped P2P Data Sharing System During Transaction Processing. 169-187
  
• Francesco Buccafurri, Gianluca Lax:
  Enabling Selective Flooding to Reduce P2P Traffic. 188-205
  
• Sabina Serbu, Peter Kropf, Pascal Felber:
  Improving the Dependability of Prefix-Based Routing in DHTs. 206-225
  

Collaboration

• Njål T. Borch, Anders Andersen, Lars Kristian Vognild:
  Social Topology Analyzed. 226-237
  
• Yang Zheng, Haifeng Shen, Steven Xia, Chengzheng Sun:
  Conflict Resolution of Boolean Operations by Integration in Real-Time Collaborative CAD Systems. 238-252
  
• Surya Nepal, John Zic, Hon Hwang, David Moreland:
  Trust Extension Device: Providing Mobility and Portability of Trust in Cooperative Information Systems. 253-271
  
• Yan Tang, Robert Meersman:
  Organizing Meaning Evolution Supporting Systems Using Semantic Decision Tables. 272-284
  

Business Transactions

• Yu Zhang, Wenfei Fan, Huajun Chen, Hao Sheng, Zhaohui Wu:
  Extending Online Travel Agency with Adaptive Reservations. 285-299
  
• K. Vidyasankar, P. Radha Krishna, Kamalakar Karlapalem:
  A Multi-level Model for Activity Commitments in E-contracts. 300-317
  
• Pierre Sutra, João Barreto, Marc Shapiro:
  Decentralised Commitment for Optimistic Semantic Replication. 318-335
  
• Stefan Pottinger, Ralph Mietzner, Frank Leymann:
  Coordinate BPEL Scopes and Processes by Extending the WS-Business Activity Framework. 336-352
  
• Walid Gaaloul, Mohsen Rouached, Claude Godart, Manfred Hauswirth:
  Verifying Composite Service Transactional Behavior Using Event Calculus. 353-370
  

Short Papers

• S. J. Overbeek, Patrick van Bommel, Henderik Alex Proper, Daan B. B. Rijsenbrij:
  Matching Cognitive Characteristics of Actors and Tasks. 371-380
  
• Ronny Siebes, David Dupplaw, Spyros Kotoulas, Adrian Perreau de Pinninck, Frank van Harmelen, David Robertson:
  The OpenKnowledge System: An Interaction-Centered Approach to Knowledge Sharing. 381-390
  
• Salvatore Garruzzo, Domenico Rosaci:
  Ontology Enrichment in Multi Agent Systems Through Semantic Negotiation. 391-398
  
• Katja Hose, Christian Lemke, Kai-Uwe Sattler, Daniel Zinn:
  A Relaxed But Not Necessarily Constrained Way from the Top to the Sky. 399-407
  
• Alexandre de Spindler, Moira C. Norrie, Michael Grossniklaus:
  Collaborative Filtering Based on Opportunistic Information Sharing in Mobile Ad-Hoc Networks. 408-416
  
• Tan Phan, Jun Han, Jean-Guy Schneider, Tim Ebringer, Tony Rogers:
  Policy-Based Service Registration and Discovery. 417-426
  
• Jorge Cardoso:
  Business Process Quality Metrics: Log-Based Complexity of Workflow Patterns. 427-434
  

Distributed Objects and Applications (DOA) 2007 International Conference

• Pascal Felber, Calton Pu, Aad P. A. van Moorsel:
  DOA 2007 PC Co-chairs' Message. 437
  

Keynote

• Mark C. Little:
  WS-CAF: Contexts, Coordination and Transactions for Web Services. 439-453
  

Dependability and Security

• Yuichi Sei, Shinichi Honiden:
  Resilient Security for False Event Detection Without Loss of Legitimate Events in Wireless Sensor Networks. 454-470
  
• Valério Rosset, Pedro F. Souto, Francisco Vasques:
  Formal Verification of a Group Membership Protocol Using Model Checking. 471-488
  
• María Idoia Ruiz-Fuertes, Jerónimo Pla-Civera, José Enrique Armendáriz-Iñigo, José Ramón González de Mendívil, Francesc D. Muñoz-Escoí:
  Revisiting Certification-Based Replicated Database Recovery. 489-504
  
• Muhammad Fahad, Aamer Nadeem, Michael R. Lyu:
  A Survey of Fault Tolerant CORBA Systems. 505-521
  

Middleware and Web Services

• Ralf Wagner, Bernhard Mitschang:
  Flexible Reuse of Middleware Infrastructures in Heterogeneous IT Environments. 522-539
  
• Christophe Taton, Noel De Palma, Daniel Hagimont, Sara Bouchenak, Jeremy Philippe:
  Self-optimization of Clustered Message-Oriented Middleware. 540-557
  
• Khoi Anh Phan, Peter Bertók, Andrew Fry, Caspar Ryan:
  Minimal Traffic-Constrained Similarity-Based SOAP Multicast Routing Protocol. 558-576
  
• Carlos R. Jaimez González, Simon M. Lucas:
  Implementing a State-Based Application Using Web Objects in XML. 577-594
  

Aspects and Development Tools

• John A. Zinky, Richard Shapiro, Sarah Siracuse, Todd Wright:
  Experience with Dynamic Crosscutting in Cougaar. 595-612
  
• Dong Ha Nguyen, Mario Südholt:
  Property-Preserving Evolution of Components Using VPA-Based Aspects. 613-629
  
• Bert Lagaisse, Eddy Truyen, Wouter Joosen:
  Multi-stage Aspect-Oriented Composition of Component-Based Applications. 630-647
  
• Giuliano Mega, Fabio Kon:
  An Eclipse-Based Tool for Symbolic Debugging of Distributed Object Systems. 648-666
  

Mobility and Distributed Algorithms

• Carlo Blundo, Emiliano De Cristofaro:
  A Bluetooth-Based JXME Infrastructure. 667-682
  
• Fuyuki Ishikawa, Nobukazu Yoshioka, Shinichi Honiden:
  Agreements and Policies in Cooperative Mobile Agents: Formalization and Implementation. 683-700
  
• Roberto Baldoni, Angelo Corsaro, Leonardo Querzoni, Sirio Scipioni, Sara Tucci Piergiovanni:
  An Adaptive Coupling-Based Algorithm for Internal Clock Synchronization of Large Scale Dynamic Systems. 701-716
  
• Rubén de Juan-Marín, Luis H. García-Muñoz, José Enrique Armendáriz-Iñigo, Francesc D. Muñoz-Escoí:
  Reviewing Amnesia Support in Database Recovery Protocols. 717-734
  

Frameworks, Patterns, and Testbeds

• Nataliya Mulyar, Lachlan Aldred, Wil M. P. van der Aalst:
  The Conceptualization of a Configurable Multi-party Multi-message Request-Reply Conversation. 735-753
  
• Liliana Rosa, Luís Rodrigues, Antónia Lopes:
  Building Adaptive Systems with Service Composition Frameworks. 754-771
  
• Luis Daniel Benavides Navarro, Mario Südholt, Rémi Douence, Jean-Marc Menaud:
  Invasive Patterns for Distributed Programs. 772-789
  
• Diego Palmisano, Mariano Cilia:
  NSLoadGen- A Testbed for Notification Services. 790-807
  

Ontologies, Databases and Applications of Semantics (ODBASE) 2007 International Conference

• Tharam S. Dillon, Michele Missikoff, Steffen Staab:
  ODBASE 2007 PC Co-chairs' Message. 811-812
  

Keynote

• York Sure:
  Towards Next Generation Value Networks. 813
  

Ontology Mapping

• Ruben Vazquez, Nik Swoboda:
  Combining the Semantic Web with the Web as Background Knowledge for Ontology Mapping. 814-831
  
• Han Qin, Dejing Dou, Paea LePendu:
  Discovering Executable Semantic Mappings Between Ontologies. 832-849
  
• Chrisa Tsinaraki, Stavros Christodoulakis:
  Interoperability of XML Schema Applications with OWL Domain Knowledge and Semantic Web Tools. 850-869
  

Semantic Querying

• Anthony Ventresque, Sylvie Cazalens, Philippe Lamarre, Patrick Valduriez:
  Query Expansion and Interpretation to Go Beyond Semantic P2P Interoperability. 870-877
  
• Axel Polleres, François Scharffe, Roman Schindlauer:
  SPARQL++ for Mapping Between RDF Vocabularies. 878-896
  
• Ernesto Jiménez-Ruiz, Rafael Berlanga Llavori, Victoria Nebot, Ismael Sanz:
  OntoPath: A Language for Retrieving Ontology Fragments. 897-914
  

Ontology Development

• Mahmood Neshati, Leila Sharif Hassanabadi:
  Taxonomy Construction Using Compound Similarity Measure. 915-932
  
• José Júlio Alferes, Ricardo Amador:
  r ³- A Foundational Ontology for Reactive Rules. 933-952
  
• Sumit Sen, Antonio Krüger:
  Heuristics for Constructing Bayesian Network Based Geospatial Ontologies. 953-970
  
• Eva Blomqvist:
  OntoCase - A Pattern-Based Ontology Construction Approach. 971-988
  
• Pieter De Leenheer, Robert Meersman:
  Towards Community-Based Evolution of Knowledge-Intensive Systems. 989-1006
  
• Andreas Walter, Gábor Nagypál:
  ImageNotion: Methodology, Tool Support and Evaluation. 1007-1024
  

Learning and Text Mining

• Sumit Sen, Dolphy Fernandes, N. L. Sarda:
  Optimal Learning of Ontology Mappings from Human Interactions. 1025-1033
  
• Issam Al Haj Hasan, Michel Schneider, Grigore Gogu:
  Automatic Feeding of an Innovation Knowledge Base Using a Semantic Representation of Field Knowledge. 1034-1049
  
• Jon Atle Gulla, Hans Olaf Borch, Jon Espen Ingvaldsen:
  Ontology Learning for Search Applications. 1050-1062
  

Annotation and Metadata Management

• Sebastian Ryszard Kruk, Adam Gzella, Filip Czaja, Wladyslaw Bultrowicz, Ewelina Kruk:
  MultiBeeBrowse - Accessible Browsing on Unstructured Metadata. 1063-1080
  
• Christoph Quix, David Kensche, Xiang Li:
  Matching of Ontologies with XML Schemas Using a Generic Metamodel. 1081-1098
  
• Altigran Soares da Silva, Denilson Barbosa, João M. B. Cavalcanti, Marco A. S. Sevalho:
  Labeling Data Extracted from the Web. 1099-1116
  

Ontology Applications

• Olivier Curé, Robert Jeansoulin:
  Data Quality Enhancement of Databases Using Ontologies and Inductive Reasoning. 1117-1134
  
• Mercedes Argüello Casteleiro, Mukhtar Abusa, Maria Jesus Fernandez Prieto, Veronica Brookes, Fonbeyin Henry Abanda:
  A Web Services-Based Annotation Application for Semantic Annotation of Highly Specialised Documents About the Field of Marketing. 1135-1152
  
• Claude Moulin, Fathia Bettahar, Jean-Paul A. Barthès, Marco Luca Sbodio:
  Ontology Based Categorization in eGovernment Application. 1153-1160
  
• Andreas Billig, Eva Blomqvist, Feiyu Lin:
  Semantic Matching Based on Enterprise Ontologies. 1161-1168