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 条
  • [41] Formalizing Reusable Communication Models for Distributed Systems Architecture
    Rouland, Quentin
    Hamid, Brahim
    Jaskolka, Jason
    MODEL AND DATA ENGINEERING, MEDI 2018, 2018, 11163 : 198 - 216
  • [42] Analysis of the Appropriate Security Models to Apply in a Distributed Architecture
    Toapanta, Moises
    Nazareno, Jean
    Tingo, Raul
    Mendoza, Felix
    Orizaga, Antonio
    Mafla, Enrique
    4TH INTERNATIONAL CONFERENCE ON APPLIED MATERIALS AND MANUFACTURING TECHNOLOGY, 2018, 423
  • [43] From business process models to distributed software architecture
    Gruhn, Volker
    Wellen, Ursula
    International Software Architecture Workshop, Proceedings, ISAW, 1998, : 53 - 56
  • [44] Considerations on a new software architecture for distributed environments using autonomous semantic agents
    Elci, A
    Rahnama, B
    Proceedings of the 29th Annual International Computer Software and Applications Conference, Workshops and Fast Abstracts, 2005, : 133 - 138
  • [45] A Distributed Semantic Web-Based Message-Driven Middleware Architecture
    Feng, Xiwei
    Jia, Chuanying
    Yang, Jiaxuan
    2009 WRI WORLD CONGRESS ON SOFTWARE ENGINEERING, VOL 1, PROCEEDINGS, 2009, : 99 - +
  • [46] A Distributed Learning Architecture for Semantic Communication in Autonomous Driving Networks for Task Offloading
    Zheng, Guhan
    Ni, Qiang
    Navaie, Keivan
    Pervaiz, Haris
    Zarakovitis, Charilaos
    IEEE COMMUNICATIONS MAGAZINE, 2023, 61 (11) : 64 - 68
  • [47] Semantic Orchestration and Exploitation of Material Data: A Dataspace Solution Demonstrated on Steel and Copper Applications
    Nahshon, Yoav
    Morand, Lukas
    Bueschelberger, Matthias
    Helm, Dirk
    Kumaraswamy, Kiran
    Zierep, Paul
    Weber, Matthias
    de Andres, Pablo
    ADVANCED ENGINEERING MATERIALS, 2024,
  • [48] Architecture and Language for Semantic Reduction of Domain-Specific Models in BPMS
    Lace, Lelde
    Liepins, Renars
    Rencis, Edgars
    PERSPECTIVES IN BUSINESS INFORMATICS RESEARCH, BIR 2012, 2012, 128 : 70 - 84
  • [49] Experiments on semantic interoperability of agent reputation models using the SOARI architecture
    Nardin, Luis G.
    Brandao, Anarosa A. F.
    Sichman, Jaime S.
    ENGINEERING APPLICATIONS OF ARTIFICIAL INTELLIGENCE, 2011, 24 (08) : 1461 - 1471
  • [50] The importance of automatic semantic relatedness priming for distributed models of word meaning
    McRae, K
    Boisvert, S
    PROCEEDINGS OF THE EIGHTEENTH ANNUAL CONFERENCE OF THE COGNITIVE SCIENCE SOCIETY, 1996, : 278 - 283
12345