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 条
  • [31] Maximizing the certain equivalent values of lognormally distributed portfolio models
    Davis, RE
    DECISION SCIENCES INSTITUTE 1998 PROCEEDINGS, VOLS 1-3, 1998, : 219 - 219
  • [32] GITIRBio: A Semantic and Distributed Service Oriented-Architecture for Bioinformatics Pipeline
    Castillo, Luis F.
    Lopez-Gartner, German
    Isaza, Gustavo A.
    Sanchez, Mariana
    Arango, Jeferson
    Agudelo-Valencia, Daniel
    Castano, Sergio
    JOURNAL OF INTEGRATIVE BIOINFORMATICS, 2015, 12 (01) : 255
  • [33] The Architecture of a Distributed Enterprise Information Management System based on Semantic Web
    Carstoiu, D.
    Cernian, A. S.
    Sgarciu, V.
    Olteanu, A.
    PROCEEDINGS OF 2010 IEEE INTERNATIONAL CONFERENCE ON AUTOMATION, QUALITY AND TESTING, ROBOTICS (AQTR 2010), VOLS. 1-3, 2010,
  • [34] A two-level architecture for semantic protection of persistent distributed objects
    Evered, M
    INTERNATIONAL CONFERENCE ON SOFTWARE METHODS AND TOOLS, PROCEEDING, 2000, : 149 - 156
  • [35] A semantic service-oriented architecture for distributed model management systems
    El-Gayar, Omar
    Deokar, Amit
    DECISION SUPPORT SYSTEMS, 2013, 55 (01) : 374 - 384
  • [36] MANAGING UNCERTAIN MEDIATED SCHEMA AND SEMANTIC MAPPINGS AUTOMATICALLY IN DATASPACE SUPPORT PLATFORMS
    Kuicheu, Nathalie Cindy
    Wang, Ning
    Tchuissang, Gile Narcisse Fanzou
    Xu, De
    Dai, Guojun
    Siewe, Francois
    COMPUTING AND INFORMATICS, 2013, 32 (01) : 175 - 202
  • [37] Semantic Equations for Formal Models in the Model-Driven Architecture
    Barbosa, Paulo
    Ramalho, Franklin
    Figueiredo, Jorge
    Costa, Aniko
    Gomes, Luis
    Junior, Antonio
    EMERGING TRENDS IN TECHNOLOGICAL INNOVATION, 2010, 314 : 251 - +
  • [38] A Framework for Interoperability Analysis on the Semantic Web using Architecture Models
    Ullberg, Johan
    Lagerstroem, Robert
    Ekstedt, Mathias
    EDOCW: 2008 12TH ENTERPRISE DISTRIBUTED OBJECT COMPUTING CONFERENCE WORKSHOPS, 2008, : 278 - 286
  • [39] Stochastic double dissociations in distributed models of semantic memory.
    Thomas, MSC
    de Wet, NM
    CONNECTIONIST MODELS IN COGNITIVE NEUROSCIENCE, 1999, : 170 - 183
  • [40] SDR: a semantic based distributed repository forSimulation models and resources
    Lozano, Marianela Garcia
    Moradi, Farshad
    Ayani, Rassul
    AMS 2007: FIRST ASIA INTERNATIONAL CONFERENCE ON MODELLING & SIMULATION ASIA MODELLING SYMPOSIUM, PROCEEDINGS, 2007, : 171 - +
12345