Structured Development Environment Based on the Object-Oriented Concepts

The object-oriented software development is a kind of promising software methodology and leading to a wholly new way for solving problems.In the research on the rapid construction of Structured Development Environment(SDE)that supports detailed design and coding in software development,a generator that can generate the SE has been applied as a metatool.The kernel of SDE is a syntax-directed editor based on the object-oriented concepts.The key issue in the design of SDE is how to represent the elements of target language with the class concept and a program internally.In this paper,the key concepts and design of the SDE and its generator as well as the implementation of a prototype are to be discussed.     

Neural network technology in the plant fault diagnosis software application

In this paper, the conception and the development of the fault diagnosis technology are discussed, and the problems of fault diagnosis technology is solved in power plants by analyzing the actual and existing problems in the field of power plants fault diagnosis technology. Then we reveal the reliable technique to diagnose software by using BPNN in power plants fault diagnosis process. The experiment shows that complex model can be constructed by using this method and parameter estimation is done easily. This method is also fit for different datum sets, and it has less error. It is an efficient method in power plants fault diagnosis.     

Structured Development Environment Based on the Object-Oriented Concepts

The object oriented software development is a kind of promising software methodology and leading to awholly new way for solving problems. In the research on the rapid construction of Structured Development Envi-ronment (SDE)that supports detailed design and coding in software development, a generator that can gener-ate the SDE has been applied as a metatool. The kernel of SDE is a syntax-directed editor based on the ob-ject-oriented concepts. The key issue in the design of SDE is how to represent the elements of target languagewith the class concept and a program internally. In this paper, the key concepts and design of the SDE and itsgenerator as well as the implementation of a prototype are to be discussed.     

空间数据挖掘关键问题研究

With the rapid development of remote sensing and mapping technology and the widespread application of spatial database system, the spatial data collected and stored by human expand increasingly. These very large datasets far exceed human's capabilities of comprehending and handling, so the requirement of spatial data mining to pro-vide human with valuable information becomes in stant need. In this paper, the methods of spatial data handling in spatial data mining are discussed from a database perspective, the key problems of spatial data mining and their solu-tions in current study are presented, the relations between spatial data mining and geographical information system are analyzed.     

Technical framework for Internetware: An architecture centric approach

Being a new software paradigm evolved by the Internet, Internetware brings many challenges to the traditional software methods and techniques. Sponsored by the national basic research program （973）, researchers in China have developed an architecture centric technical framework for the definition, incarnation and engineering of Internetware. First of all, a software model for Internetware is defined for what to be, including that Internetware entities should be packaged as components, behaving as agents, interoperating as services, collaborating in a structured and on demand manner, etc. Secondly, a middleware for Internetware is designed and implemented for how to be, including that Internetware entities are incarnated by runtime containers, structured collaborations are enabled by runtime software architecture, Internetware can be managed in a reflective and autonomic manner, etc. Thirdly, an engineering methodology for Internetware is proposed for how to do, including the way to develop Internetware entities and their collaborations by transforming and refining a set of software architectures which cover all the phases of software lifecycle, the way to identify and organize the disordered software assets by domain modeling, etc.     

On "The Right" Software

Boehm[13,37] is credited to have formulated the "Two Rights" of software: the problem of getting the right software and the problem of getting the software right. The development processes needed to achieve software that is right, to us, requires that a proper study of the application domain be done before a serious requirements study is attempted; and to achieve the right software, that is, software that is correct, to us, requires that a proper engineering degree of formalism be applied to the entire development process; that is, that we re-interpret classical development processes[14]. We shall in this paper focus only on the issue of obtaining the right software. In this paper talk we shall outline what we mean by a proper study of the application domain and how it influences the requirements development.     

Knowledge Based Software Engineering for Software Development

