一个新的结构化程序设计工具WPADT系统的设计实现及其评价

<正> 一、前言 MPADT(Wuham University problemAnalysis Diagram Translator)系统是一种以PAD(Problem Analysis Diagram)图式为主导的、可适用于多种程序设计语言的软件实现工具系统。该系统能支持软件生命周期的详细设计和编码、排错阶段。采用该系统开发软件,可同时输出PAD图和相应的源程序,     

软件工具与软件开发环境

本文简略介绍了软件工具和开发环境的发展。对比了“以图表为主导”和“以高级语言为主导”的两大流派,主张当前我国应大力开发以图表为主导的软件工具和环境。本文第一位作者参加了今年的第七届软件工程国际会议(7-ICSE),参观了会议期间的工具和环境展览,并访问了几个有关单位。     

综合知识表示模型MAS的属性文法推理机制

根据文献［２］中提出了的基于属性文法和语义网络的综合知识表示模型ＭＡＳ，本文提出了关于实现该ＭＡＳ推理机制的基本算法，并且通过实例对该算法进行了说明，最后，证明了基于ＭＡＳ模板的属性文法是Ｌ－ＡＧ和ＩＭＡＳ的解是完全的结论。     

基于规则的动态工作流建模方法的研究与设计

现代企业流程所固有的多变性和灵活性，凸显了工作流在处理动态不确定因素方面的不足。针对这一情况，提出了一种基于ECA（event—condition—action）规则和活动选取一组合规则的动态工作流模型。该模型采用柔性活动对流程中的不确定因素进行了封装，用活动选取一组合规则来约束柔性活动的具体化过程，并设计了一种高效的活动自动选取一组合算法，来实现柔性活动的具体化。     

委托驱动的多Agent协调模型

在对委托关系的研究基础上提出了负载驱动的可委托关系的协调方法，可以有效地利用委托执行减少agent的冗余操作，晟大限度地节约计算资源。同时，通过协调平衡系统负载，提高整个系统的效率和处理问题的能力。最后，以一个具体实例说明了如何应用委托协调方法。     

多视点中不一致性的处理：一种基于认知逻辑的方法

衡量一个软件系统是否成功,一个基本的要素就是看该软件系统是否满足了用户的要求。软件系统需求工程(RE)就是一个通过标识涉众及其需求并将其文档化以便于进行分析的过程。RE是一个跨学科,以人为中心的过程。多视点需求工程是需求工程的一个分支。多视点需求工程就是希望复杂系统中的不同参与者分别从自己的角度出发对预期系统进行描述,从而形成更完备的需求规约。由于多视点方法的这种特性,导致多个涉众有可能对同一问题进行描述,从而形成重叠的需求。这些重叠的需求就是涉众之间的公共知识,对公共知识的不同解释是导致需求规约中不一致问题的根源。不一致性是多视点需求工程中一个必须解决的问题。本文提出了基于问题域的多视点需求建模框架,并利用认知逻辑对该框架进行解释和推理,希望可以用形式化的方法来发现和解决存在于不同视点间的不一致性。     

一种谓词驱动的目标求精方法

目标求精是场景和目标相结合的需求建模方法中的一个重要环节。该文基于目标和场景相结合的需求建模，提出了谓词驱动的目标求精方法，通过对目标谓词描述的分类来指导整个求精过程的进行。同传统的求精方法相比，该方法具有对需求分析员的依赖较小、自动化程度高等优点。     

组件思想在模拟执行的需求检查方法中的运用

模拟执行是一种重要的需求规格说明书(SRS)的检测方法。文章基于面向嵌入式实时系统的需求描述模型RTRSM,提出了如何将组件化的思想和技术应用于模拟执行的检查方法中,从而增加了SRS的可靠性和正确性。最后,文章提出了根据需求描述模型直接生成框架代码的构想,这也是一种从需求直接生成嵌入式实时系统的探索。     

一种实时系统软件体系结构风格:NewRob

该文分析了现有的软件体系结构风格描述语言的特点,并结合嵌入式实时系统的领域特征,提出了一个面向嵌入式实时系统的软件体系结构风格:NewRob。NewRob所生成的一个基本说明书,由一个同步控制任务组成,它负责将系统作为包含各类异步组件的集合,进行动态重构。控制任务通过对各组成元件逐级细化、分解,得到进化后的低级控制任务,每个低级任务也都管理一个新的组件集合。采用时序逻辑描述和验证不同抽象级别的软件体系结构的一致性。     

面向行为的需求建模研究及实现

需求建模是需求工程中的重要步骤。提出了一种面向行为的需求建模方法,首先将目标系统问题域划分成多个子问题域,然后在子问题域里建立多个视点,在每个视点内,根据需求建立多个场景。对于每个场景,用行为描述语言建立场景行为模型,视点内所有场景的行为模型组合构成视点行为模型,目标系统所有视点的行为模型组合构成系统行为模型。在行为模型的基础上,提出了一系列特性以及其验证方法,用于验证行为模型的正确性以及系统特性。基于以上方法,设计和实现了面向行为的需求建模工具BRMT),以辅助开发人员从行为的角度进行需求建模。