Equivalent semantic models for a distributed dataspace architecture

被引：0
|
作者：
Hooman, J [1 ]
van de Pol, J
机构：
[1] Univ Nijmegen, Nijmegen, Netherlands
[2] CWI, NL-1009 AB Amsterdam, Netherlands
来源：
FORMAL METHODS FOR COMPONENTS AND OBJECTS | 2003年 / 2852卷
关键词：
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
The general aim of our work is to support formal reasoning about components on top of the distributed dataspace architecture Splice. To investigate the basic properties of Splice and to support compositional verification, we have defined a denotational semantics for a basic Splice-like language. To increase the confidence in this semantics, also an operational semantics has been defined which is shown to be equivalent to the denotational one using the theorem prover PVS. A verification framework based on the denotational semantics is applied to an example of top-down development and transparent replication.
引用
收藏
页码：182 / 201
页数：20
相关论文
共 50 条
  • [21] Towards a Semantic Approach for Linked Dataspace, Model and Data Cards
    Donald, Andy
    Galanopoulos, Apostolos
    Curry, Edward
    Munoz, Emir
    Ullah, Ihsan
    Waskow, M. A.
    Dabrowski, Maciej
    Kalra, Manan
    COMPANION OF THE WORLD WIDE WEB CONFERENCE, WWW 2023, 2023, : 1468 - 1473
  • [22] EQUIVALENT SCHEMES IN SEMANTIC, NESTED RELATIONAL, AND RELATIONAL DATABASE MODELS
    HEUER, A
    LECTURE NOTES IN COMPUTER SCIENCE, 1989, 364 : 237 - 253
  • [23] ViMantic, a distributed robotic architecture for semantic mapping in indoor environments
    Fernandez-Chaves, D.
    Ruiz-Sarmiento, J. R.
    Petkov, N.
    Gonzalez-Jimenez, J.
    KNOWLEDGE-BASED SYSTEMS, 2021, 232 (232)
  • [24] Integrating Architectural Models Symbolic, Semantic and Subjective Models in Enterprise Architecture
    Arbab, Farhad
    de Boer, Frank
    Bonsangue, Marcello
    Lankhorst, Marc
    Proper, Erik
    van der Torre, Leendert
    ENTERPRISE MODELLING AND INFORMATION SYSTEMS ARCHITECTURES-AN INTERNATIONAL JOURNAL, 2007, 2 (01): : 40 - 56
  • [25] The iMeMex Dataspace Management System: Architecture, Concepts, and Lessons Learned
    Dittrich, Jens
    DATASPACE: THE FINAL FRONTIER, PROCEEDINGS, 2009, 5588 : 7 - 7
  • [26] An Application of Semantic Techniques to the Analysis of Enterprise Architecture Models
    Antunes, Goncalo
    Caetano, Artur
    Borbinha, Jose
    PROCEEDINGS OF THE 49TH ANNUAL HAWAII INTERNATIONAL CONFERENCE ON SYSTEM SCIENCES (HICSS 2016), 2016, : 4536 - 4545
  • [27] Semantic web based integration of distributed product models
    Hahn, A
    WIRTSCHAFTSINFORMATIK, 2005, 47 (04): : 278 - 284
  • [28] Equivalent semantic translation from parallel DEVS models to time automata
    Han, Shoupeng
    Huang, Kedi
    COMPUTATIONAL SCIENCE - ICCS 2007, PT 1, PROCEEDINGS, 2007, 4487 : 1246 - +
  • [29] FLOW MODELS OF DISTRIBUTED COMPUTATIONS - 3 EQUIVALENT SEMANTICS FOR CCS
    BOUDOL, G
    CASTELLANI, I
    INFORMATION AND COMPUTATION, 1994, 114 (02) : 247 - 314
  • [30] DISTRIBUTED EQUIVALENT-CIRCUIT MODELS FOR CIRCULAR DISPERSIVE ELECTRODES
    WILEY, JD
    WEBSTER, JG
    IEEE TRANSACTIONS ON BIOMEDICAL ENGINEERING, 1982, 29 (05) : 385 - 389
12345