传统的软件过程是基于"中性价值"的,它们通常因为不能适应变化而导致项目失败.为此,Boehm提出了基于"价值"的软件工程,将"价值"引入到软件工程中,从而产生了基于"价值"的软件过程.VBSQA就是一...传统的软件过程是基于"中性价值"的,它们通常因为不能适应变化而导致项目失败.为此,Boehm提出了基于"价值"的软件工程,将"价值"引入到软件工程中,从而产生了基于"价值"的软件过程.VBSQA就是一个以WinWin螺旋模型为基础的基于"价值"的软件过程框架.本文介绍的VBSQA Process Simulator是一个基于用对象网对VBSQA过程建模的过程仿真工具,它为用户在使用VBSQA软件过程框架建立软件过程的工作当中提供过程可视化、验证及仿真VBSQA软件过程的功能,从而有效地缩短了VBSQA的学习曲线.展开更多
通过对当前工作流过程建模方法的总结,提出这些方法的不足之处,展望了过程建模的发展动向.在基本的有色 Petri 网系统定义的基础上,引入面向对象技术和时间映射机制,提出了一种基于高级对象Petri 网的建模方法,以提高模型的可重用性,加...通过对当前工作流过程建模方法的总结,提出这些方法的不足之处,展望了过程建模的发展动向.在基本的有色 Petri 网系统定义的基础上,引入面向对象技术和时间映射机制,提出了一种基于高级对象Petri 网的建模方法,以提高模型的可重用性,加强对动态流程的描述能力,降低建模过程的复杂度,解决临界资源的共享问题.通过一个具体实例阐述了如何建立高级对象 Petri 网模型,并通过活性分析算法,验证模型对流程描述的正确性和有效性.展开更多
结合XPDL(XML Process Definition Language)标准、对象技术和Petri网理论提出了一种工作流网。该工作流网通过Petri网的数学分析来完成对流程的分析验证;通过对象技术来降低流程建模复杂度;通过工作流网和XPDL的映射机制来保证其实用...结合XPDL(XML Process Definition Language)标准、对象技术和Petri网理论提出了一种工作流网。该工作流网通过Petri网的数学分析来完成对流程的分析验证;通过对象技术来降低流程建模复杂度;通过工作流网和XPDL的映射机制来保证其实用性。在此基础上实现了一套流程建模及分析工具。展开更多
采用了面向对象的Petri网(object-oriented Petri net,OPN)的方法来分析网络化制造环境下的供应链运作,这种方法采用计算机集成制造开放系统(CIMOS)的规则来模拟制造供应链的业务流程.通过这种模式下的供应链运作描述,以网络化制造技术...采用了面向对象的Petri网(object-oriented Petri net,OPN)的方法来分析网络化制造环境下的供应链运作,这种方法采用计算机集成制造开放系统(CIMOS)的规则来模拟制造供应链的业务流程.通过这种模式下的供应链运作描述,以网络化制造技术中心为支持,提出供应链运作模式;构建各参与对象OPN模型,获得系统P不变量,在此基础上分析系统的性能如死锁、溢出以及冲突等.以制造商为例的OCN的关联矩阵和P不变量分析,证明构建的模型具有良好的性能.展开更多
基金Supported by the National Natural Science Foundation of China under Grant Nos.60233010,60403014,60603034(国家自然科学基金)the National High-Tech Research and Development Plan of China under Grant Nos.2004AA112090,2005AA113160,2006AA01Z159,2006AA01Z177(国家高技术研究发展计划(863))the National Basic Research Program of China under Grant No.2002CB312002(国家重点基础研究发展计划(973))
文摘传统的软件过程是基于"中性价值"的,它们通常因为不能适应变化而导致项目失败.为此,Boehm提出了基于"价值"的软件工程,将"价值"引入到软件工程中,从而产生了基于"价值"的软件过程.VBSQA就是一个以WinWin螺旋模型为基础的基于"价值"的软件过程框架.本文介绍的VBSQA Process Simulator是一个基于用对象网对VBSQA过程建模的过程仿真工具,它为用户在使用VBSQA软件过程框架建立软件过程的工作当中提供过程可视化、验证及仿真VBSQA软件过程的功能,从而有效地缩短了VBSQA的学习曲线.
文摘通过对当前工作流过程建模方法的总结,提出这些方法的不足之处,展望了过程建模的发展动向.在基本的有色 Petri 网系统定义的基础上,引入面向对象技术和时间映射机制,提出了一种基于高级对象Petri 网的建模方法,以提高模型的可重用性,加强对动态流程的描述能力,降低建模过程的复杂度,解决临界资源的共享问题.通过一个具体实例阐述了如何建立高级对象 Petri 网模型,并通过活性分析算法,验证模型对流程描述的正确性和有效性.
文摘结合XPDL(XML Process Definition Language)标准、对象技术和Petri网理论提出了一种工作流网。该工作流网通过Petri网的数学分析来完成对流程的分析验证;通过对象技术来降低流程建模复杂度;通过工作流网和XPDL的映射机制来保证其实用性。在此基础上实现了一套流程建模及分析工具。
文摘采用了面向对象的Petri网(object-oriented Petri net,OPN)的方法来分析网络化制造环境下的供应链运作,这种方法采用计算机集成制造开放系统(CIMOS)的规则来模拟制造供应链的业务流程.通过这种模式下的供应链运作描述,以网络化制造技术中心为支持,提出供应链运作模式;构建各参与对象OPN模型,获得系统P不变量,在此基础上分析系统的性能如死锁、溢出以及冲突等.以制造商为例的OCN的关联矩阵和P不变量分析,证明构建的模型具有良好的性能.
