《一篇国外软件报告的论文翻译》由会员分享，可在线阅读，更多相关《一篇国外软件报告的论文翻译（25页珍藏版）》请在金锄头文库上搜索。
1、考试的 要求规范语言* 钍和 L.凤谢* 计算机科学系 香港的香港大学 薄扶林道 香港 摘要我们研究的特点，是最可取的规范语言的要求， 然后使用该框架，检讨既定六个语言：PSL,SADT,EDDA,SAMM,HOS 和 RSL。 关键字和词组：要求规范，规范的语言，系统开发 华润分类：D.2.1， F.3.1，K.6.3 1。简介一个信息系统的要求规范为重要的是有几个原因：它造福 作为一种手段，造福开发人员和用户之间的通信系统，它代表着一个 系统地未来的需求现状的真实世界，它的问题与它 使系统开发商把这些其他形式的世界更真实的问题为 加工处理的计算机上规模，复杂性，人类认识和它服务 作为系统的
2、基础上的设计，实施，测试和维护的目标。 为了 所有的规范目标的要求得到满足，我们需要一个强大的规范 语言。 不少的作者（如9，21，13，36，38提出独立的 规范语言理想的功能要求。 在本文件第 2 节，我们巩固 这些特点，目前他们在工程过程中的一个。 然后，在第 3 节中，我们使用 建立了研究，在所提出的一些特点的基础上的检验 规范语言。 2。规范语言的一个理想的功能要求信息系统的发展可以理解为一个工程过程。 一个图形 表示见图 1。 我们必须首先建立一个模型，它是一个小规模 抽象表现真实的世界。 这些都是不必要的细节，物理世界 工程过程无关，从模型中删除，或者换句话说，在被忽略 *研究部
3、这样做是在伦敦经济学院，伦敦大学根据英联邦 教学人员奖学金。 该研究也支持部分由香港及中国天然气研究资助 格兰特和香港大学的研究和会议。 *目前与 IBM，加拿大。 一第 2 页谢和凤要求规范语言2分析阶段。 当一个桥梁或隧道计划在两个国家，例如，政治 问题的最好方式是通过政治家，而不是形式上的要求部分工程师 规范。 如果得到的模型仍然过于复杂，可能需要进一步的抽象，直到 问题归结为一个管理的规模。 然后分析该模型是一个可行的和操作，直到 找到解决办法。 在工程，图表和数学却经常使用，因为他们已经 发现更合适的语言描述为操纵比。 一个表示可能要 被转化成另一种，这样一个给定的最合适的分析模型都
4、可以使用。 图，例如，可能要转换成方程。 最后，如果抽象的解决方案 客户所接受，变成一个施工阶段系统它变成现实。 为了使发展的要求规格为有用的系统中，被视为 工程流程，规范的语言必须表现出的各种功能，每个被有关 其中一个阶段。 这些功能将被突出在这一节。 我们认识到，有作家谁可能反对有一个工程师的信息观 系统的发展。 切克兰德的例子是，土地和芒福德5，18，23，谁把系统 发展作为人类活动的进 程。 他们建议，应强调对这些问题作出 为了解整个的变化，以人为本的设计和用户参与的影响 发展进程。 这将是有趣的研究如何为我们的建议是可取的特点 规范语言就属于这种替代的框架。 它是，但是，超出了其范围
5、 本文这样做。 2.1 对现实世界的抽象阿要求规范语言是手段，使用户能够真正模型的 世界并指定其问题和要求。 这是环境发展之间的桥梁 和用户，包括系统分析师，设计师和最终用户。 我们必须确保该接口 向所有关心是可以理解的。 通常的营销语用户友好是一个有点含糊 作为一个有用的指导。 相反，我们认为有必要的语言有以下 属性： 2.1.1 规范语言用户熟悉性作者：这将是用户难以雇用一个完全新的要求规范语言 由于几个原因。 （一）有一个惯性效应的用户观的点。 他们不愿意尝试新的 方法与他们不熟悉。 （二）从管理角度证明流行的观点，一个行之有效的方法，其中有 更趋于技术比接受新建议。 这是更容易招聘工作
6、人员 谁是训练方法成员建立和经验丰富的一个。 它会更容易 维持公司的标准，如果同样的方法使用了整个的。 经理人 一般认为它更安全，是老式的，而不是尝试最新的创新和遗憾它之后。 2第 3 页谢和凤要求规范语言三因此，从业者都比较犹豫，其中涉及新的工具使用不熟悉的正式 语言10，20，21。 当我们提出一个新的系统开发环境，因此，我们 不应该发明一种全新的语言，希望这一事件将是最好的 世界。 相反，我们应该尽量使用现有的规范语言，有最 对可取的特点，更重要的是，已经证明了从业人员的世俗性。 2.1.2 的语言特色（一）文本语言当我们考虑两种语言的要求的规格，使用文本 可能出现：我们可能喜欢任何一种
7、自然语言或更正式的程序，如 语言。 毫无疑问，自然语言提供更好的说服力，更 言论自由，尤其是在系统生命周期的最初阶段的程度时， 涉及的不确定性。 它也更自然，普通的最终用户，从而提高了 用户了解新的形势。 在人工智能的研究人员，但是， 还是很努力，使自然语言理解系统由计算机，因此它是 目前不可能找到一个开发环境，支持要求 基于自然语言规范。 另一方面，语言中指定的必然要求可能会造成歧义，自 它们可能是由不同的人有不同的解释。 正如所指出的德马 科11 其他人，标准不规范英语散文适合即使被处理 手动。 语言有一个更明确更严格的语法和语义略 因此将优先考虑。 这些语言是比较正规的性质，就象一座 编
8、程语言或数学语言。 （二）图形语言人们普遍认为，复杂的图形表示材料更加 理解比文字对应。 其原因可概括如下： 图形是一维的尺寸，而在两个文本。 前者给出了一个额外的 度表现自由英寸 图形是在展示更多更实用的系统和复杂的层次结构 在描述自然的并行性。 一个人的阅读选择图形可以这样做，取决于细节层次的需要。 如果 他读的文本，他这样做的线性关系。 有一个限制举行的是数字的概念，可以合理的短期 人类心灵的记忆22。 一个人阅读图形可以开始普遍，深入 经过一番详细的熟悉程度。 如果一个人阅读的文本，然后一个人开始了与 具体和抽象的概念，后来的骨架。 三第 4 页谢和凤要求规范语言4应当指出的是，许多符
9、号图形语言过多并不一定 理解到最终用户。 图形为基础的语言只能由一个相对小 数容易理解的符号。 （三）混合语言它往往是不切实际的要求，规范只定义在一个单一条款 图形或文本语言。 例如，虽然语言文字的图形比 情况复杂的语言概述在提交的，被视为文本语言 为更好的工具的详细描述。 尽管正式的语言有精确的语义，其 通常意义来解释自然语言。 我们需要，因此，语言， 存在于一个以上的格式。 一个规范合理的子集，至少在较高 抽象层次的，必须同时存在正式和非正式的版本。 该规范必须 从一种形式转换到另一种让用户，分析师，设计师，实现者和 管理人员可以有效沟通。 一个人只需要审查的版本最 适合他的理解和他的需要
10、。 一个正式的一对一的一一对应关系，必须 坚持规范语言之间的各种语法的，所以不会有任何 错误或争议。 2.1.3 复杂性为建议在39，复杂性是主要障碍问题的了解系统。 一 因此，要求规范语言应该提供一种手段，改进的概念 明晰的问题。 有两种途径实现这一目标。 （一）分离逻辑和物理特性当我们分析一个系统的要求，我们要区分逻辑和 物理特性。 由逻辑特征是指对系统的基本特征 必须满足，以满足用户的要求，不论实际 程序或机制。 他们也被称为基本特征。 通过物理 特征是指以何种方式，系统在现实世界的实际功能的。 一 后者典型的例子是一个过程，采用一些具体的工具或材料，如 复印机或缩微胶片。 在另一个例子
11、中，我们可能会遇到两个任务与独立 从一个没有数据传递到另一个人，但他们却在一定的顺序执行。 这样一 更多的是事件的顺序可能是由于政治或历史问题不相关的系统。 阿要求规范语言必须允许我们的逻辑和物理模型 特色另一方面，为了区分必需品与非重要问题。 对于 例如，当我们分析一个电梯控制系统的运作，我们要排除这种可能 逻辑模型的物理特征的颜色，从我们的装饰和照明。 这样，逻辑 系统模型的电梯控制可能被认为相当于系统的一个磁盘的控制，因此 设计专业知识，任何人可以应用到其他。 4第 5 页谢和凤要求规范语言5（二）多层次抽象分层框架应提供的规范语言，使用户能够 可视化的目标体系更加容易。 它允许用户在启
12、动系统的构思 最高抽象层次，然后继续稳步下调的进一步细节。 它允许 用户目标系统的部分区分了从这些相关的特定背景下的 不是。 这种自上而下的方法可以让用户不必要的时间从着手进行详细的一 当他们应该只关心一个目标系统的总体看法。 另一方面， 它允许定义的某些部分，系统在被调查的细节时，其他部分还没有。 为了使用户能够给出一个现实生活需求规范的问题，规范 语言应该帮助他们完善以自然的方式在目标系统的研究。 目标子系统必须 作为独立的越好。 各子系统之间的接口的任何两个应保持在一 最低但明确界定。 这将降低复杂性，避免误解，并 这两个子系统可能要进一步分析由两个不同的人。 系统模块 这个方法创建可重
13、用的通用组件是独立于母公司 模块，给他们打电话。 此外，应建立足够的机制纳入发展 环境，帮助用户检查是否每个步骤在逻辑上是有效的细化，使每 儿童组的模块正是父模块取代有关。 2.1.4 可变性规范的要求，必须在这样的结构方式，指标体系的一个部分 可以轻松地进行修改，修改应付新的用户需求，技术更新和/或其他方面的 环境。 它不仅要照顾没有说明原来的修正案的，但也让 要作出修改，任何人谁被赋予的任务。 2.2 操纵陈述2.2.1 操作工具的（一）形式主义为了消除和实施建设过程中存在的问题歧义 目标系统，规范的要求，应以一种精确的符号可表达与 一个独特的解释。 一个正式的框架，因此必须在场。 它有助
14、于减少 概率之间的误会不同的设计师。 同时，自动化的工具 框架的基础上正式可用于验证的一致性和完整性 规范。 此外，由于系统的复杂性和范围手册现今 开发和维护的方法是非常无效的。 的实施和 维护阶段，可计算机辅助更容易，如果存在一个正式的框架。 5第 6 页谢和凤要求规范语言6（二）Rigour系统的发展，因为它是被实践在目前，没有任何理论背景 是被许多为黑色艺术7。 在其他工程学科，工程师可以提供 用户使用程度的信心保证，支持理论与实践，从而确保 该产品是错误。 这是，另一方面，为系统开发人员不可能这样做 26。 为了解决这个问题，必须在系统开发过程的理论支持，因此 该实现可以证明的正确性和
15、要求，对用户验证。 一个多种技术的理论已经可以在计算机科学的验证 软件的正确性。 我们必须确保有关规定规范语言的支持 由数学基础，使理论可以映射到适当的。 2.2.2 转化（一）支持不同的发展现状人们已经发现8，19，31，不同的发展模式不同的需要 根据环境情况，重点和发展阶段。 例如， 分层图可能是有用的一系统概述的目标。 另一种模式显示 算法的细节可能更适合目的的实现。 第三个模型中的一个 数学形式证明可用于执行的正确性。 因此， 要求规格可以从一个风格转变或其他符号成。 这 提出了语义问题确定是否在实际上是等价的模型，并 另一个原因模型必须辅以严格。 （二）透明度形式主义为了支持阶段的工
16、程过程的操作和施工， 要求规范通常由一个专业术语不是形式主义或大量 充分理解最终用户。 规范语言方面的正式和数学 用户必须是透明的，因为大多数经过训练的人在数学上并不觉得谁 激怒如果他们提出的符号与希伯来文和希腊的名单。 一个统一的数学 框架但是，必须是存在于语言，以便它可以保证一到 一之间的对应关系正式端和同一种语言的用户友好的一面。 否则无法确保的例子，因为，一个分层图中展示给最终 用户读取的实现者的描述相同的算法。 2.2.3 独立设计与实现要求规范应该是一个独立的设计和实现 目标系统。 配套的语言必须是行为的导向和非程序性的。 在其他 换句话说，它应该帮助我们阐明做什么，而不是 怎么做。 由此产生的 规范必须是开放式的设计在执行方面，而不是强加一个特定的 选择，如算法，文
