共享合成Petri网系统的语言递归性与系统活性

在Petri网系统合成操作的研究中,大系统的一些好性质,如活性、无死锁性的判定,是一个重要的研究内容.研究了Petri网系统的一种重要的合成操作棗共享合成,着重研究了Petri网系统共享合成的行为关系(语言关系),指出并证明了Petri网系统共享合成过程中语言的递归性质,得到一个并发语言形式的共享合成语言关系式.这个语言关系式为应用Petri网系统对具有并发行为特征的系统进行建模分析提供了一种有效的形式化工具.进而利用这个语言关系式来判定共享合成网系统的活性与无死锁性,得到共享合成网系统活及无死锁的充要条件.最后给出了一些条件,在这些条件下,可用小系统的语言子集来判定共享合成网系统的活性,从而达到用小系统来研究大系统活性的目的.

飞机全生命期过程建模技术及支持环境

从飞机全生命周期过程建模的需求出发 ,针对大型复杂过程的建模提出了综合过程模型 ,对过程建模语言进行了扩充 .探讨了大型复杂过程的建模方法 ,设计并开发了相应的过程建模和模拟软件 ,并成功地应用于某型飞机研制过程的建模 .

一个支持软件并行工程的过程模型

实施软件并行工程是缩短软件开发周期、加快软件开发速度的有效途径。分析了存在于软件生存周期中的两类不同层次的并行性，提出了一个基于Ｐｅｔｒｉ网的支持软件并行工程的软件过程模型ＳＤＤＭ，给出了将软件过程内部的局部并行性延拓到该过程全局的方法。

一种基于扩展Petri网的软件过程模型性能分析方法

对软件过程模型进行性能分析是过程建模的一个重要环节,也是过程改进的一个重要依据。现有的模型评估方法都是使用基于指数分布假设的分析技术。论文提出了一种新的基于X-Petri网和正态分布假设的软件并行工程顺序、并行、循环三种基本执行过程结构的性能等价分析方法。

一种基于面向对象 Petri 网的并发程序建模方法

介绍了一种基于面向对象Ｐｅｔｒｉ网的并发系统建模方法．该方法把面向对象技术与Ｐｅｔｒｉ网理论相结合，构成一种面向对象Ｐｅｔｒｉ网，可以解决用Ｐｅｔｒｉ网建立并发程序模型所遇到的状态爆炸问题，又使得建模系统具有可重用性且易于维护，是一种具有数学和图形方式相结合的形式化描述．

基于开放式标准化思想的CIMS信息集成方法

论述ＣＩＭＳ的基于集成、开放、标准化和并行工程思想的信息集成方法．即应用ＳＴＥＰ、ＥＸＰＲＥＳＳ、ＳＧＭＬ、ＨｙＴｉｍｅ、ＸＷｉｎｄｏｗｓ、ＵＮＩＸ等国际标准或主流工业标准，依托面向对象工程数据库，开发一个开放式的由软件工具和超媒体界面组成的支持环境，实现ＣＩＭＳ信息的数字化交换、共享、集成，支持并行工程思想．

一种形式化构件集成语义的研究

提出了一种形式化的方法对软件构件集成行为进行描述,将构件接口作为线程进行研究,并将构件接口分为触发器和响应器.介绍了如何从线程的角度对同步、异步并行以及异步互斥情况下表达构件交互语义等.该方法克服了在构件集成过程中,构件接口交互语义难以描述的问题,能够更加直观、清楚、完整地描述接口交互的语义和系统集成的静态与动态特性.

软件项目管理中的并行主体模型

软件项目管理中普遍存在开发效率低下,工期拖延的情况。利用并行工程的概念,采用智能主体的技术,提出并行主体模型来仿真软件开发的过程,为智能决策提供支持,还分析了利用该工具实施软件开发中需要注意的要点。

一个支持软件并行工程的过程建模语言

实施软件并行工程是缩短软件开发周期、加快软件开发速度的有效途径。文中讨论了软件并行工程对过程建模语言的要求,给出了一个支持软件并行工程的形式化过程建模语言SDDML和基于SDDML的过程建模方法。SDDML基于Petri网,具有面向对象的特征,可表示不同抽象级的过程模型,支持逐步求精的过程建模方法,为软件并行工程中软件过程的控制、分析、评估和优化奠定了基础。

基于面向对象Petri网的软件体系结构描述语言

以面向对象Petri网为形式化理论基础 ,提出了一种基于面向对象Petri网的体系结构描述语言 (OP NADL) .与传统的体系结构描述语言相比 ,OPNADL能描述系统的静态和动态语义 ,可利用Petri网的数学分析方法对系统进行动态分析 ,能形象、直观地刻画系统的整体和个体特性 ,同时可以利用相应的Petri网支持工具对软件体系结构进行模拟、分析和验证 .通过OPNADL在公安地理信息系统和柔性制造教学系统开发中的实践证明 ,OPNADL可以有效地辅助软件设计人员在体系结构层次上对系统进行分析和设计 ,从而提高了系统的开发效率 。

