题 目 在网页设计中提供正式规范外文翻译资料

英语原文共 8 页，剩余内容已隐藏，支付完成后下载完整资料

外文翻译

题 目 在网页设计中提供正式规范

作 者H. M. van Coppenhagen

发表时间_____2009年_______

二Ｏ一九年 四 月 二十九 日

摘要：本文提供了一个例子(钢琴的例子)说明了部分软件生命周期过程.Web中的规范、细化和实现服务和Web表单应用程序。部分软件系统是在Z中指定的，然后对数据和操作进行细化,实现到Visual c# . net。一个关系数据库PianosService。使用mdf，系统运行在ASP网络平台。这篇论文的主要重点是说明如何实现语言和技术使用驱动的设计规范，而不是其他方式。换句话说，如何规范组件或系统可以作为响应而开发，不断发展的意识和对环境的理解，不断变化。需求和用户体验。钢琴系统已经设计、测试和运行，以检查其正确的行为和正确的数据规范和数据访问方法。

关键词：形式化规范，细化，Visual c# .NET，Web表单，Web服务

1.介绍

正式规范提供了重要的可能性，尽早发现问题，可能会节省大量开销在返工。构建正式规范也可以导致再分析阶段。这需要规格工程师，系统分析员和终端之间密切合作。本文的主要目标之一是演示一个系统如何从Z规范[1]发展，通过对Visual c# .NET[2]的改进实现。然而，主要的重点是这个想法，最终设想的产品(系统的输出)，所使用的技术和计算机语言系统是要写的，实际驱动的设计系统。钢琴的例子对于读者来说是正确的尺寸，能够看到应用于一个完整问题的技术，它有足够的微妙之处来突出这两种优势以及所述技术的弱点。示例的简单性是有意为之，以便读者理解不必纠结于不必要的Z构念，但可以侧重于如何实现语言和所采用的技术，驱动了系统的设计。

论文结构：第3节提供了与相关研究的简要比较。第2节和第4节介绍了论文的结构和目标。在第5节规范和细化的概念描述。第6节给出了钢琴的例子，包括两个概念。以下第7节是引用和附录A，其中包含.aspx和Visual c# . net程序的钢琴例子。

2.相关的工作

严格地说，这不是一篇关于Web工程的论文或者正式的规范，比如Z只作为a使用为了说明本文的主要贡献，即说明如何选择原程序进行编程语言对于网页或网站的影响，后续设计和规范。换句话说，设计和规格，应先于实际实现，实际上是由实现决定的

语言使用。形式方法在软件开发行业[3]，正式规范，哪个是指系统的数学描述需求，可以极大地受益于需求规范。建立开发符号、方法和流程还没有牢固地纳入正式的内容。然而,本文在一定程度上弥补了这一差距作为子贡献)，通过概述实用指南，而不是以步骤形式的完整方法，里程碑、可交付成果等等——用于正式应用，软件开发规范。介绍了Z的实际应用现实世界是空的。然而，有一个不断增长的身体文献报道了工业上对形式方法的使用。例如，形式化方法在铁路上的应用[4]，形式化。方法在航空航天领域的应用，形式方法在 航空[6]，世界大会正式议事录方法和正式方法]，和一本书形式方法[8]的应用。就Web工程而言，它是一种新兴的技术学科，网络工程积极推动系统化，有纪律和可量化的成功方法

开发高质量、广泛可用的基于web的系统和应用程序。所有Web工程2009年第四届全球信息技术计算大会978-0-7695-3751-1/09 $25.00copy;2009 IEEE

方法认识到将设计分离的必要性处理明显不同的关注点的层，例如导航、表示以及业务流程关注[9]的水平分离甚至适应[10]。一个使用advanced的有趣例子Web工程中关注点的横向分离是[11]哪一个提出了连接的正式规范在不同的模型之间进行开发周期到产生无缝织造;编织模型本身就是描述为元模型。然而，这篇论文也是如此处理与hellip;相关的关注点的垂直分离应用程序的本质。其他方法，如[12]中的UML原型而WebML[13]可能会减少设计中的创造性时间，因为他们强加的基础技术(是在做这篇论文在一定程度上)，并且由于他们没有提供下面的应用程序的有效抽象视图发展。参考其他有关网页工程的研究，例如[14，15、16、17、18、19]，他们没有使用Z正式语言。除了[18,19]，他们也没有提到改进并将其实现为Visual c#. net，如本文所述。

3.论文的目标

