Arrow Research search
Back to TIME

TIME 2009

The AXML Artifact Model

Invited Paper Invited Talks Logic in Computer Science ยท Temporal Reasoning

Abstract

Towards a data-centric workflow approach, we introduce an artifact model to capture data and workflow management activities in distributed settings. The model is built on Active XML, i. e. , XML trees including Web service calls. We argue that the model captures the essential features of business artifacts as described informally in [A. Nigam and N. Caswell (2003)] or discussed in [R. Hull (2008)]. To illustrate, we briefly consider the monitoring of distributed systems and the verification of temporal properties for them.

Authors

Keywords

  • XML
  • Monitoring
  • Logic
  • Web services
  • History
  • Manufacturing systems
  • Humans
  • Spatial databases
  • Database systems
  • Control systems
  • Web Server
  • Calls For Service
  • Rest Of The World
  • Access Control
  • Hibernation
  • Stream Processing
  • Free Variables
  • Function Calls
  • Running Example
  • Internet Shopping
  • Workflow Systems
  • Scientific Workflow
  • database
  • workflow
  • artifact
  • documents

Context

Venue
International Symposium on Temporal Representation and Reasoning
Archive span
1994-2025
Indexed papers
711
Paper id
210236296274325687
v2026.09.13