基于行为描述的软件构件组合兼容性检查

定义构件的基调视图和行为视图,给出将构件行为转化为π演算进程表达的建模方法,并设计实现构件行为的π演算描述自动转换的算法。结合一个电子商务的实例,借助π演算的操作语义和形式化推理技术实现对软件构件组合时的兼容性进行检查。

基于行为描述的Web服务组合兼容性检查

定义了服务的基调视图和行为视图,设计了将Web服务行为转换为π演算进程表达的建模方法,并给出了实现服务视图向π演算进程自动转换的算法;最后借助π演算的操作语义和形式化推理技术实现了对Web服务组合时的兼容性进行检查。

基于π演算的Web Services接口扩展与描述

定义了服务的基调视图和行为视图,接着设计了将Web服务行为转化为π演算进程表达的建模方法,并给出了实现服务视图向π演算进程自动转换的算法,形成了基于π演算理论的Web服务组合推理的基础.