一个柔性的形式化过程建模语言

提出了一个柔性的形式化过程建模语言FLEX.它具有丰富的语义、易用性、灵活性、可扩充性、可重用性和分布性,是一个可分析、可执行、演化的过程建模语言.建模语言不仅提供了高度抽象的描述方法以便于一般用户使用,还允许用户通过重用的方式自定义多种抽象级别的语言元素来扩充语言的描述能力.因此,FLEX语言可以支持不同层次和需求的过程建模.     

分布式过程支持系统的研究

要支持异地软件开发,分布式的过程支持系统的建立是必要的.通过比较4种分布式的过程支持系统的体系结构,引擎分布、数据分布的结构能有效地支持分布式软件过程.设计实现了基于P2P方式的多引擎PSEE（ProcessSensitive Software Engineering Environment）——MEPSS,在MEPSS中,每个引擎具有自治性,同时各引擎间通过交互形成一个完整的过程支持系统.     

软件过程评估和改进

软件过程为软件的发展提供了组织、管理、度量、支持和改进的方法。文章对当前主流的软件过程评估和改进的标准(包括ISO、CMM、Bootstrap和QIP等)进行了分析比较，并在此基础上提出了过程模型语言(PML)和基于过程敏感性的软件工程环境(PSEE)等软件过程技术。     

Uncertainty management in a process environment

Abstract

Software systems are developed by software projects. A software project generally associates with a process (software development process). A software project's process can be managed by process‐centered software engineering environments (PSEEs). In other words, PSEEs facilitate monitoring software projects. When a software project is being executed, many details may be uncertain in the early phases of the project. Therefore, managing uncertainty of a project's process becomes necessary. We identified existing approaches that can manage process uncertainty. Nevertheless, existing approaches suffer from drawbacks such as resource wasting. We thus propose two new approaches, which are pre‐defined semantics and incremental process program development. The former approach prevents duplicating the same code in a process program and the latter handles both predictable and unpredictable process uncertainty. This paper primarily presents the new approaches.     

一种新型的以过程为中心的软件工程环境

软件工程环境尤其是以过程为中心的软件过程软件环境，是解决软件危机的重要基础设施．本文在介绍了软件工程环境的分类和主要的特点以及不足。介绍了一个新型的以过程为中心的软件工程环境的主要组成部分的软件体系结构和实现框架，可以有效的支持复用和Internet的软件过程管理．     

一种基于对象网的多视角软件过程模型

基于关注点分离原则,结合多视角软件过程建模与对象网之间的相似性,提出了一种基于对象网的多视角软件过程模型MOPN-SP-net,可以提高软件过程模型的可复用性(reusability).在使用MOPN-SP-net建模时,得到的多视角软件过程模型是一种多维网.直接分析这种多维网比较困难,为此,提供了一种从对象网到平面网的等价转换规则,且转换前后的模型在合理性准则上保持等价.根据这个转换规则,可以通过分析转换后平面网模型的合理性得知转换前的对象网的合理性.     

Tribo- and photo-stimulated exoelectron emission from graphite

Tribo- and photo-stimuated exoelectron emission from reactor graphite has been investigated, because an increase in tribo-stimulated exoelectron emission from graphite signifies large friction. Selective deformation of graphite fibrils was identified with transmission electron microscopy. The exothermic process during the preferred orientation caused emission of tribo-stimulated electrons. Photo-stimulated exoelectron emission from reactor graphite was also detected. However, the mechanisms of photo-stimulated exoelectron emission were different from that of tribo-stimulated exoelectron emission, and photo-stimulated exoelectron emission does not relate to a change in tribological characteristics.     

基于规则的软件过程事务模型

事务管理是过程工程环境(PSEE)的一个关键技术.近年来,提出了不少高级事务模型支持长事务.然而,由于软件过程事务处理的特殊性,这些模型只能反映其中一部分需求,而且大多数多层的合作事务模型还不够稳定,无法应用于商业,这对PSEE的事务机制提出了挑战.基于此,提出了一个基于规则的软件过程事务模型E-Process/TM,能够较好地刻画软件过程的特征,即用户交互性、长周期、迭代式过程和数据共享的多用户协作.基于用户可自定义的正确性规则,E-Process/TM提供了良好的灵活性和开放性.目前,该模型已在商业PSEE产品中得以实现,并成功地应用于实践中     

过程驱动的软件工程环境研究

本文探讨了过程驱动的软件工程环境设计以及在这种环境下的软件生产方式，并在作者实际工作的基础上，提出了一个集成的过程驱动的软件工程环境－青岛过程驱动环境ＪＢ－ＰＳＥＥ的设计方案。