【摘 要】
：
事务工作流由若干个事务组成,其执行满足松弛原子性.只有良构的事务工作流才能保证所有执行均满足松弛原子性.事务具有不同的可补偿特性和可重复特性,在包含多种控制结构的复
【机 构】
：
中国科学院软件研究所计算机科学重点实验室,中国科学院软件研究所软件工程技术中心
【基金项目】
：
国家自然科学基金，国家重点基础研究发展计划(973计划)
论文部分内容阅读
事务工作流由若干个事务组成,其执行满足松弛原子性.只有良构的事务工作流才能保证所有执行均满足松弛原子性.事务具有不同的可补偿特性和可重复特性,在包含多种控制结构的复杂事务工作流中,事务之间组合失配问题可能造成事务工作流的非良构性.该文给出了事务工作流模型及良构性的形式化定义,提出了一个良构性判断定理,通过一种构造性的方法来有效地验证事务工作流的良构性,还设计了事务工作流的描述语言ISWDL并实现了良构性验证器.
其他文献
职业技术学校的任务,是向工厂企业输送技术工人和各类技术人才。为了培养工厂企业适用的技术人才,日益加强了职业技术学校与企业界的联系与合作。在合作中,职业技术学校与企
在社会主义市场经济机制运行中,政府与企业,企业与企业家的地位,关系是怎样的?怎样建立和构造这种关系,才能促进市场经济机制正常运行,促进生产力发展?本文拟就这个方面作一
高速磨削是当今先进制造领域最为引人关注的高效磨削加工技术，具有优良的加工性能，而德国Junker公司于1994年由Erwin Junker先生开发并取得专利的快速点磨削（Quick-point Grindi
2008年，在国际经济不景气的大环境下，我国的经济政策紧缩，工业经济增速放缓，机床工具特别是低档的机床工具需求下降，这在一定程度上对我国生产经济型数控机床的企业造成打击。有专
时间依赖的网络与传统网络模型相比更具有现实意义,具有广泛的应用领域.交通网络和通信网络可以抽象为时间依赖的网络模型.当模型中弧的长度是时间依赖的变量,最短路径问题的
（1）最新设计，大尺寸优化加工空间具有最佳的畅通性和更高的可视性、配有19”显示屏的DMG ERGOline Control控制面板和最先进的5轴控制技术。
在世界企业巨子的璀璨“星系”中,竟有这样一颗因“不为发光专发热,内蕴核能不显露”而被人忽视的“恒星”。他,就是“守口如瓶不泄密,腰缠万贯怕露富。见了记者忙躲避,消声
凸轮是半自动机及自动机上的重要部件，它直接影响主机的性能和效率，特别是在汽车行业中，这种影响尤为明显。过去的工业制造活动中凸轮型面的加工大都采用靠模铣削、手工研磨的方
该文通过对多媒体对象领域知识特点的分析,指出了领域属性与多媒体对象分离的必要性,对多媒体对象的领域属性进行了分类,采用框架(frame)结构作为领域知识的表示模型,利用语
该文基于分形图像编码的固有特征,阐述和研究了分形图像编码的迭代解码方法的'可分级性'概念,在这一思想指导下,在迭代解码过程中用单缓冲算法取代传统分形编码中的