FSM4WSR: A Formal Model for Verifiable Web Service Runtime.
Zhuqing LiDianfu MaYongwang ZhaoJing LiQing YangPublished in: APSCC (2011)
Keyphrases
- formal model
- web services
- finite state machines
- quality of service
- service architecture
- service providers
- web service composition
- web service selection
- service oriented
- web applications
- semantic web services
- formal models
- secret sharing
- security properties
- reference architecture
- loosely coupled
- web service discovery
- predicate calculus
- information systems
- semantic web technologies
- seamless integration
- service selection
- sufficient conditions
- xml technology
- web service descriptions