基于P/T系统化简方法的工作流过程模型验证

来源 :软件学报 | 被引量 : 0次 | 上传用户:zerorolove
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
目前工作流技术在管理、生产和科学研究等领域中已经被广泛应用.由于过程逻辑的复杂性和变化性等原因,如何建立良构的业务过程是一个比较现实的问题.因此,对过程模型进行分析和优化成为工作流技术的研究方向之一.首先,根据改进的工作流过程元模型,研究并提出了一种基于P/T系统的工作流过程模型过程网.基于过程网给出了一组化简规则,用于验证过程模型中的死锁和乏同步两种结构冲突.最后,结合一个业务过程实例,根据转换规则把它映射为过程网,应用规则进行化简并得到验证结果.
其他文献
摘要:共鸣,是一种心理情感的共通。运用好,可以提高学生对阅读课的兴趣,并且有利于学生良好个性品格的塑造。本文结合教学实践,提出了几种让共鸣走入技校阅读课堂的有效方法。  关键词:共鸣;语文阅读;教学方法    宋代词人蒋捷的《虞美人·听雨》写道:“少年听雨歌楼上,红烛昏罗帐。壮年听雨客舟中,江阔云低,雁断叫西风。而今听雨僧庐下,鬓已星星也。悲欢离合总无情,一任阶前点滴到天明。”同是“听雨”,为什么
目的探讨心肺复苏成功的因素.以便提高复苏的成功率。方法选择52例近年来心肺复苏成功的患者,分析探讨对其采取的综合治疗措施,包括复苏的程序.肾上腺素的用量,应用碳酸氢钠的时机
传统语言COBOL从诞生至今已有近50年历史,现存约有1 000亿行代码是用COBOL编写的.维护这些遗产代码的一个有效方法是将其翻译成现代语言,例如Java.其中将COBOL语言中GOTO和PE
服务组合是开放环境中实现跨组织敏捷应用集成的重要技术.许多研究采用集中的服务组合引擎管理组合服务的执行,在系统的可伸缩性、消息传输效率及自治性等方面存在局限.针对
通过土样的剪切试验,对二种原理的图解分析,了解土的性状、特征,便于掌握土的抗剪强度指标值,为地基的处理提供真实可靠的数据资料。
报告了关于少儿图灵测试(CTT)的一项研究工作.研究区别于其他人的主要之处是该测试程序是基于知识的,它依靠一个海量常识知识库的支持.给出了作者研究少儿图灵测试的动机、设
目的:对多次复发念珠菌性阴道炎合并宫颈糜烂的患者,采用大蒜素肠溶胶丸口服15天,外用0.05%碘伏液冲洗阴道,宫颈糜烂面用制霉菌素和甲硝唑2:1比例局部涂药7天.结果:念珠菌性
摘要:为使学生能在毕业后很快适应企业及社会的要求,提高学生的竞争力,职业院校除了要教给学生知识和技能外,更应注重学生职业素质的培养。文章介绍了职业院校学生需要培养的五种职业能力的内涵及培养途径。  关键词:职业院校学生;职业素质;培养     我们经常看到或听到这样的一些学生:在学校时他们的各科学习成绩都很优秀,并深得老师和同学的喜爱,然而等他们到了单位开始工作后,却出现了很难适应工作单位的要求,
<中国性科学>2004年第13卷第1期载史成礼教授一文,题为"我的性学观点",其中第19条为:"有性能力的人是人物,无性能力的人是废物,性能力过强的人(性混乱和纵欲)是动物."笔者认