工作流中资源的形式化建模.pdfVIP

Compl山T Engin.eering α时Applicatiom 计算机工程与应用 2佣8 ,44( 14) 219 工作流中资源的形式化建模 邢光林，刘卫平 XING Guang-lin ,LlU Wei-ping 中南民族大学计算机科学学院，武识的阳4 College of Computer Science ,South帽Central University for Natíonalities ,Wuhan 43ω74， China E-mail: xìngguanglín@ 伊叩l. com XING Guang.Lin ,LIU W协Ping. Formaliza创00 modeling of resource理 among world1ow. Computer Engioeerin路 and Applica- 创0时，2ω8 ,44( 14) :219-211. Abstract: Although people work hard to completely computerize workflow mana在ement ,the result shows that 出is goal can not be realized ín nowadays wíth highly developed techníque or even in the foreseeable future. Many tasks which constitute a workflow still need to be executed by users. This paper first discusses the clωsìfication of resources among workflow and unífies them into a resource meta model , then presents a formalízation description of resources modeling based on users qualificatíons and characteristìcs. Key words: workflow; resources ;formalization modeling 摘 要:虽然人们为了使工作流管理完全计算机化付出了巨大的努力，但结果表明，这一目标即使在技术高度发达的今天，乃至 可预见的未来也是不可能实现的，组成工作流的很多任务还只能由人来完成。首先对工作流中资源(主动资源J 的分类方式进 行讨论并把它们统一成叫个资源元模型，然后给出了一个基于用户资格和特征的资源建模形式化描述。 关键词:工作流;资源;形式化建模 DOI: 1O.3778/j.issn.l ω2-833 1.2008.14.062 文章编号:1∞2-8331( 2∞8) 14-0219-03 文献标识网:A 中附分类号:1凹11 ?x化的树状框架下;在 Jablonski 等人提出的原型}宗毓 MO唰 1 寻|古 BlLE 以及。ittrich 提巾的原型系统。。叫S[3，]中始出了动态组 在企业的业务流程中，任务的执行离不开资掘。每个企 织模式的概念，通过组织对象和组织关系媳向提慕本细件，用 业都会有大量的资掘(职员、打印机、装配线等等) ，这些资懈 户可以定义自己的组织模式。 可分为被动资惊和主动资惊两种，被动资摞是指任务执行过 上j拍即、建;模方法都是基于资瓶在1且织中的位置对资拥进 程中所处珊的一些信息资惊，比如物理材料、与工作流相关的 行的分类。除此之外，还有一种慕于资懈的职能特征对资掘进 一提信息等等;主动资惊是指分派来执行任务的实体，其根本 行分类的资掘建模方法。这也是现今研究