Information revolution means that the software such as MIS developed by software engineers must be capable of rapid adaptation to constantly changing circumstances and demands in order to remain capable of effectively fulfilling their missions. The key to achieve these goals is to maintain an update understanding of the workers＇ requirements, how well thcse are currently met, and how well current and future needs might be met by conceivable solution options. This paper proposes an engineering approach of knowledge based software systems for the development and evolution of software systems. This approach captures the changing requirements of the works, together with the details of the solutions that are intended to meet them, in a repository.     

Developer social networks in software engineering:construction,analysis,and applications

With the increasing popularity of Internet, more and more developers are collaborating together for software development. During the collaboration, a lot of information related to software development, including communication and coordination information of developers, can be recorded in software repositories. The information can be employed to construct Developer Social Networks （DSNs） for facilitating tasks in software engineering. In this paper, we survey recent advances of DSNs and examine three fundamental steps of DSNs, namely construction, analysis, and applications. We summarize the state-of-the-art methods in the three steps and investigate the relationships among them. Furthermore, we discuss the main issues and point out the future opportunities in the study of DSNs.     

软件工程四位一体校企合作实践教学体系研究(英文)

To meet for the enterprise requirements of software engineers and to solve the problems that the software engineers with low capacity in engineering and innovation issues at present,this paper first analyzes the software engineering education objectives and methods,then proposes to build an engineering teaching architecture which called One Frame with Four Aspects.This architecture reforms the practical teaching experience from educational concepts,practical training links,practical training objectives as well as practical training evaluation mechanism,especially focuses on the content of practice teaching,engineering teaching curriculum,the school-enterprise cooperation model and evaluation mechanisms.Practice has shown that the practical teaching system can be applied to software training well in Software School and its training effect is remarkable.     

Exception handling refactorings: Directed by goals and driven by bug fixing

Exception handling design can improve robustness, which is an important quality attribute of software. However, exception handling design remains one of the less understood and considered parts in software development. In addition, like most software design problems, even if developers are requested to design with exception handling beforehand, it is very difficult to get the right design at the first shot. Therefore, improving exception handling design after software is constructed is necessary. This paper applies refactoring to incrementally improve exception handling design. We first establish four exception handling goals to stage the refactoring actions. Next, we introduce exception handling smells that hinder the achievement of the goals and propose exception handling refactorings to eliminate the smells. We suggest exception handling refactoring is best driven by bug fixing because it provides measurable quality improvement results that explicitly reveal the benefits of refactoring. We conduct a case study with the proposed refactorings on a real world banking application and provide a cost-effectiveness analysis. The result shows that our approach can effectively improve exception handling design, enhance software robustness, and save maintenance cost. Our approach simplifies the process of applying big exception handling refactoring by dividing the process into clearly defined intermediate milestones that are easily exercised and verified. The approach can be applied in general software development and in legacy system maintenance.     

一种快速测试Java异常处理机制的方法

异常处理机制能增强程序运行的可靠性，提高软件的健壮性，但异常处理代码本身可能存在错误．由于它的特殊性。采用与测试普通代码同样的方法对其进行测试，通常效率不高而且很难达到预期的效果．在分析了利用断言违背策略进行软件故障注入技术的基础上，提出了将Java异常处理机制的特殊结构同断言违背策略、程序变异技术相结合，可以有效地测试异常处理代码。并设计工具来支持这种故障注入方法．     

面向服务软件异常处理过程的可终止性验证

大规模面向服务软件运行环境的动态性和不确定性使其异常处理逻辑复杂度高,导致异常处理过程的可终止性验证异常困难。而异常处理过程的可终止性是确保其正确性的重要基础,如果异常处理过程不能终止将导致面向服务软件无法正常运行。目前缺乏异常处理过程的可终止性验证方法,从而无法保证异常处理达到预期的目标。基于着色Petri网(colored Petri net,CPN)提出了一种面向服务软件异常处理过程的可终止性验证方法。该方法建立了包括正常流程和异常处理逻辑的异常层次CPN模型(hierarchy CPN model for exception handling,HCPN4EH)。基于此模型验证了异常处理过程的可终止性。通过一个实例说明了该方法的可行性和有效性。得到的可终止性验证结果可为进一步分析异常处理过程的正确性提供基础。     

