摘要： 文章解决了构件的可替换性问题。 s1.1 本节首先给出构件动态交互协议的基本概念,用有限状态自动机来形式化描述构件动态交互的时序约束,给出了构件交互兼容性的定义,然后给出在交互协议层面构件替换应考虑的问题. s1.2 交互的兼容性要求替换后交互双方动作能够继续进行即可。给出了状态兼容性与构件交互兼容性的定义。用有限自动机的形式来表示状态如何兼容以及构件是如何兼容的。 判定动作匹配的主要思路是,基于动作逆变和逆变关系分析(即输入动作存在逆变关系,输出动作存在协变关系).判定步骤可分两步:首先,基于领域本体进行概念层面的判定;其次,基于接口型构进行子类型分析判定。2.1 环境行为不确定时构件的替换 阅读全文

摘要： 本文提出了用服务组合模板的方法使用户进行大粒度服务组合的方法。可以看成是对现在服务组合的逻辑结构等的重用。s3 3.1给出服务组合模板的定义，并从使用服务的角度，分为逻辑模板、领域模板和用户模板，个性化依次增强。逻辑模板给出顺序，并发，选择与重复四个逻辑结构。领域模板由领域专家参照逻辑模板而给出。用户模板在领域模板的基础上得到。用户面对的是领域模板，给出了领域模板推荐算法 3.2 基于时序约束进行设计 给出时间点的概念，并根据时间点给出两个任务的时序关系。将时序关系转换为控制逻辑。转换成的有顺序与并发关系。像选择与循环是无法转换的。与基于BPEL4WS的服务组合方法相比：适用于一般用户，而非专 阅读全文