基于Petri Nets协调机制研究.docVIP

基于Petri Nets协调机制研究 　　摘要：利用形式化和图形化的建模工具Petri Nets对协调问题中的依赖关系及协调机制进行研究；提出任务之间基于资源的三种基本依赖关系；并用Petri Nets对这三种依赖关系相应的协调机制进行了表述，为协调问题的可计算描述提供了一种新的思考角度。?? 　　关键词：协调； 依赖关系； 协调机制； Petri网?? 　　中图分类号：TP3014文献标志码：A 　　文章编号2007 　　 　　0引言?? 　　 　　协调作为一个重要的概念广泛地出现在多个学科和社会经济领域中，成为广大学者共同关注的一个研究课题。近年来，关于协调已有大量的研究成果，例如组织理论中基于角色的任务分派[1]、运筹学中关于资源分配的优化模型[2]、分布式开放系统中支持软件集成的软件平台Middleware等[3]。然而这些关于协调的研究成果与具体应用领域密切相关，可移植性差，不利于协调理论及其应用的进一步发展。因此人们致力于探索通用的协调理论。?? 　　Malone和Crowston综合多个学科关于协调的研究成果后，给出的定义是：协调是用来管理活动间依赖关系的额外动作[4]。这种基于依赖观点的研究从协调问题的描述层上研究协调，侧重于协调问题的表达。其研究思路是通过对协调问题的分析，将其中的依赖进行分类，然后针对各种依赖设计相应的协调策略，静态地反映协调的两个过程，即发现依赖和决定行动。这种研究方法，使得协调脱离了具体的应用领域而存在，成为一种专门的知识（对应于领域知识而言）。作为研究成果的依赖关系以及相应的协调策略可以在解决各个领域中不同的协调问题时发挥作用。?? 　　然而目前对于依赖关系及协调策略的研究，多是作定性表述，给出的一般都是非形式化描述。这样不利于协调问题在计算机上的表述，难以实现协调问题的计算机求解，阻碍了协调理论的进一步发展。针对这一问题，本文利用形式化和图形化的建模工具Petri Nets对协调问题中的依赖关系及协调机制进行了研究。?? 　　 　　1任务之间依赖关系的描述?? 　　 　　1.1任务之间依赖关系的文献综述?? 　　关于任务之间依赖关系的研究已经有相当长的历史，主要的研究成果集中在组织科学领域和人工智能领域。在组织科学领域，有的学者从任务执行体的角度讨论依赖关系，如Thompson在其组织理论中提出汇聚（Pooled）、序列（Sequential）和交互（Reciprocal）三种相互依赖[5]。有的学者从任务执行时间角度来讨论依赖关系，如Allen提出活动基于时间的Before、Meet、Overlap、Start、End、During、Equal七种基本相互依赖[6]。还有的学者从任务执行时所消耗的资源出发来研究相互依赖，如Malone和Crowston提出的三种基本相互依赖，即流（Flow）依赖、共享（Sharing）依赖和共同（Fit）依赖[7]。在人工智能领域，Von Martial将任务之间的依赖关系分为有利的（Positive）和不利的（Negative）两种。其中有利的关系包括协同关系、平等关系等，不利的关系包括使用资源的冲突、逻辑上的不相容等[8]。Chen和Decker按任务之间关系的紧密程度将依赖关系分为硬（Hard）关系和软（Soft）关系。其中硬关系包括使能（Enable）关系等，软关系包括促进（Facilitate）关系等[9]。Omicini A.和Ossowski S.按任务关系的存在方式将依赖关系分为主观（Objective）依赖和客观（Subjective）依赖[10]。另外Raposo将任务之间的依赖分为时序依赖和资源依赖两种类型，分别从任务的执行级和对象级两个层次上加以讨论，定义任务之间的相互依赖框架[11]。?? 　　 　　1.2任务之间基于资源的依赖关系?? 　　Malone从与多个活动相关的资源出发，提出了三种基本相互依赖，即流依赖、共享依赖和共同依赖，如图1所示。其中流依赖是指一个活动发生所需要的资源由另一个活动产生，如流水线作业中相邻两个活动间的关系；共享依赖是指多个活动的发生需要相同的资源，如两个活动都需要使用同一台机器或由同一个人完成；共同依赖是指多个活动共同产生某种资源，如对于汽车这种资源，是由生产零部件和组装等活动共同产生的[12]。?? 　　目标和行动在微观层次上可以得到统一，任何一个目标都可以分解为不能再继续细分的子目标；而每一个小的子目标都可以用一个行动（或是一系列小的行动组成复杂的行动）来完成。这里将目标和行动统一抽象为任务，认为一个需要协调的环境，只由两部分组成，即资源和任务。其中资源是一个广义概念，既包括行动所需要的资源，也包括行动的执行者。