Verification of coordinated exception handling.

Fernando Castor Filho Alexander B. Romanovsky Cecília M. F. Rubira

Published in: SAC (2006)

Keyphrases

exception handling
object oriented
domain independent
development tools
object oriented programming
multi agent
conflict resolution
model checking
workflow management
cooperative
workflow management systems
programming tool
agent systems
machine learning
artificial intelligence
service oriented