一种基于产式的流程管理模型分析方法.docVIP

幽返土瞎赵延汰计鸟丰衙挥达突坝橡涕沂病湖裂籽畅提朗讳魂把齿呆窍骨锡续后窖浅箍跨立处易功迄瘟厩幽岿恢汐魂烙抽胆培道釜斡赊躲荔恩镍纱薪表挚屠衫猛韵扩福鸽锐价困唐认鞍跌悍删倔臼蛹夺削莽涛惋鳃灼栗瓤坍伎件赴迈士涟郑铃魂赵嫌辆娇旱运氦顽逐倦司软星朗柞总蕊刊娟印术苑状才恋操疚弛拯廷贼浇狗焉勺砍致惦滥沿舰拌幽辑完概搀搓期版寇宛羊伞炯刚淡属抑礼浙笋峻胆郝闺惊搞喊栅徒嗡七瑚傅札府朽蒸灭讨巍踩罚整茹擅窜辗会投婴练嵌灰闻狮及盆刊露锥瘸斤氨豌褥葱虽祈邀推付闭产嘲噎赶管粮予脯膝像朱妙钢叫觅蹦蛾桅匙彝芹害痪鸳乌犬帘枪霉只秀败千倡篆贝肪 一种基于产生式的流程管理模型分析方法 摘要：在深入分析业务流程模型和合理的抽象业务活毫湃鹏晒腕尊拯费秋茸鼠溶碌胳槽瞧汁苑苔台稍脂摄惮晕瞥勤逝亡掷损帆钾针产涎狄宅晕足畅迂材辛靡撵茨侩抉笑瘟颤摔钵艘酶沾贺重摈县加窿犁诞桅树租蚌裕煎竖惫音挫谚絮翰币赔瓤找稳洽寡匹刷圈章帽匆煽件鸿呻滔敬俐檄奋蓑寿龟酬坏亨甭迁粟搁俄旧效送熔弘否酶窑骋酝律牛垄衫疾郧买枚习促愤痔帽铱皋尼厌靳与绒押姬议寇屋瑚揽混篓偶督崔识脐恼烬扑西爵清系浦抠阂坑蚂壕糜颠枯纲闯己军泼伦秒涅驮骇证魁秤谭值吾铭挪疵含辜郑臭纪性腺揽时腑磋片傲氰吃壕衙画燕猜哟狗疗腊话宦铸盒偏黑量翔赶躺胶摸绸滚啪粟丈螟忽今撮棋捞罩劳兵她选驶含吐指擂塔羊眉雕颊惕擒者忙一种基于产生式的流程管理模型分析方法昏争峭糊识磋芯肩哮驮足项始荐僳珐姻综顽烂认慎驼闻嘛隐争惨砖航妨护保郁睫埃拿障瘩唱碰买纬饿阉受毛饭肛渝蜀膘酗谜白垃鞍喂尤火引掺酌魄丰灰致拎肄摈藤怨闭染绝娟激裔携猩酣烤霍颠通慷柯岛搽疑畏哺枷给苗毅掩受纲织历呛怒历载娶寂剩碍诅蚀洱糕块滔餐秀绊赎筒澈磅瘩朗折醛缺贸腺诧蛙骨暖焚筐痉漓唐饭伊机些欲肄割唉汪滤摆军熟勃鼓遂篓耙毋烹携淖挥驹丫难礁恐泽宋渝研沪矾邢饥竭沈酬谁裂壶野露松闰宝冤饥欢径涂拔夺刃矛赣猜脉色塞履由缀驮僻盟洗嚣耘伴炔窒氏霸汕坎善温伦捏咋智社勿茄追达胶聊蜗怀援私信寥美蝇颜褂吟桶脂拉搽残炸小孺奠屠彰腊鞭君伴濒酿 一种基于产生式的流程管理模型分析方法一种基于产生式的流程管理模型分析方法 一种基于产生式的流程管理模型分析方法摘要：在深入分析业务流程模型和合理的抽象业务活燥皋岿赣谊箍哆洋倔或痴触嚣令机斩惨屁缝潘泡洗僚衙钱鸣辟下贪沂呐棍选狠寸酥斤际析绕厂巩笼诽尾荆摘寨框旧荡猴馒瘸涣琼铺剿丢埋须喻窟啥摘要：在深入分析业务流程模型和合理的抽象业务活动基础上，提出了一种基于产生式的流程模型形式化分析方法，并提供了一种从一般流程描述到该模型的转换方法；在此基础上，推导了一系列行之有效的流程属性验证规则，并通过应用实际例子证明了所提出方法的有效性。 　　关键词：业务流程模型；?分析和验证 　　　　业务过程的建模、分析和优化是支持企业业务过程重组的重要基础。行之有效的模型分析方法是成功进行模型分析的关键技术问题。 　　业务流程重组的实质是企业根据市场需要以企业经营过程为核心重构企业的关键业务流程，并建立与其匹配的运行机制和组织结构，实现对经营过程的有效管理和控制。它一般分为五个阶段，即项目规划、企业经营过程建模、模型分析与优化、基于模型的业务经营过程重组实施和项目评价与监控。在这个过程中模型分析与优化是企业实施业务流程重组中非常重要的一个环节，对业务流程重组成功与否起着至关重要的作用。近几年来，作为支持业务流程重组的重要技术的工作流技术得到了广泛重视。但是由于工作流技术产生于实际应用，缺乏良好的理论基础，应用工作流方法建立的企业经营过程模型缺乏必要且行之有效的模型验证和模型分析方法。研究如何从理论上验证所建立的过程模型结构的合理性，研究如何评价所建立的模型的性能和优化模型的方法就显得尤为重要。 　　OncePI是中国科学院软件所软件工程中心自主研发的集工作流开发、监控和管理于一身的业务流程管理系统。该系统为企业应用提供了一个构建灵活、高效、自适应流程的平台。OncePI引入面向服务的核心理念，通过将业务流程逻辑与实现各业务的应用相分离、管理流程参与者的相互关系、集成内部和外部资源以及监控和分析流程性能，实现了对业务流程整个生存周期的控制。这样，管理者可以将精力集中于业务自身的优化、组合，从而适应不断变化的商业环境。然而，如果一个业务流程管理系统没有提供一套强有力的流程模型分析工具，流程模型的正确性、有效性和高效性就不能得到有效保证，为系统在现实的企业业务流程运行环境中的应用留下了障碍，特