Verification Framework for Dynamic Collaborative Services in Service-Oriented Architecture.
Wei-Tek TsaiQian HuangBingnan XiaoYinong ChenPublished in: QSIC (2006)
Keyphrases
- service oriented architecture
- service oriented
- web services
- artifact centric
- loose coupling
- loosely coupled
- service discovery
- lightweight
- service composition
- model driven
- virtual organization
- user centric
- model checking
- service oriented computing
- business process
- semantic web services
- ubiquitous computing
- service description
- business processes
- web service composition
- software architecture
- business logic
- cloud computing
- distributed systems