Skip to main content
  • Conference proceedings
  • © 2005

On the Move to Meaningful Internet Systems 2005: CoopIS, DOA, and ODBASE

OTM Confederated International Conferences, CoopIS, DOA, and ODBASE 2005, Agia Napa, Cyprus, October 31 - November 4, 2005, Proceedings Part I

Conference proceedings info: OTM 2005.

Buying options

eBook USD 84.99
Price excludes VAT (Canada)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 109.99
Price excludes VAT (Canada)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

This is a preview of subscription content, access via your institution.

Table of contents (56 papers)

  1. Front Matter

  2. OTM 2005 Keynotes

    1. Probabilistic Ontologies and Relational Databases

      • Octavian Udrea, Deng Yu, Edward Hung, V. S. Subrahmanian
      Pages 1-17
    2. Intelligent Web Service – From Web Services to .Plug&Play. Service Integration

      • Erich Neuhold, Thomas Risse, Andreas Wombacher, Claudia Niederée, Bendick Mahleko
      Pages 18-19
    3. Process Modeling in Web Applications

      • Stefano Ceri
      Pages 20-20
  3. Cooperative Information Systems (CoopIS) 2005 International Conference

    1. CoopIS 2005 PC Co-chairs’ Message

      • Mohand-Said Hacid, John Mylopoulos, Barbara Pernici
      Pages 21-21
    2. Workflow

      1. A Service-Oriented Workflow Language for Robust Interacting Applications
        • Surya Nepal, Alan Fekete, Paul Greenfield, Julian Jang, Dean Kuo, Tony Shi
        Pages 40-58
      2. Balancing Flexibility and Security in Adaptive Process Management Systems
        • Barbara Weber, Manfred Reichert, Werner Wild, Stefanie Rinderle
        Pages 59-76
    3. Workflow and Business Processes

      1. Enabling Business Process Interoperability Using Contract Workflow Models
        • Jelena Zdravkovic, Vandana Kabilan
        Pages 77-93
      2. Resource-Centric Worklist Visualisation
        • Ross Brown, Hye-young Paik
        Pages 94-111
    4. Mining and Filtering

      1. Process Mining and Verification of Properties: An Approach Based on Temporal Logic
        • W. M. P. van der Aalst, H. T. de Beer, B. F. van Dongen
        Pages 130-147
      2. Mapping Discovery for XML Data Integration
        • Zoubida Kedad, Xiaohui Xue
        Pages 166-182
    5. Petri Nets and Processs Management

      1. Colored Petri Nets to Verify Extended Event-Driven Process Chains
        • Kees van Hee, Olivia Oanea, Natalia Sidorova
        Pages 183-201
      2. Petri Net + Nested Relational Calculus = Dataflow
        • Jan Hidders, Natalia Kwasnikowska, Jacek Sroka, Jerzy Tyszkiewicz, Jan Van den Bussche
        Pages 220-237
    6. Information Access and Integrity

      1. On the Controlled Evolution of Access Rules in Cooperative Information Systems
        • Stefanie Rinderle, Manfred Reichert
        Pages 238-255
      2. Filter Merging for Efficient Information Dissemination
        • Sasu Tarkoma, Jaakko Kangasharju
        Pages 274-291

Keywords

  • Internet
  • architectures
  • classification
  • communication
  • filtering
  • ontology
  • semantics
  • verification

Editors and Affiliations

  • STARLab, Vrije Universiteit Brussel (VUB), Brussels, Belgium

    Robert Meersman

  • School of Computer Science and Information Technology, RMIT University, Melbourne, Australia

    Zahir Tari

Bibliographic Information

Buying options

eBook USD 84.99
Price excludes VAT (Canada)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 109.99
Price excludes VAT (Canada)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions