Formal Modeling and Verifications of Deadlock Prevention Solutions in Web Service Oriented System.
Jieqi DingHan ZhuHuibiao ZhuQin LiPublished in: ECBS (2010)
Keyphrases
- service oriented
- model driven
- web services
- highly dynamic
- website
- web applications
- service oriented architecture
- service composition
- enabling technologies
- web technologies
- web pages
- optimal solution
- semantic web
- service selection
- service systems
- petri net
- end users
- semantic web services
- database systems
- workflow management
- service oriented computing
- business process modeling
- loose coupling