Formal Semantics to Model Experimental Data

被引:0
|
作者
Viallefond, Francois [1 ]
机构
[1] Observ Paris, LERMA, F-75014 Paris, France
关键词
D O I
暂无
中图分类号
P1 [天文学];
学科分类号
0704 ;
摘要
The formalization of the Measurement Set reveals the ubiquity of a structure, a simplicial 2-complex. A subset of this complex is a hexagon encompassed into a triangle. The following shows that this hexagon also appears in the structure of the grammar of XML-Schema, a language used to express types or structures. This result gives insights to interpret this ubiquity. XML is famous for being described by itself (the schema of schema). Here we are in the case of models with this ubiquous structure which are described using a language with a grammar having itself that structure.
引用
收藏
页码:215 / 218
页数:4
相关论文
共 50 条
  • [1] Experimental Biological Protocols with Formal Semantics
    Abate, Alessandro
    Cardelli, Luca
    Kwiatkowska, Marta
    Laurenti, Luca
    Yordanov, Boyan
    [J]. COMPUTATIONAL METHODS IN SYSTEMS BIOLOGY (CMSB 2018), 2018, 11095 : 165 - 182
  • [2] A formal abstract semantics for data specifications
    Piessens, F
    Steegmans, E
    [J]. 15TH INTERNATIONAL CONGRESS ON CYBERNETICS, PROCEEDINGS, 1999, : 983 - 988
  • [3] A FORMAL SEMANTICS FOR OBJECT MODEL DIAGRAMS
    BOURDEAU, RH
    CHENG, BHC
    [J]. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1995, 21 (10) : 799 - 821
  • [4] An authorization model and its formal semantics
    Bertino, E
    Buccafurri, F
    Ferrari, E
    Rullo, P
    [J]. COMPUTER SECURITY - ESORICS 98, 1998, 1485 : 127 - 142
  • [5] FORMAL MODEL OF SEMANTICS OF CREATION OF WORDS
    Egoshina, A. A.
    [J]. RADIO ELECTRONICS COMPUTER SCIENCE CONTROL, 2007, 2 : 54 - 57
  • [6] A FORMAL SEMANTICS FOR THE ODP COMPUTATIONAL MODEL
    NAJM, E
    STEFANI, JB
    [J]. COMPUTER NETWORKS AND ISDN SYSTEMS, 1995, 27 (08): : 1305 - 1329
  • [7] A formal semantics for the Taverna 2 workflow model
    Sroka, Jacek
    Hidders, Jan
    Missier, Paolo
    Goble, Carole
    [J]. JOURNAL OF COMPUTER AND SYSTEM SCIENCES, 2010, 76 (06) : 490 - 508
  • [8] A formal semantics for object model diagrams - Comment
    Botting, RJ
    [J]. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1996, 22 (12) : 911 - 911
  • [9] What is formal in formal semantics?
    Wolenski, J
    [J]. DIALECTICA, 2004, 58 (03) : 427 - 436
  • [10] Formal Semantics and Ontologies Towards an Ontological Account of Formal Semantics
    Loebe, Frank
    Herre, Heinrich
    [J]. FORMAL ONTOLOGY IN INFORMATION SYSTEMS, 2008, 183 : 49 - +