敏捷产品开发中的时间工作流建模研究

在大规模定制模式下如何高效地处理敏捷产品开发过程中的工作流是实现敏捷产品开发的关键问题。敏捷产品开发中的工作流具有很强的时间逻辑关系。在敏捷产品开发的工作流模型中增加时间信息，并利用J．F．Allen研究的时间逻辑对时间信息进行验证，建立敏捷产品开发的时间工作流模型；在敏捷产品开发过程中从本企业各部门选择合适的人员和动态联盟中其他企业的人员组建多功能开发团队，并运用时间工作流管理系统进行管理，并通过Internet来对工作流进行集成。     

面向航空发动机模具的数据管理系统研究

为解决我国航空发动机模具在设计、生产中的数字化模型管理、设计过程管理等问题。研究了基于Teamcenter Engineering v9．0的PDM系统的构建和应用，并结合产品实例对产品数据管理和流程管理的建模方法及实施要点进行了详细的阐述。提高了航空发动机生产企业的效率和信息化管理水平。     

质量管理系统中柔性工作流建模方法研究

针对传统质量管理对流程控制的不足，分析了传统工作流在柔性支持上的缺乏及业务过程建模描述复杂、僵化等问题，提出了一种基于柔性工作流的质量管理系统，结合UML定义良好、易于表达等特点，给出了基于扩展UML活动图的柔性建模方法，引入了复杂柔性节点的概念，提高了业务过程的柔性。实践表明，这一方法降低了业务过程模型的复杂度、增强了实际应用系统的灵活性、拓宽了适用性，为柔性工作流管理系统的进一步研究做出了有益的探索。     

基于任务执行全过程的工作流建模方法

针对目前工作流管理系统在描述能力、可扩展性、柔性和可封装性等方面的严重不足,提出了一种基于任务执行全过程和反馈机制及封装思想的工作流建模方法。通过给出产品开发过程的工作流模型实例,展现了这种建模方法在提高模型描述能力、提高系统可扩展性和柔性等诸方面的优势所在。对于开发可靠性高,柔性、适应性和可移植性强,封装能力好的工作流管理系统具有重要的应用价值。     

基于工作流技术的图文档管理系统

结合PDM工作中的研究与实践,将工作流的计算模型有效地应用于图文档管理中,建立了产品设计及更改的工 作流模型,研究了流程中图档的状态控制,开发出一个基于工作流技术的图文档管理系统,并应用于企业。     

BPMN 2.0过程模型的语义和分析

BPMN 2.0已成为了建模业务过程事实上的标准。BPMN 2.0过程模型中建模元素的混用会产生控制流方面的语义错误。首先,建立了BPMN 2.0过程模型到工作流网的映射,并使用Petri网来形式定义过程模型的语义;其次,借助Petri网的分析技术,使用这种定义的语义对BPMN 2.0过程模型进行了合理性分析。实验结果表明,这种形式化可以识别BPMN 2.0过程模型中的语义错误。     

A delay-based dynamic scheduling algorithm for bag-of-task workflows with stochastic task execution times in clouds

Bag-of-Tasks (BoT) workflows are widespread in many big data analysis fields. However, there are very few cloud resource provisioning and scheduling algorithms tailored for BoT workflows. Furthermore, existing algorithms fail to consider the stochastic task execution times of BoT workflows which leads to deadline violations and increased resource renting costs. In this paper, we propose a dynamic cloud resource provisioning and scheduling algorithm which aims to fulfill the workflow deadline by using the sum of task execution time expectation and standard deviation to estimate real task execution times. A bag-based delay scheduling strategy and a single-type based virtual machine interval renting method are presented to decrease the resource renting cost. The proposed algorithm is evaluated using a cloud simulator ElasticSim which is extended from CloudSim. The results show that the dynamic algorithm decreases the resource renting cost while guaranteeing the workflow deadline compared to the existing algorithms.     

一种服务消息交互行为的元建模方法

为了提高服务消息接口的规范性和交互行为的正确性,提出了一种服务消息交互的元建模方法。基于工作流模型对服务进行建模,通过对消息操作模式予以分析,给出了接口形式化表示和接口相容性检查方法。采用推理规则和递归函数刻画消息传递的语义,讨论了服务交互时各种环境的变化情况。实例分析表明,该方法可以规范服务接口模式,有效地对消息的交互情景进行建模,进而保障服务建模的可靠性。     

飞机技术服务的流程建模和分析

针对传统航空企业质量管理的不足,结合航空企业技术服务现状,采用多视图建模方法建立飞机技术服务的业务流程模型．基于工作流技术开发技术服务平台,实现对飞机技术服务的过程化管理.在此基础上,从成本和效率两个角度对业务流程进行分析评价．提出了一套成本和效率分析指标,为企业改进服务流程提供数据依据和决策支持。     

PDM系统中流程管理模型的研究与实现

流程管理是PDM系统中实施业务过程管理与过程控制的一项关键技术。为了从整体上提高产品设计的效率,降低设计成本,提高设计业务管理水平和竞争力,在研究流程管理本质的基础上,开发了基于Web的流程管理模块。