Keyword : Q-algebra


A Formal Model to Enforce Trustworthiness Requirements in Service Composition
Ning FU Yingfeng ZHANG Lijun SHAN Zhiqiang LIU Han PENG 
Publication:   
Publication Date: 2017/09/01
Vol. E100-D  No. 9 ; pp. 2056-2067
Type of Manuscript:  PAPER
Category: Software System
Keyword: 
trustworthy softwareprocess algebrapi-calculusQ-algebrasemi-ring
 Summary | Full Text:PDF(798KB)