论文部分内容阅读
通过对UML状态图进行时间扩展,建立工作流的时间模型,再把该模型转化为时间自动机,接着用时序逻辑公式定义时序约束,最后分别在建立阶段、实例化阶段和运行阶段使用模型检测技术对时序约束的一致性进行验证.
基于UML状态图的工作流时序约束一致性研究
【摘 要】
：
通过对UML状态图进行时间扩展,建立工作流的时间模型,再把该模型转化为时间自动机,接着用时序逻辑公式定义时序约束,最后分别在建立阶段、实例化阶段和运行阶段使用模型检测
【机 构】
：
苏州大学,苏州大学
【出 处】
：
苏州大学学报：自然科学版
【发表日期】
：
2005年4期
【基金项目】
：
国家科技攻关项目，国家重点实验室基金，江苏省高校自然科学基金，重庆市科技研究项目
其他文献
当前我国正处于全面建成小康社会的关键时期,面对纷繁复杂的社会思潮,我们必须坚定中国特色社会主义信仰,凝聚社会共识,引领社会潮流,不断强化对主流意识形态的认同。大学生
本文基于现金持有的预防性动机,研究了官员更替带来的不确定性风险对企业现金持有的影响。研究发现,官员更替时,企业持有更多的现金以缓解外部政治环境变化对企业融资约束的
“因性施教”的提法很容易误读，这里的“性”是“性别”，不是“性”也不是“特性”和“个性”。 任何教育方式和主张都反映出我们对教育的期待，“因性别施教”的讨论，反映了我们对男女孩差异的不同解释和不同的期盼。 男女两性在身心发展方面的确存在客观差异，这些差异既是生理差异的表现，也是社会角色期待和塑造的结果。如在智能发展速度方面，小学阶段女生智能发展速度总体快于男生，初中以后，男生的智能发展速度加快
<正> 如今的软件和系统对内存的需求越来越大,虽然现在拥有256M甚至更大内存已经不是什么稀罕事,但是在WindowsXP这样的系统里,我们还是要为内存不足的问题而烦恼。Windows X
哥特式小说源于18世纪英国,因其独特的创作手法,自其诞生后便得到迅速发展,并逐渐成为一种特别的文学创作风格,直到现在,哥特式小说在英美文坛中依然有着深远的影响。所谓哥
亲爱的宝贝．小王子：我不知道怎样跟你解释这个世界。当我告诉你这世界充满了爱，人们都很善良时。你会问我，为什么这世界上会有战争．为什么有人会杀人，为什么人很善良但我们上学的时
当前,我国金融深化日益加快.在这种大背景下,作为当前"农村金融主力军"的农村信用社的健康发展与否,直接关系到农村金融秩序的稳定.因此,研究新时期我国农村信用社的发展战略