面向对象建模技术的精确语义

Towards a Precise Semantics for Object-Oriented Modeling Techniques

Ruth Breu, Radu Grosu, Franz Huber, Bernhard Rumpe, Wolfgang Schwerin

备注：: 6 pages, 0 figures
发表信息：: Object-Oriented Technology, ECOOP'97 Workshop Reader. Jan Bosch, Stuart Mitchell (eds.) Springer Verlag, LNCS 1357, 1997
DOI：: 10.1007/3-540-69687-3_42

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

摘要英文摘要相关论文

摘要：

在本文中，我们提出了一种可能的方法，如何精确的语义面向对象的建模技术可以实现什么可能的好处是，我们概述了主要的建模技术中使用的SysLab项目草图如何精确的语义可以给出，以及如何在开发过程中使用这种语义。

英文摘要：

In this paper we present a possible way how a precise semantics of object oriented modeling techniques can be achieved and what the possible benefits are .We outline the main modeling techniques used in the SysLab project sketch how a precise semantics can be given and how this semantics can be used during the development process.

机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。

阅读原文

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

本文内容

摘要英文摘要相关论文

机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。

继续探索

相关论文

基于面向对象范式的语义Web应用工程

Engineering Semantic Web Applications by Using Object-Oriented Paradigm

网络信息资源的数量和容量呈爆炸性增长。现在从Web上检索相关数据已经变得非常困难和耗时。语义网的设想是，这些网络资源应该以机器可处理的方式开发，以处理无关和人工处理的问题。而语义Web是当前Web的一种扩展，它为Web资源提供了通过机器进行解释的形式化语义。这些Web资源通常包含在Web应用程序和系统中，其形式化语义通常以Web本体的形式表示。在这篇研究论文中，一个面向对象的设计方法（OODM）的语义Web应用程序的开发升级。OODM是为当前Web的Web应用程序设计而开发的。这种方法足以开发Web应用程序。它还为Web应用程序开发提供了一种系统化的方法，但它无助于在Web应用程序的开发中生成机器可处理的内容。因此，需要扩大这一方法。本文提出了OODM中的扩展。这个新的扩展版本被称为语义Web面向对象设计方法（SW-OODM）。

2010-06-23cs.SE

交互语义及其对面向交互的IoT-type应用体系结构的影响

Interaction semantics and its implications for an interaction oriented architecture of IoT-type applications

“物联网（IoT）”一词下的几个协同趋势极大地推动了网络应用的重要性日益增加。在过去，互联网的指数增长主要是由于语义不可知的传输协议。在未来，可以预期的是，由于技术系统的自主性越来越高，有必要更好地理解这些交互网络的语义的性质，以创建适当的网络应用程序。适当意味着这些应用程序的架构允许最小化使这些应用程序适应永久变化的交互网络的工作。提出的面向交互的体系结构是基于交互语义的参考模型。它提供了如何设计网络应用程序的指导原则。交互语义的参考模型提供了：对物理、信息和人类世界中的事物的统一描述;具有直接运行时相关性的交互模型;对层次结构化组件如何松耦合协作的理解;确定有多少语义必须是共同的以使不同语义域的组件能够松耦合协作的概念;和数据类型模型。软件参考体系结构提供了：软件层的定义;表示垂直交互的方法，即划分软件层的交互;表示水平交互的方法，即同一软件层中进程之间的交互;组件的定义以及如何将其与其他实体（如系统或对象）区分开来;以及如何将应用程序功能的可重用部分与不可重用部分分离的模型。

2017-05-16cs.SE

面向用户的领域特定语言的指称语义

Denotational Semantics of A User-Oriented, Domain-Specific Language

本文提出了一个领域特定的语言，命名为Pruel的形式化定义，以下的方法论提出的大卫施密特的语言开发。这种语言专用于编制协调网络实体的应用程序。它的目标开发人员是建筑管理和辅助生活等领域的专业人士，并希望利用网络实体来支持日常任务。Pingpruel有许多特性可以满足实体编排领域的需求。此外，Pingpruel提供了高级结构，使不一定具有编程技能的开发人员可以访问它。它已被非程序员用于开发许多应用程序。我们展示了如何面向用户的编程概念的Pruel的指称语义的Pruel表示。这个形式化的定义已经被用来推导出一个解释器，并提供了一个基础，原因Pruel程序。

2013-09-20cs.PLcs.SE

一种新的面向上下文程序模型

A new model for Context-Oriented Programs

面向上下文编程（COP）是一种新的编程技术，它允许在程序执行时更改命令执行的上下文。与面向对象编程（面向方面编程）相比，COP更灵活（模块化和结构化）。本文提出了一个精确的语法导向的操作语义面向上下文的编程与层，实现COP语言，如ContextJ* 和ContextL。我们的语言模型是建立在Java丰富的层概念和激活和停用层范围。本文还提出了一个静态类型系统，保证类型化的程序不会卡住。利用所提出的语义方法，本文给出了类型系统的数学正确性。

2014-02-23cs.PLcs.SE

基于语义Web和多Agent系统的面向服务的查询识别和解决方案开发模型

A Novel Service Oriented Model for Query Identification and Solution Development using Semantic Web and Multi Agent System

在本文中，我们提出了一种融合多Agent系统和语义Web技术的服务模型体系结构。该架构分为两个阶段，即查询识别和解决方案开发。被称为客户的人员将提交问题详细信息或要求，这些问题或要求将被称为查询。任何能够提供服务的人都需要向架构的注册模块注册。服务可以是任何东西，从农业领域的专家咨询到学术研究，从销售产品到制造产品，从医疗帮助到法律问题，甚至提供物流。客户提交的查询首先被解析，然后在领域专家和客户的帮助下迭代理解，以获得精确的属性集。因此，确定查询将再次解决智能代理系统的帮助下，将搜索所有那些谁可以找到或提供一个解决方案的语义网。创建一个可行的解决方案工作流程，然后根据需求，使用谈判或拍卖技术，实施解决方案，以完成对客户的服务。这部分被称为解决方案开发。在这种面向服务的体系结构中，我们首先尝试分析复杂的用户需求集，然后尝试通过结合更好的信息搜索，通过语义Web和更好的工作流提供使用多代理系统，以优化的方式提供最佳的解决方案。

2012-08-31cs.MAcs.SE