1、“.....表示原子服务的参数集，表示服务用户的需求集描述的有关原子服务的知识库映射为知识库所，知识库内容主要包含原子服务的质量属性时间属性及执行规则等静态语义信息用户的需求满足判定映射为有向边输入函数，服务变迁执行完成后对服务状态产生的影响映射为有向边输出果函数根据原子服务时间属性，对服务变迁触发时延及服务变迁执行持续时间赋值通过初始化函数对输入库所进行初始化。基于层次实时有色。实时服务描述模型目前服务语义描述领域最成熟的语言是，在构建实时服务描述模型时，我们以对服务语义描述元素为基础来进行构建。把每个服务看成是个过程，并且将服务过程分为原子过程简单过程及复合过程。从服务请求者角度来看，原子过程与简单过程都是步就可以完成......”。

2、“.....我们称其为组合服务。故在构建实时服务的描述模型时要分两个方面进基于层次实时有色网的实时服务描述研究论文原稿正利，杨杨基于模糊网和本体的网格服务发现北京科技大学学报吳哲辉著网导论机械工业出版社，袁崇义著网原理与应用电子工业出版社，刘铭，张国印等基于层次实时有色网的实时系统建模与分析方法研究电子与信息学报，是组合服务的层次结构实时有色网描述模型，则是无死锁的当且仅当∈，≠，≠∈，。命题无死锁是的顶点集，则组合服务系统的总执行时间，其中是的标识和，是从到终端结点路径上的结点，且∈，是服务变迁的触发实际延迟时间，是服务变迁的执行时间。根据命题的定义及服务组合规则，模型是有界的网。同时根据的构造算法及命题可知，模型是无死锁的网。定义当且仅当模型是有界的与无死锁基于网构建了服务组合网来分析多个服务之间的交互......”。

3、“.....服务能相容等价于在图中存在非空最小。但这些基于网的服务描述研究都没有考虑服务的实时性与智能性因素，不适合用于分布式实时系统中的服务描述，为此我们运用层次实时有色网来构建实时服务的形式化描述模型，并采用来表示共享领域知识来保证服务的智能性。层次实时有色网层次实时有色网是由含时间因素的网与有色网结合发展而来，在文献中運用了层次实时实时服务描述模型有效性分析文献针对服务的动态时间有色网模型给出简化算法，但只给出了顺序条件并行及迭代等种服务组合模型的简化方法，没有给出选择组合及任意次序组合模型的简化方法，而且没有考虑变迁的可触发时间区间。根据本文中给出的定义定义及各种服务组合规则，参考文献中的简化算法，我们设计了服务组合描述模型的简化算法。算法服务组合描述模型的简化算法输入输出简化后的实时服务迭代组合模型简化规则制构造算子研究分析，根据表达语义的不同......”。

4、“.....下面给出实时服务迭代组合服务用描述的模型结构与转换规则。根据规范，实际用来进行迭代运算控制的结构包括及。其中，它们分别通过属性和指定执行的初始结束和维持条件，实时服务迭代组合运算符记为。图所示为实时服务的组合运算模型结构，可以表示为。图中变迁分为两种类型，其中换规则。根据规范，实际用来进行迭代运算控制的结构包括及。其中，它们分别通过属性和指定执行的初始结束和维持条件，实时服务迭代组合运算符记为。图所示为实时服务的组合运算模型结构，可以表示为。图中变迁分为两种类型，其中方框中标有的变迁表示服务变迁方框中标有的变迁表示控制变迁，用于执行组合运算为了清晰展示模型结构，模型结构图中省略了时间弧表达式警戒函数等标识，以下类同。在执行过程中，服务变迁将产生个判断条件，根网......”。

5、“.....但只给出了顺序条件并行及迭代等种服务组合模型的简化方法，没有给出选择组合及任意次序组合模型的简化方法，而且没有考虑变迁的可触发时间区间。根据本文中给出的定义定义及各种服务组合规则，参考文献中的简化算法，我们设计了服务组合描述模型的简化算法。算法服务组合描述模型的简化算法输入输出简化后的实时服务迭代组合模型简化规则，布式计算技术，服务则是面向服务计算至今最好实现技术。目前用网来进行服务描述及组合的研究很多，文献利用模糊网作为服务描述语言的基础，并基于模糊网和本体给出了个网格服务发现的多框架，使用可能性和必然性来表示对个服务能为需求提供相关服务的信心程度文献基于网构建了服务组合网来分析多个服务之间的交互，把服务行为相容性问题分析转化为对的结构死锁问题分析，服务能相容等价于在图中存在非空最小......”。

