具有严格操作语义的图形化软件过程建模研究

``软件危机''，这一始于上世纪~60~年代的概念，始终伴随着软件业的整个历史发展进程。 为了解决该问题，人们逐渐开始借鉴一些传统领域内的管理理论、方法和工具，以期解决软件开发中所面临的问题。其中，更多的是作为一种管理哲学，而不是具体管理方法的全面质量管理（Total Quality Management���TQM），在软件工程领域得到了广泛应用。全面质量管理对于软件工程的影响，一个很重要的方面是促进了软件过程和软件过程改 进的研究、实践。 作为软件过程研究的重要内容，软件过程建模是通过特定的方法对软件过程进行抽象、表示和分析以增加对软件过程的理解，并通过直接或者间接的方式指导实际软件开发活动。为了对软件过程管理活动提供方法和工具支持，人们提出了多种以过程为中心的软件过程工程环境（Process-centered Software Engineering Environment, PSEE），其最终目的是使得实际软件开发活动受软件过程模型的支配。但由于过程模型本身的正确性得不到保证、PSEE中执行的软件过程模型和实际开发过程之间的信息反馈缺乏客观性以及过程模型和实际开发过程之间的抽象层次不同和描述粒度不一致，导致PSEE中执行的软件过程模型和实际开发过程之间经常产生严重的偏差，以至于PSEE对实际开发活动逐渐地失去了支持和指导作用，进而使得投入大量成本所开发的软件过程模型无法发挥其应有的作用。 针对这些问题，本文提出了一种具有严格操作语义的图形化软件过程建模方法。由于在具有图形化表示方式的同时，又具备严格的操作语义，因此基于该方法所描述的软件过程比较易于分析。特别是，通过模型检测技术验证软件过程模型本身的正确性，可以减少由模型错误所导致的不一致；通过比较预定义的过程模型和实际开发过程，可以发现两者间的不一致并及时地消除。同时，具有严格操作语义的软件过程建模方法，可以为软件过程执行提供良好的支持。 首先，本文提出了一种具有严格操作语义的图形化建模语言——TRISO/ML。该语言具有图形化的表示方式，可以更容易地为软件工程人员所接受，以及更好地满足过程表示对易用性和可理解性的需求。该语言同时具有严格的操作语义，可以映射到多元PI演算，从而能够更准确地描述软件过程，避免歧义的产生。更为重要的是，该语言从行为角度出发，能够以一致的方式描述软件过程中的各种实体及其相互间的并发、同步和通信。 其次，在TRISO/ML语言的基础之上，提出了一系列的软件过程分析方法。主要研究如何利用多元PI演算的理论、方法和工具以及软件验证技术，对软件过程进行分析和验证。软件过程分析的研究主要集中在如下两个方面：a）软件过 程模型本身正确性的验证，以确保该模型准确地描述了所希望表达的内容。b）比较两个过程模型是否等价。 然后，基于软件过程移动性概念，研究了如何通过软件过程结构的变化支持过程的动态执行。软件过程移动性概念反映了软件过程执行时，由于软件过程实体的动态交互，导致构成软件过程的实体及其相互间的关系不断地发生变化。 软件过程移动性这一概念的提出，使得软件过程实体之间的关系可以在软件过程执行时动态地确立和调整，软件过程的定义随着过程信息的不断丰富而逐步地细化和明确，从而能够以更灵活的方式支持软件过程的表示和执行。 最后，描述了支持TRISO/ML的原型工具，包括基于TRISO/ML的过程表示、多元PI演算语义描述的自动生成，以及进一步的分析和验证。

Comparison of the total amount of eggshell pigments in Dongxiang brown-shelled eggs and Dongxiang blue-shelled eggs

Based on the knowledge of the heme biosynthetic and metabolic pathway and the structures of biliverdin and protoporphyrin, experiments were carried out to compare the difference between the total quality of eggshell pigments in blue-shelled eggs and brown-shelled eggs from the same population (Dongxiang, China) and to analyze the correlation between the quantity of protoporphyrin and biliverdin in the 2 kinds of eggshells. It was found that there was no significant difference between the total quantity of eggshell pigments in Dongxiang blue-shelled eggs and Dongxiang brown-shelled eggs (P = 0.9006), and a highly significant positive correlation between the quantity of protoporphyrin and biliverdin in blue eggshells (P < 0.01) and a significant positive correlation between the quantity of protoporphyrin and biliverdin in brown eggshells (P < 0.05). These results suggested that eggshell protoporphyrin and eggshell biliverdin probably derived from common precursor material.

基于过程控制的软件质量管理

质量形成于过程.以预防为主的过程管理思想在软件产业引入了软件的工程过程、管理过程和支持过程三类基本过程,以过程为中心的软件开发、生产与质量管理是现代软件产业的时代特征.本文阐述了软件质量管理的基本原理,提出了一个基于CMM过程管理控制的软件质量管理模型及平台,帮助软件组织达到较高的成熟度水平.

软件质量管理中的统计过程控制

统计过程控制（SPC, Statistical Process Control）是一种借助数理统计工具的过程控制方法，它利用统计工具及技术（如控制图）对过程或过程输出进行分析，找出过程中的不确定因素并及时消除，控制、管理、改进过程产品的质量或过程能力，从而达到保证产品质量的目的。它能帮助用户采取适当措施来保证过程处于统计意义的受控状态，并且帮助用户提高生产能力，以满足或超越顾客的期望。SPC最早是在工业界提出的，在工业界的成功也促使它被应用于其它许多商业领域。本文主要探讨统计过程控制在软件质量管理中的实施。

现代质量管理理论在软件组织的应用

International Software Process Association (ISPA); Chinese Academy of Sciences, Institute of Software (ISCAS); ISCAS Laboratory for Internet Software Technologies (iTechs)

基于ISO9000和CMM的软件质量管理系统的研究

中国计算机学会

可集成的制造执行系统

制造执行系统作为企业上层事务处理和低层设备控制系统之间的中间桥梁 ,在生产计划的优化调度、生产过程的改进等方面起着越来越重要的作用 ,并得到工业界广泛的认可和应用。本文总结了制造执行系统的发展历程和存在的问题 ,简要介绍了制造执行系统的功能、信息交互关系 ,以及信息技术对制造执行系统的冲击 ,进而引入工作流管理技术、智能Agent和面向对象技术 ,提出了可集成制造执行系统的体系结构、运行机制和开发方法 ,并对该系统的市场进行了分析与预测。

渤海造船厂计算机集成制造系统(BS-CIMS)

简介了渤海造船厂计算机集成制造系统（ＢＳ－ＣＩＭＳ）的系统结构，系统组成（工程设计、经营管理、财务管理、生产管理、建造作业和质量管理６个应用分系统），信息分类编码原则，计算机支撑环境，分系统之间信息界面和系统集成方案。