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 条
  • [1] Semantic models of a timed distributed dataspace architecture
    Hooman, J
    van de Pol, J
    THEORETICAL COMPUTER SCIENCE, 2005, 331 (2-3) : 291 - 323
  • [2] Verification of distributed dataspace architectures
    Orzan, S
    van de Pol, J
    PERSPECTIVES OF SYSTEM INFORMATICS, 2003, 2890 : 192 - 206
  • [3] Distribution of a simple shared dataspace architecture
    Orzan, Simona
    van de Pol, Jaco
    FUNDAMENTA INFORMATICAE, 2006, 73 (04) : 535 - 559
  • [4] Distributed Semantic Architecture for Smart Grids
    Penya, Yoseba K.
    Nieves, Juan Carlos
    Espinoza, Angelina
    Borges, Cruz E.
    Pena, Aitor
    Ortega, Mariano
    ENERGIES, 2012, 5 (11): : 4824 - 4843
  • [5] Distributed semantic sensor web architecture
    Choi, Hoan-Suk
    Rhee, Woo-Seop
    TENCON 2012 - 2012 IEEE REGION 10 CONFERENCE: SUSTAINABLE DEVELOPMENT THROUGH HUMANITARIAN TECHNOLOGY, 2012,
  • [6] An architecture of a distributed semantic social network
    Tramp, Sebastian
    Frischmuth, Philipp
    Ermilov, Timofey
    Shekarpour, Saeedeh
    Auer, Soeren
    SEMANTIC WEB, 2014, 5 (01) : 77 - 95
  • [7] Entity-oriented semantic search in dataspace
    Lu, Lihua
    Zhang, Hengzhen
    Gao, Xiao-Zhi
    ICIC Express Letters, Part B: Applications, 2014, 5 (04): : 1117 - 1123
  • [8] DESIGNING EQUIVALENT SEMANTIC MODELS FOR PROCESS CREATION
    AMERICA, P
    DEBAKKER, J
    LECTURE NOTES IN COMPUTER SCIENCE, 1987, 280 : 21 - 80
  • [9] DESIGNING EQUIVALENT SEMANTIC MODELS FOR PROCESS CREATION
    AMERICA, P
    DEBAKKER, J
    THEORETICAL COMPUTER SCIENCE, 1988, 60 (02) : 109 - 176
  • [10] Semantic Architecture for Interoperability in Distributed Healthcare Systems
    Adel, Ebtsam
    El-Sappagh, Shaker
    Barakat, Sherif
    Kwak, Kyung Sup
    Elmogy, Mohammed
    IEEE ACCESS, 2022, 10 : 126161 - 126179
12345