基于改进AOV网的轻量级工作流模型研究与设计

来源 :计算机应用 | 被引量 : 8次 | 上传用户:lwsun_2008
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
针对现有工作流模型在应对大型复杂系统时的不足,引入轻量级模型的概念,提出一种基于改进AOV网的轻量级工作流模型以满足大型复杂业务流程的工作流管理需求。在对模型进行详细定义与设计的同时,给出了流程调度中关键的两个算法——分支的调度算法及汇聚的同步算法以确保流程的准确运行。通过对一个具体实例的流程建模分析,体现了模型的轻量级优势并采用图论的分析手段对模型进行静态及动态验证,证明了模型的合理性。
其他文献
针对秘密共享方案的自动化验证问题,提出一种基于等值理论的秘密共享方案自动化验证方法。首先通过等值理论在应用Pi演算中对可验证的多秘密共享方案的密码学语义进行了形式化定义。在此基础上,进一步提出了一种用于将所提出等值理论转化为自动化协议验证器ProVerif中重写机制的编码方法,在ProVerif中实现了关于可验证的多秘密共享方案的自动化验证。通过证明给出了关于可验证的多秘密共享方案形式化分析结果的
对常州市饮食服务从业人员HBsAg携带情况进行调查,结果共体检67 349人,HBsAg阳性2 587人,阳性率为3.84%;2 587例HBsAg阳性中共检出HBsAg阳性者675例.且HBsAg检出率随HBsAg阳
目的为掌握我县饮食服务从业人员HBsAg携带状况,减少食物被HBV污染的可能性,保障人民身体健康.方法用RPHA法对8 016名饮食服务从业人员检测HBsAg,其阳性者用ELISA法检测乙肝
目的评价O139霍乱弧菌快速检测试纸条的临床使用效果.方法采集腹泻病人及霍乱病人的密切接触者粪便标本,分别做O139霍乱弧菌快速检测试纸条和常规细菌分离培养,以后者为金标
石榴作为一种古老的药食两用资源,在我国中医药、藏医药、维医药等传统民族医药以及印度阿育吠陀医药学中具有悠久的使用历史。石榴皮、石榴子、石榴花等不同部位在中医药与
目的比较依沙吖啶联合米非司酮、米非司酮联合米索前列醇应用于中期妊娠引产的临床效果。方法回顾分析采用两种引产方式中止妊娠的196例孕妇病例资料。结果两组产后出血量、
目的:观察匙羹藤对胰岛素抵抗(IR)KKAy小鼠脂肪组织中蛋白激酶B表达及磷酸化的影响以及调节机制。方法:将18只胰岛素抵抗KKAy小鼠按体质量随机分为模型组(DM)和匙羹藤水提物组(GS),并
目的:通过观察高效抗逆转录病毒治疗(Highly Active Antiretroviral Therapy,HAART)联合平艾合剂治疗人类免疫缺陷病毒/获得性免疫缺陷综合征(Human Immunodeficiency Virus/Acqu
为了解永顺县医疗机构法定传染病疫情报告管理水平,从1996~2001年,每年组织传染病漏报调查,共查出9种传染病3 213例,其中漏报387例,总平均漏报率为12.04%(387/3 213),城镇平均