A Formal Model for Service Choreography with Exception Handling and Finalization.
Yongxin ZhaoZheng WangGeguang PuHuibiao ZhuPublished in: TASE (2010)
Keyphrases
- formal model
- exception handling
- service oriented architecture
- service oriented
- workflow management
- object oriented
- domain independent
- development tools
- object oriented programming
- conflict resolution
- programming tool
- web services
- service composition
- agent systems
- management system
- workflow management systems
- security properties
- conceptual framework
- programming language
- general purpose
- case study