| HAL-Inria | Publications, software ... of Inria's scientists |
Journal articles
Modeling and Verifying Active XML Artifacts
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. The model captures the essential features of business artifacts as described informally in the paper Nigam & Caswell 2003. We also show how to verify temporal properties for this model.
Cited literature [22 references]
https://hal.inria.fr/inria-00429484
Contributor : Serge Abiteboul <>
Submitted on : Tuesday, November 3, 2009 - 10:13:05 AM
Last modification on : Monday, April 20, 2020 - 4:06:04 PM
Document(s) archivé(s) le : Thursday, June 17, 2010 - 7:09:09 PM
Contributor : Serge Abiteboul <>
Submitted on : Tuesday, November 3, 2009 - 10:13:05 AM
Last modification on : Monday, April 20, 2020 - 4:06:04 PM
Document(s) archivé(s) le : Thursday, June 17, 2010 - 7:09:09 PM
File
AbiteboulSegoufinVianu09.pdf
Files produced by the author(s)