对于需求规约语言的调查.docVIP

对于需求规约语言的调查 外谢 L.邦 **计算机科学系 香港大学 香港薄扶林道 摘要：我们研究需求规约语言最理想的功能，然后以机构化的方式来回顾已存在的六种语言： PSL, SADT, EDDA, SAMM, HOS 和RSL. 关键字和短语： 需求规约、 规约语言、系统开发 CR 类别： D.2.1，F.3.1，K.6.3 介绍 对于信息系统来说需求规约是重要，主要有以下几个原因： 它充当了用户和系统开发人员信息交互的工具 ；它以系统化的方式表现现实世界的当前的状态、 及其存在的问题和未来的需求 ；它使系统开发人员能将实际问题转为其他更易于管理的形式，就大小、 复杂性、人类理解和计算机处理而言；它是设计、 实施、 测试和维护目标系统的基础。为了满足所有的需求规约，我们需要一种功能强大的规约语言。很多作者 （如 [9、 21、 13、 36、 38]) 各自提出了需求规约语言的吸引人的特点。在本文的第 2 条，我们综合了这些功能并且通过工程的进程的上下文中对它们进行呈现。然后，在第 3 条中，我们使用提出的特点作为对已有的规约语言研究进行调查的基础。 需求规约语言的吸引人的特点 信息系统发展可以被看作是工程的进程。图 1 中所示的图形表示形式。首先，我们必须建立一个模型，这是现实世界的小型抽象表示。物理世界中那些所有无关的工程的过程不必要细节是从模型中删除的，也就是说，在分析阶段忽略的。例如，当桥梁或隧道预计修在两国之间，政治问题最好事由政界人士处理但不是构成工程师的需求规约的一部分。 如果生成的模型仍太复杂，进一步抽象是需要，直到问题减少到可管理的大小。然后分析模型并熟练控制直到找到一个可行的办法。在设计过程中， 图和数学是经常使用的，因为他们要比口头说明更适合操作。一中表示可能要转换成另一种，以便使给定分析最适合的模式能够被应用。例如，图表可能要转换为方程。最后，如果抽象的解决方案被客户接受，施工阶段把它变成一个真正的系统。 为了使说明要求在系统开发的过程中起作用。在一个开发过程中，规约语言必须展示各种功能，每个都有关一个阶段。在本节中，将突出显示这些功能。 我们认识到有作者会反对要用一个工程师的视图来看待信息系统开发。例如Checkland, Land and Mumford [5, 18, 23]等人认为系统发展是人类活动的进程。他们建议应该强调认识变化带来的影响、 以人为本的设计和用户的参与等问题在整个发展过程中。研究我们提出的约语言的吸引人的特点是多么符合替代框架肯定是有趣的。但是，它是超出了该文本的范围 现实世界的抽象 A 需求规约语言是可以让用户将现实世界抽象为一种模型并指出其存在的问题和要求的工具。它是连接发展的环境和用户，包括系统分析师、 设计师和最终用户之间的桥梁。我们必须确保此接口是有关各方都可以理解的。通常的营销短语“方便”太模糊，而不能作为一个有用的指南。相反，我们认为该语言必须具有以下特点： 用户对规约语言熟悉 用户很难能够使用全新的需求规约语言有几个原因。 有惯性的作用，从用户的角度来看。他们不愿意尝试一种他们并不熟悉的新方法。 从管理的角度来看，一种行之有效的方法已经证明了流行的往往是更容易接受相比新建议的技术。以一种已存在的方法招聘经过培训并有经验的人员是更容易。如果在整个公司用同样的方法，那么维护标准将是容易的。总的来说，经理认为老式的做法比尝试必威体育精装版的创新更安全，免得事后后悔。 作为结果，从业人员十分犹豫是否使用新的工具，其中涉及不熟悉的正式语言 [10、 20、 21]。因此，当我们提出了一个新的系统开发环境时，我们不应该发明全新的语言，并希望它将会是世界上的最好。相反，我们应该尝试使用当前可用的具有最吸引人的特点的规约语言。更重要的是，它们已经证明是被从业人员喜爱的。 2.1.2 语言风格 (a) 文本语言 当我们考虑使用的文本语言需求规约时， 出现两种可能性： 我们可能会喜欢自然语言或更正式的类似于编程语言。毋庸置疑，自然语言提供更好的说服力和更多的自由的表达，特别是系统生命周期包含某种程度的不确定性时的初期阶段。对于大多数的最终用户它也是更自然的，从而使用户更好地理解新局面。但是，在人工智能领域研究工作者，仍很努力尝试，使自然语言能够被计算机系统理解，因此，目前无法找到一个支持基于自然语言的需求规约的开发环境。 另一方面，用自然语言中解释的指定要求可能含糊不清，因为不同的人可能对它们的解释不同。德马科 [11] 等指出，对于标准英语散文来说即使是进行手动处理的说明书也是不适用的。因此，具有更好地定义的语法和稍微更具限制性的语义的语言将成为首选。实际上，这些语言都更正式而且更类似于一种编程语言或数学的语言。 (b) 图形 人们普遍认为复杂的材料的图形表示形式是比对应的