软件工程 外文 英文 文献翻译 面向逻辑框架的WEB编程.docVIP

PAGE 单位代码 01 学 号070112058 分 类 号 TP393 密 级____ ___ _ 文献翻译 面向逻辑框架的WEB编程 院（系）名称 信息工程学院 专 业 名 称 软件工程 学 生 姓 名 指 导 教 师 黄河科技学院毕业设计(文献翻译) 第 PAGE 7 页 英文译文 面向逻辑框架的WEB编程 朱利奥，安德里亚，恩里科 摘 要 万维网作为一个开发平台尽管流行，但是设计一个恰当描述它的结构原则和设计标准被确立仅仅在过去十年里，通过引入代表性的状态转换构造风格，其定义了以资源为核心的抽象信息。被用的语言和工具作为 Web 程序规划，通常很难理解缺乏适当它的结构和设计的拘束，从抽象不匹配，使其难以充分利用网络的潜力。 叙述式语言适当的为编程系统瞄准一个的合适网络架构和原理。在逻辑技术中，tuProlog 已经明确地被设计是以英特网为基础的基础设施的促成元件之一:其工程特性在web,在运行时间内允许适当的修改逻辑编程资源。因此，本文中我们提出一个开发基于这个模型的设计Web资源和概述一个框架web应用程序的 Prolog的逻辑模型。 关键字：万维网，语境，tuProlog，Prolog 1 介绍 尽管流行的网络平台的开发和实现多以互联网为基础的系统，但设计了一个恰当的描述网站的设计原则和建筑标准仅仅在过去十年里已经达到，通过引入代表性的状态转换(其他)结构风格为超媒体系统[1]。以其他资源为重点，定义了抽象的信息沟通和互动,规定在资源发生时，通过一致的接口转换代表性的资源现状。 然而,从早期程序上的CGI脚本到现代的面向对象的框架，web应用程序编程一直集中在不同的抽象概念上，如页面[6]、控制器[15]和最近的服务器[11]，从而面对不协调，使得很难开发可能的网站结构特性。事实上，一个网页是计算涉及一个或更多资源的结果，并且处理结果仅仅在表现问题的客户端；另一方面，一个控制器恰好是(仅仅)一个程序框架的抽象，共享几乎没有任何其潜在的网络平台。相反，忽视网络标准如URI和HTTP，因此他们从不获得利益而言，其余架构依据可缓存性、连通性、可寻址行、一致性和互操作性[14]。 作为一个事实, 声明程序设计在网络逻辑语言的主流中从未被接受，尽管研究人员表示他们能有效地处理基于网络环境[1]的沟通和协调和逻辑技术已经成功用于智能设计元件为核心的网络基础设施[2]。然而，其余的集中在以资源再现为主要驱动的相互作用，并给出了相应的网络计算模型，在架构以资源为目标的应用程序中声明语言能发挥了重要的作用。利用元素的优势从逻辑编程语言比如Prolog既有代表性的基础网络计算模型：一个资源的声明可以被操作，在子句开始并给出了程序的解释，在资源涉及到运算时直接被解释器执行。 在本文中，我们讨论一个资源编程模型、Web逻辑编程(WebLP)[13]，把与元素与之相适应的逻辑范例和逻辑技术相结合 (例如tuProlog引擎[2])，来定义一个Web应用程序框架释放快速原型当支持网络架构特性比如可扩展性和可变性。 2 WEB逻辑编程 WEB逻辑编程(WebLP)[13]是一种基于Prolog的逻辑模型，其应用于系统约束的万维网架构的交互作用。 起初网络逻辑编程描述的事其主要的数据类型抽象，然后定义它的计算模型。 2.1 资源 定义了一个资源，为任何其他概念的目标的超链接文本。任何信息，那可命名为是一种资源，包括虚拟(如文件)及不是实质上(例如一个人)的物体。从如此抽象的定义、主要性质的资源可以很容易地确定：一个名字(URI的形式)；数据代表着资源状态和行为，以用来改变的状态或管理与企业的其他资源的交互作用。在界定的资源可以轻易的将元素映射到元素的逻辑编程语言，比如Prolog：对于每个资源R，其名称N(R)可以被指定为单一资源的URI引用原子含有标识符，当数据和行为可以进一步确认为事实和规则，分别在一个逻辑理论T(R)包含了知识库相关资源。 特别地,如果它是描述性的名字，采用资源在可预知的方式[14]中有明确的结构变化，它们有一个共同的