随着经济的不断发展,业务变得愈发复杂,企业对信息系统的要求越来越高。信息系统由以数据为中心的结构向以模型驱动的过程感知的信息系统转变。业务过程成为企业业务的核心。然而,当前以工作流技术为基础的业务过程管理系统在资源描述和过程自适应方面仍有不足,导致当今在资源、组织结构不断变化的情况下,业务人员需要不断的在众多业务过程模型当中手动寻找并解决模型当中因资源变化而出现的错误信息,这种方法费时费力。出现这种情况是因为资源是过程中任务能够被执行的必要元素,资源和任务之间有着不可分割的关系。资源的变化导致某些任务缺少必要的资源而无法被执行,需要在过程模型中对这样的任务进行处理,即修改过程模型。而以工作流网作为语义基础的建模语言对资源描述能力很弱,无法应对上述情况。为了使上述情况能够在信息系统的帮助下高效、稳定的得以解决,需要解决两个问题:(1)建立包含完整的有关资源和任务关系的信息的建模语言,使所构建的过程模型包含完整的资源信息。当资源变化导致过程模型当中的任务无法被执行时,模型可以自动检测到需要处理的任务,即做到资源感知;(2)基于建模语言,定义自适应行为语义,为业务人员提供适当的修改操作。本文总结并沿用了建模语言扩展的一般方法,对工作流网进行资源描述的扩展,得到资源感知的工作流网RAWF-net(Resource-aware workflow net)的语法、语义定义,在定义当中给出了资源和任务关系的计算方法,做到模型上的资源感知。此外,本文定义了 RAWF-net的合理性;并定义了当资源变化引起的RAWF-net合理性不再满足时,作用在模型上的自适应行为语义;并讨论了自适应行为语义的语法、语义正确性成立条件。上述工作形成一般建模语言在资源感知及其自适应行为语义扩展的语义基础。更进一步,本文对BPMN(BusinessProcessModelingNotation)进行了资源感知和自适应行为语义的扩展工作,得到RA-BPMN语法定义和其上的自适应行为语义,并借助RA-BPMN模型到语义等价的感知RAWF-net模型的转换完成RA-BPMN模型相关的语义验证工作。最后在Activiti系统平台上完成过程模型元数据扩展工作并设计算法实现了 RA-BPMN模型合理性验证和自适应行为语义。