Ad-Hoc Recovery in Workflows: A Formal Model and Some System Support Aspects.

Published in: CoopIS (1999)

Keyphrases

formal model
knowledge management
data processing
security patterns
data sets
case study
end users
business process
formal models
security properties
web services
data management
exception handling