简介:动态服务组合是解决SOA和SOC的重要方案之一.针对动态服务组合的实现,把MAS技术应用到服务组合中.首先对MAS和web服务组合的本质进行分析,讨论了MAS和web服务组合的关系.其次,构建了基于MAS的web服务组合框架,命名为CSMWC,并用Jade实现了该框架.此框架初步实现了语法级别的动态服务组合,并为语义级别的动态服务组合打下基础.为说明构建框架的正确性,应用pi演算对构建的MAS体系结构进行形式化描述,同时对web服务组合中重要的性质如动态性、适应性进行了推理.最后给出了应用基于pi演算的验证工具Pi4SOA进行验证的过程.
简介:本文基于李代数和迹恒等式构造出的一个可积Hamilton系统,给出该系统的一个Bargmann对称约束和关于其Lax对的双非线性化,在此Bargmann对称约束下,该系统的时间部分和空间部分都是有限维的Liouville可积的Hamilton系统。
简介:对Boiti-Leon-Pempinelli系统,通过标准的Painlevé截断展开,获得具有延长结构的Lie点对称矢量场的留数局域对称。从已得到的对称得出一些变换不变性,同时也可利用Clarkson-Kruskal的直接方法得到该系统的对称。通过解特征方程得到该系统的双曲正切函数的显式解。