6、“.....用于执行组合运算为了清晰展示模型结构，模型结构图中省略了时间弧表达式警戒函数等标识，以下类同。在执行过程中，服务变迁将产生个判断条件，根据该条件值可决定是否终止循环过程。的语义与此类似，区别在于控制变迁和的警戒函数相反。迭代组合规则为，∪∪，∪，∪∪∪，∪，∪，。标识有向边的有向图，且。其中∈，∈表示颜色到达库所的时间戳是变迁的可能触发时间区间，表示服务变迁执行输出结果值。基于层次实时有色网的实时服务描述研究论文原稿。在构建基于的组合实时服务描述模型时，我们需要对组合服务模型中的变迁进行分类，用于表示被调用服务的变迁称为服务变迁，用于把服务组织成组合服务的变迁称为控制变迁。为了便于组合服务的实时性分析，我们假设所有控制变迁均为瞬时变迁......”。

7、“.....袁崇义著网原理与应用电子工业出版社，刘铭，张国印等基于层次实时有色网的实时系统建模与分析方法研究电子与信息学报，王璞巍，金芝服务语义描述研究综述南京大学学报据该条件值可决定是否终止循环过程。的语义与此类似，区别在于控制变迁和的警戒函数相反。迭代组合规则为，∪∪，∪，∪∪∪，∪，∪，。对组合服务模型简化之后，我们就可以针对简化模型构建可达服务图。文献针对网格服务的有色动态时延网构建了，在此文献基础之上我们给出针对的可达服务图的定义及构建算法。定义的可达服务图是个带标识结点与带，。简化后的模型结构如图所示。在构建基于的组合实时服务描述模型时，我们需要对组合服务模型中的变迁进行分类，用于表示被调用服务的变迁称为服务变迁，用于把服务组织成组合服务的变迁称为控制变迁。为了便于组合服务的实时性分析，我们假设所有控制变迁均为瞬时变迁......”。

8、“.....根据表达语义的不同，可将它们归为类服务组合运算顺序组合运算任意次序组合运算选择组合运算条件组合运算并行组合运算及迭代组合运算。下面给出实时服务迭代组合服务用描述的模型结构与转服务的实时性与智能性因素，不适合用于分布式实时系统中的服务描述，为此我们运用层次实时有色网来构建实时服务的形式化描述模型，并采用来表示共享领域知识来保证服务的智能性。层次实时有色网层次实时有色网是由含时间因素的网与有色网结合发展而来，在文献中運用了层次实时有色网对嵌入式实时硬件电路设计进行建模与分析，并对应用在这种应用情况下的层次实时有色网进行了定义。为了能更适合描述分布式实时系统中的实时服务软件设计建模与分析，根据文献中定义的层次实时有色网，我们重新定义了层次实时有色......”。

9、“.....不适合用于分布式实时系统中的服务描述与组合建模。本文提出的层次实时有色网能很好地对实时服务进行形式化描述模型，采用表示共享领域知识来保证服务的智能性，并构建了模型的简化算法及证明了。未来工作将构建本文提出实时服务模型在些典型实时系统中的原型应用，进步优化模型的组合算法，更好地满足实时性与可信性要求。参考文献翟正利，杨杨基于模糊网和本体的网格服务发现北京科技大学学报网的实时服务描述研究论文原稿。算法与文献中的可覆盖性树构造算法原理相同，故对任何组合服务描述模型，算法都是可以终止的。同时，根据与的定义，以及服务都是按照定的业务逻辑规则进行组合的，故很容易证明算法是正确的，在此证明从略。命题是有界的当且仅当中，每个结点的标识向量中都不含有无限分量。命题是组合服务的层次结构实时有色网描述模型，则是无死锁的当且仅当∈，≠，≠∈，......”。