Java虚拟机异常处理机制的设计与实现

异常处理机制是程序设计语言的重要特征之一,它为开发可靠性软件系统提供了强有力的支持,介绍了不同语言的异常处理机制,对Ｊａｖａ语言的异常处理机制进行了详细论述,最后结合国产开放系统平台ＣＯＳＩＸ虚拟机异常处理的设计,深入探讨了在解释才及时编译执行两种不同的情况下,异常处理设计与实现的关键技术。     

面向服务软件中基于着色Petri网的异常处理模型

面向服务软件异常处理的开发工作量大且程序逻辑复杂。若只在设计阶段后期或是编码阶段考虑异常处理功能的开发,则可能由于没有充分、完整、系统地考虑待处理的异常而严重影响软件整体可靠性。针对面向服务软件中异常处理机制的特点,提出一种基于着色Petri网的异常处理模型。通过对异常处理组成元素和异常处理模式分别进行形式化描述,可提供可重用的异常处理模型元素。设计者根据面向服务软件中异常处理的实际需求,使用异常处理模式连接异常处理组成元素,形成一个完整的异常处理模型。利用该模型可以精确描述面向服务软件中异常处理总体方案,便于辅助设计人员检测异常处理设计方案中的缺陷。     

Java异常处理机制研究

异常处理机制是程序设计语言的主要特征,它为开发稳定的软件系统提供了有力的支持.文章对Java语言的异常处理机制以及异常类的层次进行了详细介绍,提出了Java异常处理策略.     

Functional semantics of programs with exceptions

Linguistic mechanisms for exception handling facilitate the production of reliable software and play an important role in fault tolerant computing. This paper describes the functional semantics of a Pascal-like language which supports exception handling and data abstraction. A program with exceptions is considered as having a standard semantics, as well as an exceptional semantics for each exception that may be signaled during its execution. Standard functional semantics methods provide rules to obtain the function representing the standard semantics. In this paper, we provide rules to determine the functions representing the exceptional semantics. We also describe a method for specifying and verifying the correctness of implementation of data types with exceptions.     

浅谈C#程序中的异常处理机制

程序设计中,异常是一个不可忽略的元素,因此,有效的异常处理是程序完善的重要标志。重点介绍了C#语言中的异常处理机制。主要包括异常的基础知识、异常处理机制、程序设计中的异常三个部分。异常基础知识部分,讲解了什么是异常,异常发生的情况及主要的异常类,使读者对程序异常有基本的认识。异常处理机制部分,从应用程序和理论两方面对C#语言中对异常的处理机制进行讲解,详细分析了三种异常处理语句。程序设计中的异常部分,通过一个简单的程序开发中的例子扩展异常机制在程序设计中的应用,拓宽软件开发人员的设计思路。     

工作流异常处理的形式描述

异常处理是工作流执行中要解决的主要问题之一，清楚地描述异常处理的过程是最终得到实现的基础。Petri-net对工作流的描述适合于对过程定义进行正确性验证和评价，但描述各种不同条件下的处理策略却很繁琐，采用了一种直观的描述方法对异常处理过程中的元素，即活动、异常处理策略以及处理措施进行了形式化描述，特别是对不同处理策略下的处理过程进行了描述。结合消息机制，分析了一个异常事件出现时，如何处理一个活动实例产生的中间数据，并对事务处理和异常处理的补偿策略进行了比较。描述方法为编码实现提供了很大的方便。     

工作流异常处理技术与方法

首先介绍了工作流异常处理的体系结构，然后详细介绍了异常处理在流程建模中的描述方式和异常处理的四个基本方法：事务特性与程序设计结合法、知识库法、ECA规则法和工作流进化法。最后展望了工作流异常处理的未来发展方向。