一个基于可高集成界面的软件定义开发环境MHSC／E

软件开发存在着方法论需求。基于作者提出的ＭＨＳＣ方法论思想，本文提出一个支持软件定义开发的可视集成环境ＭＨＳＣ／Ｅ。通过可视界面支持软件定义的变换、求精与仿真。ＭＨＳＣ／Ｅ较好地反映出ＭＨＳＣ的核心思想。本文着重介绍ＭＨＳＣ／Ｅ的环境组成、集成界面以及高层构造技术和支持工具。     

一个支持进化式软件开发的集成环境:MHSC/IDE

简要地介绍了ＭＨＳＣ方法论（Ｍｅｔｈｏｄｏｌｏｇｙ ｏｆ Ｈｉｎｈ－ｌｅｖｅｌ ＳｐｅｃｉｆｉｃａｔｉｏｎＣｏｎｓｔｒｕｃｔｉｏｎ）。并提出了它的集成开发环境ＭＨＳＣ／ＩＤＦ。文中详细介绍了ＭＨＳＣ／ＩＤＥ的组成部分及其相互间的关系,利用该环境进化原型系统的开发得到了有效地支持     

与设备无关的CAD／CAM软件生成环境

程序分级交互绘图系统ＰＨＩＧＳ（Ｐｒｏｇｒａｍｍｅｒ′ｓＨｉｅａｒｃｈｉｃａｌＩｎｔｅｒａｃｔｉｖｅＧｒａｐｈｉｃＳｙｓｔｅｍ）是一种有用的ＣＡＤ／ＣＡＭ软件生成工具。本文叙述一个应用程序设计环境，ＣＡＤＭＡＤＥ（ＣｏｍｐｕｔｅｒＡｉｄｅｄＤｅｓｉｇｎａｎｄＭａｎｕｆａｃｔｕｒｉｎｇＡｐｐｌｉｃａｔｉｏｎｓＤｅｖｅｌｏｐｍｅｎｔＥｎｖｉｒｏｍｍｅｎｔ）它被设计成为一个标准支持软件的框架，帮助ＣＡＤ／ＣＡＭ程序员去产生一个新的用户ＣＡＤ／ＣＡＭ应用软件。ＣＡＤＭＡＤＥ不是对软件的一种描述，而是提出一套生成应用程序设计环境所必需的规则和风格。     

CIMS环境下C/S与B/S混合模式CAPP系统的研究与开发

在基于ＣＩＭＳ环境下,ＣＡＰＰ不仅需要与ＣＡＤ／ＣＡＭ的集成,而且也必须与ＥＲＰ／ＭＨＰＩＩ／ＭＩＳ等分系统集成的思想,该文分析了ＣＡＰＰ与ＣＡＤ／ＣＡＭ、ＥＲＰ／ＭＲＰＩＩ／ＭＩ　、ＣＡＱ、ＦＭＳ／ＦＭＣ等分系统之间的关系和数据流,指出ＣＩＭＳ环境下不同用户对象对ＣＡＰＰ的要求及用户权限的差异。并据此提出基于Ｃ／Ｓ与Ｂ／Ｓ混合模式的ＣＡＰＰ系统设计方法。结合具体 ＣＩＭＳ环境,开发了以 Ｗｅｂ和数据库为支持环境的混合模式集成化 ＣＡＰＰ系统。     

支持软件开发的可执行定义方法

本文分析了软件开发过程中的可执行定义方法及其与软件开发的关系，并将作者提出的可招待定义方法论ＭＨＳＣ与现有方法论进行比较，论文表明可执行定义将在软件系统从定义开发到系统实现的进化式过程中起着关键的作用，有积极的研究意义。     

CASE环境下的软硬件设计与开发集成支撑方法论

本文从受援对象入手，讨论ＣＡＳＥ环境集成支撑软硬件设计与开发的方法论问题，包括对受援对象的集成、扩充、追加等综合开发，并以工程开发和管理的细则规范系统──ＥＰＯＳ为例，提出ＣＡＳＥ前后端的自动优化支撑的必要性及规范简化方法论的设想。     

基于OSI平台的EDI信报处理系统的研究与实现

本文研究了电子数据交换（ＥＤＩ）与信报处理系统（ＭＨＳ）的特点和要求,提出以ＭＨＳ支持ＥＤＩ业务开通的总体方案,并根据国际标准ＣＣＩＴＴＸ．４３５建议,开发“ＥＤＩＵＡ”（ＥＤＩ用户代理）以及“ＥＤＩ－ＵＡ－ＥＤＩ应用系统”之间的程序接口,同时探讨了ＥＤＩ与ＭＨＳ集成技术。     

集成CASE的集成模型

本文综述计算机辅助软件工程ＣＡＳＥ概念的发展，从第一代文件系统集成的ＵＮＩＸ环境到９０年代初的基于仓库的ＣＡＳＥ环境．集成技术方面始终围绕数据集成、控制集成、表达集成发展．ＣＡＳＥ的集成还要保证各厂家开发的工具和可重用成分可移植．为此，本文介绍了近代ＣＡＳＥ环境集成的模式，ＣＡＩＳ和ＰＣＴＥ作为集成核心模型的原理，以及发展到８０年代后期信息仓库的由来．信息仓库是ＰＣＴＥ成果的进一步发展，１９８８年ＥＣＭＡ提出以信息仓库为核心的烤面包实现集成模型．它是当今ＣＡＳＥ环境研究开发的基本模型．本文详细论述了信息仓     

