A Formal Model to Enforce Trustworthiness Requirements in Service Composition.
Ning FuYingfeng ZhangLijun ShanZhiqiang LiuHan PengPublished in: IEICE Trans. Inf. Syst. (2017)
Keyphrases
- formal model
- service composition
- web service composition
- business requirements
- web service compositions
- web services
- petri net
- service selection
- service oriented
- composite web services
- qos aware
- web services composition
- security properties
- composition of web services
- service oriented computing
- goal driven
- predicate calculus
- ai planning
- service oriented architecture
- petri net model
- composite services
- asynchronous communication
- ws bpel
- web service selection
- formal models
- functional requirements
- service discovery
- service integration
- semantic modeling
- smart card
- response time