Modeling Information Services on the Basis of ASM Semantics

机译：基于ASM语义的信息服务建模

获取原文

获取原文并翻译 | 示例

页面导航

摘要
著录项
相似文献
相关主题

摘要

Operational semantics for database systems is still an open research area. Moreover, the development of appropriate operational semantics for challenging applications becomes crucial and indispensible. Such applications are, for instance, internet applications which can be modeled on the basis of SiteLang.

机译：数据库系统的操作语义仍然是一个开放的研究领域。此外，为具有挑战性的应用程序开发适当的操作语义变得至关重要且必不可少。例如，此类应用程序是可以基于SiteLang建模的Internet应用程序。

著录项

来源
《10th International Workshop on Abstract State Machines 2003: Advances in Theory and Practice ASM 2003, Mar 3-7, 2003, Taormina, Italy》|2003年|p.408-410|共3页
会议地点 Taormina(IT);Taormina(IT)
作者
Aleksander Binemann-Zdanowicz; Bernhard Thalheim;
展开▼
作者单位

Computer Science Institute, Brandenburg University of Technology at Cottbus PostBox 101344, D-03013 Cottbus, Germany;

展开▼
会议组织
原文格式 PDF
正文语种 eng
中图分类无线电电子学、电信技术;
关键词

相似文献

外文文献
中文文献
专利

1. Modeling semantic Web services: the Web service modeling language [J] . Mariana Damova Computing reviews . 2009,第11期

机译：建模语义Web服务：Web服务建模语言
2. Modeling Semantic Web Services with the Web Service Modeling Toolkit [J] . Mick Kerrigan, Adrian Mocan, Elena Simperl, Journal of network and systems management . 2009,第3期

机译：使用Web服务建模工具包对语义Web服务进行建模
3. Assessing Web Services Interfaces with Lightweight Semantic Basis [J] . Garriga Martin, De Renzis Alan, Flores Andres, Computing and informatics . 2017,第5期

机译：使用轻量级语义基础评估Web服务接口
4. Modeling Information Services on the Basis of ASM Semantics [C] . Aleksander Binemann-Zdanowicz, Bernhard Thalheim International Workshop on Abstract State Machines . 2003

机译：在ASM语义的基础上建模信息服务
5. An empirical analysis of citizens' acceptance decisions of electronic-government services: A modification of the unified theory of acceptance and use of technology (UTAUT) model to include trust as a basis for investigation. [D] . Awuah, Lawrence J. 2012

机译：对电子政府服务的公民接受决策的实证分析：对接受和使用技术的统一理论（UTAUT）模型的修改，将信任作为调查的基础。
6. GORouter: an RDF model for providing semantic query and inference services for Gene Ontology and its associations [O] . Qingwei Xu, Yixiang Shi, Qiang Lu, 2008

机译：GORouter：一个RDF模型用于为基因本体及其关联提供语义查询和推理服务
7. The 4 X 4 Semantic Model: Exploiting Data, Functional, Non-Functional and Execution Semantics across Business Process, Workflow, Partner Services and Middleware Services Tiers [O] . Sheth, Amit, Gomadam, Karthik 2014

机译：4 X 4语义模型：跨业务流程，工作流，合作伙伴服务和中间件服务层利用数据，功能，非功能和执行语义
8. Accelerator System Model (ASM) user manual with physics and engineering model documentation. ASM version 1.0 [R] . 1993

机译：加速器系统模型（asm）用户手册，包含物理和工程模型文档。 asm版本1.0

Modeling Information Services on the Basis of ASM Semantics

摘要

著录项

相似文献

相关主题

期刊订阅