总之，本文的贡献包括，例如，正式规范中的设计建议，Web服务及其相应网页的语言(即使用Web服务)中实现的Web服务(在Visual c# .NET中)包含DA(数据访问)和PD(问题域)方法。另外,建议用正式规范语言设计的网页使用相同的数据库、数据集和显示相同信息，但绕过Web服务，并将Web服务器实现成Visual c# . net不包含任何代码。提供了对上述内容的改进。控件中数据集的重要性的说明，重点介绍了从数据库访问数据的设计。它说明如何实现编程语言，所使用的技术驱动设计决策。规范与细化：Z符号特别使用数学概念，集合理论，用来指定数据和操作。这允许有关系统的推理，例如检查数据和各种操作的一致性，以及验证后续系统开发的正确性。在细化过程中([20,21,22,23,24,25,26])。细化的两个主要阶段是数据细化和操作改进。数据和操作细化，可以看作是开发过程的那一部分吗，对应于传统软件的设计阶段，生命周期。表示抽象数据结构的方法将更易于计算机处理的选择，以及将抽象运算翻译成相应的具体操作。具体的操作。但是，是否仍然用模式语言表示(使用Z)，只描述前级和后级的组成部分。这并不表示这种状态的变化将如何在实现计算机语言。在操作细化状态描述的转换过程，可被带入可执行指令序列。

4.钢琴的列子

在本文中，我们将用一个连续的例子，钢琴的例子。我们从a开始，简要介绍了该系统的概况，我们会给出一个正式的规范，细化和实现。客户端提供输出、用户界面和要使用的数据。客户端说系统必须用Visual c#实现. net。指定所需的输出(或用户界面)在图2a和图2b中。钢琴名称选择在顶部从下拉列表框中。模型、长度和图像，然后将显示给用户。用户可以导航通过使用lt;和用户界面1中的gt;箭头。用户索引接口1为程序员指明已访问的数据集。用户可以从用户转到用户接口1到用户接口2，反之亦然。类System.Data的一个对象。数据集,包括以及它们之间的关系，表示数据缓存——程序存储的数据暂时存储在本地内存中。数据集的结构模拟关系数据库[2]的结构。数据是在SQL Server数据库中提供的。这个数据库包含两个表。数据库的两个表。见表1和表2。客户想要钢琴的名字和他们各自的名字模型，长度和图像的PianoModel表要被一个未按任何特定顺序排序的无序列表，以及数据以随机方式添加为信息供应商进来了。可以有任意数量的条目对于一架钢琴的名称，取决于型号的多少正在出售中。piano oname表有一个主键，即钢琴名称名称，按升序排列。表之间存在一对多关系。PianoName PianoModel。

5.体系结构

它将以钢琴为例说明设计，系统S是用户所使用的控件con的函数接口。这意味着S = f(con)为用户Interface1。它使用文本框和标签:con e {tags, textboxes} fiS = s5 U s3 U s1;而对于用户界面2，则使用a，GridView: con e {GridView} fi S = s5 U s4 U s2。U表示子系统s1、s2、s3、s4和s5的并集。参见图3。

6.Z型钢琴系统

为了使规范更易于阅读，我们引入了一个模式。在标准Z中找到，即系统模式，其中说明钢琴系统的布局。这是从Z用户界面开始的抽象类(pianosClient1。转换为XHTML的aspx)，Z Web服务器类(文件背后的Visual c# .NET代码)，Z Web服务类(Visual c# .NET中的pianosService.cs)和Z数据库(pianosService.mdf)。这是为用户界面1。指图4a和图4b。

但是，对于用户界面2,Web服务器和Web服务类被绕过。用户界面2提供了一个从其中选择钢琴名称的下拉列表，然后GridView (modelGridView)显示信息。

关于所选钢琴的型号。这个功能是完全在设计模式下创建，无需编写任何代码。所使用的数据库和数据集以及信息，显示与用户界面1相同。这意味着在同一个例子中(钢琴的例子)，网络服务器程序以及Web服务的使用，已从用户界面2中消失，TableAdapter (PianoModelTableAdapter)直接作为从数据库中检索数据的业务对象，并通过a使用户界面可用数据集(pianosDataSet1)。在我们的讨论中，我们只研究Z数据库并对其中一个Web服务的数据进行操作PianoModel表。

7.模式状态

因为Z语言是基于数学学科的一阶逻辑和集合。从理论上讲，我们将组织来自数据库的数据，以集合的形式使用(参见表1和表2)。对象集合也出现在数学中被称为集[24]。没有秩序或重复的概念对象和集合中的每个对象都是不同的集合[27]中的其他对象。因此，的数据对象表2可以用基本类型(给定集合)表示:(名称、数量)。名称是所有可能的钢琴的集合出售。编号是钢琴目录的类型数字。这些集合是:NAME = = {Bechstein, Bluthner, Steinway，

Yamaha} NUMBER = = {(Bechstein, AP13)， (Bluthner，CX15),(施坦威,KV20),(雅马哈,TW36)}szlig;e的名字号码。从名称到。的所有部分函数的类型用名字szlig;号码数量和定义以这种方式:姓名szlig;号码= = {F:名字j编号| (Aname1: NAME;1号，z: NUMBERbull;and;name1 a z e F fi number1 =z))} [28]。因此，在数量上只有一个对象，对应于名称中的单个对象。表2的Z模式如图4c所示。P是的所有子集函数doma表示关系的域。函数ran a表示关系的范围。符号#表示集合的基数，即集合的个数集合中包含的唯一元素。但是，表1中的数据对象(PianoModel)表)不能用集合表示，因为可以用集合表示任意顺序的任意数量的对象。来表示介绍了PianoModel表的数据对象包的概念。包是一种特殊的收藏品对象，因为它由一列对象按任何顺序组成，随着每个对象出现的频率([26，28])。换句话说，它是一种专门研究的数据类型处理重复的对象;因此，它是a和a的交叉集和序列在表达能力。表1的基本类型是:[NAME, MODEL, LENGTH, PHOTO]。NAME是所有可能的钢琴名称的集合:包名== ' Yamaha, Bluthner, Bechstein, Bluthner， ..,贝希施泰因”。让NAME表示所有钢琴名称的类型。那么包名就是所有钢琴包名的类型。一个包是由部分函数类型的元素构成的袋子的整数要为正，所以:袋子的名称==名字szlig;N1。[15]。因此，上面考虑的包是函数如下:name = {Yamaha a4, Bluthner a4，贝希施泰因5,施坦威a3} 。函数count表示对象的行为发生在一个袋子里。然后我们有:count NAME Yamaha = 4，count NAME Bluthner = 4，等等。

模型是模型编号的袋子:袋子模型==模型C1，模型11，模型K，hellip;、模型议员”。长度是钢琴长度的袋子(以厘米为单位):袋子长度== ' 161,148,158，..192”。sube;PN长度。set PHOTO == {image/C1Yamaha。表1的状态是通过模式指定的pianoodel如图4d所示。N是所有的类型。

非负的自然数。N1是所有正数的类型全数字。模型X长度X照片为a笛卡尔积是可能的三元组的集合包和套模型，长度和照片在那。因为顺序很重要，所以它被称为有序三。这个集合由以下模式描述:A X B X == {a: a;b: b;c: cbull;(a,b,c)}，表示可能的三元组从A, B和C按这个顺序排列。谓词name = dom info表示每个模型-长度-照片的三倍有一个与之相关的钢琴名字。函数计算返回具有特定钢琴名称的钢琴的数目的名字。因此，有4种不同的钢琴名称(名字)macr;4 #计数。它对应于集合名称中的元素，其中给出#namemacr;。函数info返回一组值三元组(模型，长度，照片)，显示在用户界面。例如，info (Bechstein) = {(Model K， (型号MP, 192，图像/ Bechstein-model-mp.jpg)}。值的个数。返回集合中的三元组应该等于这个数字。从函数count返回。我们有:count NAMEBechstein = 5，等于数值的个数。上面返回的集合中的三元组。或者，集合{Bechstein}的关系映像可以给。关系映像用于发现一组值，这些值来自与一组值相关的关系的范围。关系域中的值。关系的图像可以定义为:F·U， == {y: y | (Ex:Xbull;Xisin;Uand;X a yisin;R，其中F:X j y, U: PX。(21日24)。这意味着该信息·{Bechstein}， 将这两种模式组合在一起，就得到了pioname和pianoode表示数据库PianosService.mdf。3)对PianoModel表的操作:我们将采取从中获取的钢琴名称的值，通过下拉列表控件(请参阅图2)并讨论来自PianoModel的数据访问表，其中包含数据集的后续填充pianosDataSet1。首先，我们假设一个钢琴的名字name2吗?(?表示它是一个输入值)，则为从下拉列表框中选择。PianoModelTableAdapter.FillByNameModelLengthPhoto方法(用于用户接口1)调用dapianoodel()方法的自动

剩余内容已隐藏，支付完成后下载完整资料

资料编号：[20019]，资料为PDF文档或Word文档，PDF文档可免费转换为Word