【摘 要】
：
BPEL描述的服务组合流程,没有充分考虑人的参与和人员活动对流程的影响,且不能保证服务组合流程设计在应用中的正确性.为了描述服务化系统中的混合工作流程,首先介绍支持人员
【机 构】
：
国防科技大学信息系统工程重点实验室,广州军区空军指挥自动化站
【基金项目】
：
国家自然科学基金资助项目（70771110）
论文部分内容阅读
BPEL描述的服务组合流程,没有充分考虑人的参与和人员活动对流程的影响,且不能保证服务组合流程设计在应用中的正确性.为了描述服务化系统中的混合工作流程,首先介绍支持人员参与的BPEL4People规范,然后提出了基于着色Petri网的混合工作流建模方法,对所得模型进行了合理性分析.采用模块聚合方式给出了混合工作流的层次CPN模型,利用CPN Tools工具分析验证混合工作流的有界性、可达性及活性等性质,根据验证结果进行反馈调整,可以减少因流程设计错误给流程实际部署和运行带来的损失.
其他文献
经济市场化发展最突出的标志是价格市场化。价格市场化客观上要求由市场竞争和市场供求来决定各种商品和生产要素的价格，通过价格信号来协调各利益主体的经济行为和社会资源的
高职高专英语是指在生产、管理、技术和服务等各行业第一线工作的业务人员所需的英语。在理论上被界定为专门用途英语分支下，介于学术英语与职业英语之间的业务用途英语。本文
境外投资者分得税后利润汇出境外之前,需经税务机关开具<外商投资企业和外国企业所得税纳税情况证明单>,简称"纳税证明"或"利润汇出证明".
针对网络攻防过程具有博弈性的特点，提出基于博弈论思想的网络空间安全态势预测方法。该方法以博弈论模型为核心，通过分析不同网络状态下攻防双方的行为及收益，综舍专家经验给出
证券市场监管一直是困扰与制约我国证券市场发展的主要问题.从证券市场监管的法律体系、监管模式和运行机制等几个层次对我国证券市场监管改革的手段和途径进行阐述,给出了一
在过去几年里，中国的通讯设备OEM厂商快速成长。iSuppli公司预测，2012年这些中国OEM厂商的营业收入将从2007年的341亿美元上升到690亿美元，复合年增长率达15．2％。2007年总体生产营
文章根据拓扑学、球形多面体相关理论,对青海天文台望远镜球形罩的几何特性进行了反分析,创建了与该天线罩实体拓扑关系和空间几何计算条件一致的三维模型。并由此构建了一种新的任意三角形构型多面体,对该任意三角形构型多面体的特征点坐标、特征杆长、特征角等参数进行了计算,使得几何分析得到简化,为实现任意三角形构型多面体的设计制造提供了依据,为天线罩设计提供了新思路。
本文分析了国外对我国出口商品实施反倾销的特点及原因，提出应对国外反倾销的主要措施。
本文针对当前实践教学内容体系普遍薄弱的事实,根据地方性本科院校转型发展及现代复合型应用技术人才及林产化工职业岗位所需的知识、技术技能的要求,在课程内实验、实验课程
数字化实验室是信息技术、计算机技术在实验教学中的具体应用与实现，是传统实验室在时间与空间上的延伸。本文论述了数字化实验室的宏观组成、特征以及建设数字化实验室需要注