基于pi-演算的web服务形式化描述模型-计算机应用技术专业论文.docxVIP

PiFM4WS. The type system is added to PiFM4WS, and base on it, replaceability definition is proposed according to the relationship between subtypes and refines Web service compatibility. Replaceability verification method under the dynamic architecture of Web services is proposed according to the channel classification of process-related and combining Pi-calculus substitution algorithm. (4) Formal description of the service network provides a theoretical basis of automatic Web service composition. The communication channel structure between abstract services and concrete services is abstracted