基于虚拟原型的概念设计描述模型V-desModel

传统的概念设计方法由于缺乏真实感的交互手段,难以直观表达设计者的意图.基于虚拟原型的概念设计不仅能为设计者提供逼真的虚拟设计环境,而且充分体现了现代设计的成本低、周期短以及灵活性强等特点.针对概念设计的特点以及虚拟原型的特征分类,提出了基于虚拟原型的概念设计模型V-desModel,其核心是利用产品视图模型描述设计对象,将虚拟特征概念融入视图模型中,并采用可扩展“三维实体-约束图”来描述设计对象之间的约束关系.V-desModel模型能有效地支持基于虚拟原型的概念设计过程,较好地解决了概念设计中产品虚拟原型的逼真性要求和设计信息不完备之间的矛盾,不仅极大地扩展了概念设计实施的手段和范围,而且更有利于概念设计阶段创造性的发挥.

再造工程和并行工程在信息系统开发中的应用探讨

本文首先研究了如何运用再造工程原理 ,通过系统改善信息系统开发过程的结构 ,谋求缩短信息系统开发周期 ,提高信息系统开发效率和质量 ,并给出实施步骤 .其次结合并行工程 ,提出并行软件工程概念 ,并且提出了两种信息系统开发过程模型 ,即

软件开发的并行工程方法研究

并行工程在制造业被广为接受 ,但在软件开发过程中采用并行工程还是一个新兴领域。首先论述了软件开发的并行工程方法的概念、本质和组织形式———以多功能IPT小组为基本组织单位 ,接着讨论了软件开发的并行工程方法过程模型 ,并介绍了并行化的两个方面及需解决的问题。在此基础上 ,进一步探讨了其在集成平台开发中的应用。

软件工程留学生Java并发编程教学研究

Java高级程序设计课程面向武汉大学软件工程专业硕士留学生,以卓越的软件架构设计师、软件开发工程师的培养为目标。其中并发编程是多核编程、并行编程、分布式编程,乃至云计算、大数据软件架构设计的基础,本文对该部分的教学内容进行了提炼,以《斯坦福大学2025计划》为理论基础,提出了一整套教学模式和途径,并在实际教学活动中加以运用和实践,取得了较好的教学效果。

基于并行工程的航空嵌入式软件测试过程研究

航空嵌入式软件的不断推出对航空嵌入式软件测试提出了新的挑战,商业化的第三方软件测试面临着质量、进度、成本等问题,而良好的软件过程与持续的过程改进是解决这些问题的一个途径,从对并行工程的研究入手,将并行工程的方法运用到航空嵌入式软件测试实践中,寻求基于并行工程的航空嵌入式软件测试过程,可以解决以上问题。

软件开发的并行工程方法研究

并行工程是集成地、并行地设计产品及其相关的各种过程的系统方法。这种方法要求产品开发人员从设计一开始就考虑产品整个生命中从概念形成到产品报废处理的所有因素,包括质量、成本、进度计划和用户的要求。将并行工程思想引入软件开发中,研究并行工程方法在软件开发中的集成框架、利用并行工程方法进行软件开发的团队组成以及利用并行工程方法进行软件开发的模式。

支持软件并行工程过程建模的一种形式化方法

为了支持软件并行工程中的过程建模,以Petri网为基础,提出了一种过程建模的形式化方法 ——X-Petri网。同时给出了X-Petri网的详细定义及模型映射规则。最后通过一个软件并行工程中的过程实例来说明如何建立相应的X-Petri网模型。

快速原型法与并行工程法在快速开发现代化管理软件中的应用

本文在简要阐明原型法和并行工程法原理及其精髓的基础上,详细叙述如何运用这两个较先进的软件开发方法实现了学分制教学管理信息系统的快速原型。

基于并行工程的航空嵌入式软件测试过程研究

航空嵌入式软件市场不断动荡与激烈竞争的局面,对航空嵌入式软件测试提出了新的挑战,商业化的第三方软件测试面临着质量、进度、成本等问题,而良好的软件开发过程与持续的过程改进是解决这些问题的一个途径。文中从对并行工程的研究入手,将并行工程的方法运用到航空嵌入式软件测试实践中,寻求基于并行工程的航空嵌入式软件测试过程,用于解决以上问题。

关于软件项目开发中并行工程方法的过程建模分析

研究了制造业中并行工程的特点,详细分析了并行设计产品的方法,实施其可行性、实施要素,提出了基于Petri网的软件过程模型,给软件过程的控制、分析及优化打下了良好的基础。并能够极大地提高产品开发效率和质量,并在实际项目中实践了软件并行工程,提高软件开发效率,取得了良好的效果。