并发系统模型研究

1.引言一个模型的作用是对想要构造或分析的系统性质给出严格定义,同时也为验证这些性质提供一个基础。现有的用于软件开发的每一种形式化描述和分析方法其有效性范围均是相对于程序执行的某一数学模型而言,并不是实际的系统。     

结构化分析工具JS—SA中的关键技术

本文分析了集成经计算机辅助软件开发环境ＪＳ－ＣＡＳＥ中的需求分析工具ＪＳ－ＳＡ的设计与实现中的一些关键问题，并讨论了对其进一步应做的工作。     

第十八届国际软件工程会议概况

第十八届软件工程国际会议于1996年3月25至29日在德国柏林召开,来自美国、德国、日本、中国等37个国家和地区的代表851人参加了会议。其中德国占40％,除德国外的欧洲占30％,美洲占20％,亚洲、大洋洲占7％,我国仅一人参加。会议涉及面很广,发表论文52篇,按内容包括16个专题:理解与分析、支持需求、测试与分析、使用面向对象、分布式系统分析、度量、基于构件的软件、形式化设计、配置管理与复用、过程效用、系统确认、环境、维护与演化、测试算法、数据流测试等等。大会组织了三个特邀报告,分别介绍了软件开发方法,形式化技术,软件工程中实验的过去、现在和未来。大会前后还组织了十四个专题讲座和八个专题讨论会,在柏林形成了96国际软件工程周。它们是第四届IEEE程序理解专题讨论会,96国际多媒体软件开发专题讨论会,第六届国际软件配置专题讨论会,第三届国际软件度量专题讨论会,第一届并行和分布式系统软件工程专题讨论会,第三届国际软件工程教育专题讨论会,第八届软件规约和设计专题讨论会。每一个专题讨论会都有自己的组织委员会,参加讨论班是受限制的,参加者是由他们对问题立场说明的论文来决定的。     

基于软件工程的规约方法分类

本文从软件工程角度,对软件的规约方法进行了分类。得到两类规约方法:一类是基于逻辑规约方法.此方法一般是给出系统应该满足的性质集合。其代表是时序逻辑方法。另一类方法是基于模型规约方法。此方法一般是给出一个抽象模型,这个抽象模型指出程序应该如何活动.其代表是通信系统演算(CCS).本文进一步从软件工程原理,对这两类规约方法进行了比较和讨论。得到的结论是:两种类型的规约方法在系统开发的整个过程中都起着不同而重要的作用,它们相辅相成,缺一不可.最后,指出了今后的研究工作.在软件开发中,应该考虑多种规约方法和多种语义相结全的开发过程.     

一个Pascal的面向对象扩充的设计与实现

本文阐述了ＮＤＯＯＰ的设计和实现的主要思想．ＮＤＯＯＰ是一个Ｐａｓｃａｌ的面向对象扩充，是Ｐａｓｃａｌ的超集，既充分支持面向对象程序设计，又保持了Ｐａｓｃａｌ的原有风格．     

对钨冶炼工艺的一点研讨

一、前言 钨的湿法冶炼经过多年的探索和实践,于本世纪卅年代已初步奠定了现今仍然流行的所谓传统（经典）工艺的基本模式,以后的半个多世纪则使工艺日趋完善和设备与管理不断现代化。直到七十年代,美、欧国家的一些大企业才开始把溶剂萃取法用于钨的湿法冶炼工艺中,形成今日所谓的现代提钨工艺。但是,萃取实际上只取代了经典工艺的人造白钨、酸分解和氨溶工序,其它则仍保留着（参看图1）。     

软件Agent的继承性研究

Agent作为一种受限的智能对象,对Agent的继承特性进行深入研究并将继承机制嵌入到AOP(agent-oriented programming)中则具有重要意义.文章基于BDI Agent模型,对软件Agent的继承性和复制行为进行了研究.从单继承和多继承两个方面给出了Agent继承的语义,将Agent实例的动态复制机制形式地划分为功能分割、逻辑分割、择优分割和返祖分割这4类,分析了每类分割方式的作用,并基于电子市场系统应用背景给出了相应的实例.     

基于MDA的PIM到J2EE平台PSM的转换方法

MDA是解决基于不同中间件系统的集成问题。它将不同的系统都结构化成PIM和PSM并针对不同实现技术与平台制订多个映射规则,然后通过这些映射规则及辅助工具将PIM转换成PSM,再将PSM不断求精直至形成最后代码。MDA中的模型转换有4种：PIM到PIM,PIM到PSM,PSM到PSM以及PSM到PIM。其中的PIM到PSM转换是难点。本文提出了一种PIM到J2EE平台的PSM转换的方法：首先将一个用PIM配置图和类图描述的系统根据映射规则转换成J2EE平台下的PSM配置图、类图;然后根据精化规则对PSM模型进一步精化,生成不同的EJB以及构件图,为最后代码的自动生成打下基础。