CIMS─EDI／MHS模型与系统研究

本文提出了ＣＩＭＳ—ＥＤＩ／ＭＨＳ基本抽象模型，并在此基础上采用了映射、管理信息库（ＭＩＢ）、多路复用与分流和表驱动技术来设计ＣＩＭＳ—ＥＤＩ／ＭＨＳ。     

CIMS—EDI／MHS模型与系统研究

本文提出了ＣＩＭＳ－ＥＤＩ／ＭＨＳ基本抽象模型，并在此基础上采用了映射、管理信息库、多路复用分流和表驱动技术技术来设计ＣＩＭＳ－ＥＤＩ／ＭＨＳ。     

支持可执行定义的进化式软件开发模型

根据MHSC(methodology for high-level specification construction)方法论,提出一种 支持可执行定义的进化式软件开发模型MHSC/DM(MHSC/development model).详细介绍了模型 的各组成角色及其相互关系,并对变换类型、系统生成与配置以及系统结构进行了论述.此模 型较好地实现了从需求到原型系统的进化式开发的自动支持和一致性保证.     

Integral: Petri-net approach to distributed software development

As the architecture of modern software systems continues to evolve in a distributed fashion, the development of such systems becomes increasingly complex, which requires the integration of more sophisticated specification techniques, tools, and procedures into the conventional methodology. An essential capability of an integrated software development environment is a formal specification method to capture effectively the system's functional requirements as well as its performance requirements. A validation and verification (V&V) system based on a formal specification method is of paramount importance to the development and maintenance of distributed systems.

There has been recent interest in integrating software techniques and tools at the specification level. It is also noted that an effective way of achieving such integration is by using wide-spectrum specification techniques. In view of these points, an integrated V&V system, called Integral, is presented that provides comprehensive and homogeneous analysis capabilities to both specification and testing phases of the life-cycle of distributed software systems. The underlying software model that supports various V&V activities in Integral is primarily based on Petri nets and is intended to be wide spectrum. The ultimate goal of this research is to demonstrate to the software industry, domestic or foreign, the availability and applicability of a new Petri-net-based software development paradigm. Integral is a prototype V&V system to support such a paradigm.     

一种获得应用软件规格说明的新途径

在4GL开发环境下,应用系统的开发都是以界面的设计为导向的。该文介绍了一种在4GL环境下获得应用软件规格说明的新途径,即通过确定界面模型来确定应用软件的规格说明,并详细介绍了确定界面模型的方法———OVID(ObjectViewInteractionDesign,对象视图交互设计)。     

面向对象的软件构造

面向对象技术的发展改变了传统软件系统的结构和设计方法学．本文作者提出一种称为ＳＣＯＰ的面向对象的软件系统结构模式，即软件是对象模块的复合，而软件设计则是对象模块经过程控制进行复合的构造生成．本文从语义模型、描述语言、设计方法学和支持环境等几方面对ＳＣＯＰ进行扼要的介绍．     

直升机仿真模拟训练集成系统实现

针对直升机仿真与地面模拟训练的需求,根据系统集成的开发理念,开发出一个集VC++、Matalb/Simulink和Vega三维可视化功能于一体的直升机仿真模拟训练系统;该集成仿真平台通过VC++编程,将软件界面与Simulink模型有机结合在一起,利用Matlab引擎对Simulink模型进行控制,并将仿真结果送到Vega场景中实时显示;实际运行结果表明,该系统仿真效果与实际效果基本一致,达到了设计要求,具有较好的实用性。     

面向对象的组合软件工程研究

组合软件工程技术是当今软件工程技术发展的主流。本文综述了作者在基于对象的组合软件工程研究方面的最新进展，包括语义模型、描述语言、设计方法学和支持环境等方面。     

Algebraic specifications and sequencing: A defect detection method

One class of program defects results from illegal sequences of otherwise legal operations in software implementations. Explicit statement of sequencing constraints, however, is not a common activity when specifying software even when using formal specification methods. This paper shows that constraints on program execution sequences can be derived directly from algebraic specifications. Results include heuristic methods for generating sequencing constraints and a generalization of these methods into automatable rules. The heuristics can be integrated into a specification methodology such as Larch. Engineers can use the generated sequencing constraints to detect sequencing defects in software even before dynamic testing begins. The method can be used to increase the reliability of software that is specified using algebraic methods.     

媒体处理器协同仿真平台中集成USB接口的研究

分析了USB接口总线和媒体处理器的紧密联系，根据USB接口的规范协议，设计了集成于媒体处理器的USBLLIP核，开发了驱动程序。并在媒体处理器软硬件协同仿真验证平台上验证了USB核和驱动程序的正确性和稳定性。     

End-User Testing for the Lyee Methodology using the Screen Transition Paradigm and WYSIWYT

End-user specification of Lyee programs is one goal envisioned by the Lyee methodology. But with any software development effort comes the possibility of faults. Thus, providing end users a means to enter their own specifications is not enough; they must also be provided with the means to find faults in their specifications, in a manner that is appropriate not only for the end user's programming environment but also for his or her background. In this paper, we present an approach to solve this problem that marries two proven technologies for end users. One methodology for enabling end users to program is the screen transition paradigm. One useful visual testing methodology is ‘What you see is what you test (WYSIWYT)’. In this paper, we show that WYSIWYT test adequacy criteria can be used with the screen transition paradigm, and present a systematic translation from this paradigm to the formal model underlying WYSIWYT.