论文部分内容阅读
讨论了通过对象Petri网对业务过程执行语言（BPEL）进行建模，提供一种从抽象BPEL过程扩展生成可执行BPEL过程的方法，该方法保证生成的可执行BPEL过程遵循抽象BPEL过程定义的业务协议，并通过BPEL2OPN对建模结果进行仿真。
基于对象Petri网的BPEL建模技术
【摘 要】
：
讨论了通过对象Petri网对业务过程执行语言（BPEL）进行建模，提供一种从抽象BPEL过程扩展生成可执行BPEL过程的方法，该方法保证生成的可执行BPEL过程遵循抽象BPEL过程定义的业务协
【机 构】
：
南京大学软件新技术国家重点实验室
【出 处】
：
计算机工程
【发表日期】
：
2009年2期
【基金项目】
：
国家“973”计划基金资助项目（2002CB312002）,国家“863”计划基金资助项目（2007AA012178,2007AA012140,2006AA012159）,国家自然科学基金资助项目（60736015,60721002,60603034,60403014）,江苏省自然科学基金资助项目（BK2006712）
其他文献
随着电子商务的出现和迅速发展,对传统税收制度产生了很大的影响.在新的环境下,如何加强税收管理,防止税收流失已是摆在我们面前的一个崭新课题.本文就电子商务带来的税收问
今年7月21日,中国人民银行宣布,中国开始实行以市场供求为基础,参考一篮子货币进行调节、有管理的浮动汇率制度.根据对汇率合理均衡水平的测算,7月21日起,人民币对美元升值2%
校长是一个职业，它既是教育者、领导者、又是一个管理者。作为管理者，就要懂得管理之道，寻求管理之策，追求管理效益。学校的管理过程概括地说就是人、财、物的管理，但核心乃是“人
作为股指期货风险管理的核心环节之一,保证金水平的设置对于控制交易成本和防范头寸违约风险具有十分重要的意义,也历来是期货理论和实践关注的重点。关于期货保证金设置问题
文章基于2004-2006年对地市级及其以上国家综合档案馆网站的调研,阐述了国家综合档案馆网站一级类目设置的现状,分析了《中国图书分类法》、《中国档案分类法》以及聚类标准