计算机集成制造系统杂志 北大期刊 CSCD期刊 统计源期刊

EDSOA服务平台中订阅网络基础服务的设计

作者：石瑞生 章洋 陈俊亮 谢辉 谭玉麟 郭文琪 柴兆航 刊期：2012年第08期

为解决服务执行平台中基于Web服务通知规范的分布式订阅基础服务架构的关键技术问题，提供了基于Web服务通知规范的事件驱动面向服务架构的服务执行平台设计实现方案，该方案可以支持实时的动态服务组合。基于该平台可以开发如应急管理系统、煤矿信息管理系统、城市供暖管理系统等各种业务服务系统。通过工程实践证明，该平台能够大大简化业务服...

基于平台即服务模式的协同应用动态构建与执行方法

作者：崔立真 谷连超 刊期：2012年第08期

为构建支持协同应用构建、交付和运行的平台即服务平台，提出一个支持协同应用动态构建与执行的平台即服务平台CoPaaS，使得独立软件开发商将开发的应用交付至平台后，即可成为软件即服务模式的云服务；租户可以租赁并定制平台的一组应用，借助平台的服务能力支持个性化需求的协同应用动态构建与运行。详细介绍了CoPaaS平台的体系结构以及协同应...

优先数字出版通告

刊期：2012年第08期

为加速学术研究成果的传播，缩短出刊周期，《计算机集成制造系统》编辑部近期已经开展录用稿件的数字优先出版工作。所有录用稿件经作者授权后一周内均进行单篇优先数字出版（等同纸质出版），在中国知网优先数字出版平台。自数字出版之日起，可在中国知网全文数据库检索、下载和引用稿件。另外，经过中国知网的许可，所有数字优先出版的稿件将...

Event-driven process execution model for process virtual machine

作者：WU Dong-yao WEI Jun GAO Chu-shu DOU Wen-shen 刊期：2012年第08期

服务流程的自动数据映射

作者：陈姣娟 曹健 刊期：2012年第08期

为解决服务流程中数据流建模因复杂而易出错的问题，提出一种服务流程的服务之间数据映射的自动生成方式。该方式将流程中每个服务的输入参数与可能为它提供数据的服务的输出参数作匹配，得到每个输入参数的最佳匹配，从而自动生成服务之间的数据映射。该方式利用服务输入、输出参数的模式描述，采用自动模式匹配技术进行模式之间的匹配，同时结...

成批处理工作流动态分组调度优化方法

作者：陈志刚 文一凭 康国胜 刊期：2012年第08期

针对现有成批处理工作流调度方法的不足，建立考虑活动实例对执行者执行能力需求等约束的动态分组调度优化模型，提出一种解决该问题的实现算法。算法主要思想是利用微粒群算法的智能优化原理，同时优化最小化活动实例的停留时间总和与执行开销总和这两个目标函数，最终产生一组满足约束条件的Pareto优化调度方案。仿真实验说明了算法的有效性。

面向工作流个人调度的仿真数据生成研究及实验平台设计

作者：赵炯 刘英博 任艮全 张力 刊期：2012年第08期

对工作流管理系统中个人工作列表管理问题中的工作项到达时间和执行时间的不确定性进行分析，设计并实现了针对个人调度问题的仿真实验平台，用于比较不同调度算法的优劣。该平台首先分析真实工作流管理系统中的人员活动日志，对工作项的时间特征进行建模，生成与真实环境中工作项特征一致的实验数据。然后将模拟数据作为输入，用多种调度算法进...

三段式动态服务组合优化算法

作者：黄振光 徐家兴 余阳 刊期：2012年第08期

第四方物流平台中需要从海量服务中挑选运输、仓储等服务并组合在一起，为客户的货物调度需求提供一个解决方案。为提高组合服务的效率和质量，保证货物调度的可靠性和实效性，提出以物流服务质量为目标的三段式动态服务组合优化算法。首先综合主客观权重，构建了能体现用户偏好的物流服务质量评价模型。算法改进了蚁群算法搜索路径的思想，按照...

分布式工作流管理系统中的一种资源搜索策略

作者：叶双 叶剑虹 刘传才 刊期：2012年第08期

针对分布式工作流管理系统中的资源搜索问题，提出一种新的搜索策略。该方法利用聚类算法将网分簇管理，使得查找过程中的逻辑拓扑和物理拓扑相互匹配，在此基础上采用结合了兴趣度的蚁群算法提供查找线索。实验表明，该方法提高了工作流引擎服务的整体响应时间，在查找成功率、平均响应时间和平均消息数上较泛洪查找和传统蚁群算法都更具优势。

Artifact的有效性问题研究

作者：王颖 刘国华 刘海滨 赵丹枫 刊期：2012年第08期

为及时发现业务活动对数据的非法操作，将违规实例监测问题归结为Artifact有效性检查问题，基于时间Petri网提出Artifact业务要求模型，从属性赋值顺序的角度给出Artifact在生命周期中的状态变化及时间要求。证明了在给出业务要求模型并求出状态类图的条件下，该问题是多项式时间问题。研究结果表明，该方法支持业务流程中Artifact的时间建模，...

带数据工作流的形式化建模语言——数据感知的工作流网

作者：王朝霞 王建民 朱笑尘 刊期：2012年第08期

为了在工作流实施之前对工作流进行形式化建模与验证，首次全面总结带数据工作流的形式化建模的研究现状。在理清工作流中各类数据与控制流的交互特征后，提出一种带数据工作流的形式化建模语言——数据感知的工作流网，并给出其行为语义。通过工作流网模型的合理性分析／一致性分析方法的提出和方法的工具实现，证明了数据感知的工作流网具有较...

基于Petri网的位置敏感工作流建模与正确性验证方法。

作者：张力 赵炯 贾伟昊 刘英博 刊期：2012年第08期

针对移动业务过程中对位置信息建模和分析的需求，结合目前已有的工作流建模方法，提出一种针对位置敏感工作流进行建模和正确性验证的方法。该模型以工作流网为基础，结合6种描述位置之间关系的原语，以位置约束的形式定义业务流程中的位置信息及其与活动之间的关系，然后基于Petri网的状态可达图得出对所建立模型进行正确性检查的方法。基于Pr...

判定工作流网S-可覆盖性的有效算法

作者：鲁法明 曾庆田 包云霞 刊期：2012年第08期

为有效判定工作流网的孓可覆盖性，将工作流网的S可覆盖性判定转化为线性规划问题，借助单纯形方法给出一个判定工作流网孓可覆盖性的有效算法。对单纯形算法进行扩展，在判定工作流网孓可覆盖性的同时可以求出一组s不变量的极小支集。只要给定的工作流网满足孓可覆盖性，上述算法就可以求出一组覆盖所有库所的S不变量的极小支集。结合投诉处理...

基于Levenshtein距离的流程检索方法

作者：曹斌 尹建伟 陈慧蕊 刊期：2012年第08期

为提高大规模流程库的检索效率，提出一种新的流程检索方法。该方法采用最小深度优先搜索编码对流程图模型进行规范化标志，并基于I．evenshtein距离计算最小深度优先搜索编码获得相似度值，提高了流程图匹配时相似度计算的效率。通过对原型系统进行实验评估，证明了所提方法在检索效率方面高于图编辑距离，且在返回的检索结果中，相似度最高的...

TAR：an improved process similarity measure based on unfolding of Petri nets

作者：WANG Wen-xing WANG Jian-min 刊期：2012年第08期