论文部分内容阅读
任务结构是工作流建模语言中好的广泛的代表,并且具有表达简洁、终止是隐式的以及与多数工作流管理系统的工作流建模语言相近的特点,但其表达能力和形式化分析有限.本文首先扩展了任务结构的表达能力,增加了对任务间数据流的支持;然后对扩展任务结构的合理性进行了分析和验证.
基于扩展任务结构的工作流建模及其合理性验证
【摘 要】
：
任务结构是工作流建模语言中好的广泛的代表,并且具有表达简洁、终止是隐式的以及与多数工作流管理系统的工作流建模语言相近的特点,但其表达能力和形式化分析有限.本文首先
【机 构】
：
中南民族大学计算机科学学院,湖北工业大学计算机学院
【出 处】
：
计算机工程与科学
【发表日期】
：
2006年7期
其他文献
中共发展进程中划时代的大会□钮小明刚刚闭幕的中共十五大是党和国家发展进程中有划时代意义的大会。江泽民同志在会上作的报告是十一届三中全会以来全党和全国人民共同奋斗
社会主义初级阶段国情决定了非公有制经济发展的必然性我国社会主义初级阶段的主要特点是人口多、底子薄、地区发展不平衡、生产力不发达。这一阶段是从不发达逐步转变为发达
成思危：“建达合作”在全国要领先□申建１９９７年１１月１１日下午，民建中央机关会议室热气腾腾，由四川省委统战部常务副部长李学明、民建省委名誉主委陈祖湘、主委陈昌智、达川地区行署副专员
曾国藩是晚清重臣,他一生体质本弱,翰林院中前辈唐镜海曾口授养生处世之秘籍,使他受益匪浅。他结合自身情况,总结出一套独特的养生之道。一、君逸臣劳。他认为：＂省思虑,除烦恼,
办好台资企业有利对外开放我省台资企业发展现情分析□张兴定四川在对台经济交流与合作方面有许多优势。随着两岸关系的发展，“台资内移”的势头日趋明显。在省委、省政府“大
本文讨论了多截获器加载对请求应答时间的影响。我们提出了一种可分支并发的截获器运行模型，来解决提供这类截获器相关的服务与请求应答时间长的矛盾。该模型采用树状的截获器
赴印度看望叔叔桑基喇嘛□恩波三身小口述李俊阿班撰文恩波，藏族，５８岁，金川县粮食局职工。三身小，藏族，５９岁，金川县观音镇派出所退休干部。１９９６年９月至１９９７年３月，二人结伴前往印度看望３０多年前随达赖