Definition of a formal language to describe models by means of relations

被引：0
|
作者：
Preiss, T [1 ]
Breitenecker, F [1 ]
机构：
[1] Vienna Tech Univ, Dept Simulat Tech, A-1040 Vienna, Austria
来源：
SIMULATION IN INDUSTRY'2000 | 2000年
关键词：
Continous Languages; Model evaluation; Dynamic modelling; Continuous simulation; object oriented model types;
D O I：
暂无
中图分类号：
TP39 [计算机的应用];
学科分类号：
081203 ; 0835 ;
摘要：
Within this short paper we introduce a concept, which uses the embedding of dynamic modelling in a tuple calculus to define a formal language to describe models. Using the DataBased Model Relation we combine the theory of relational databases with our calculus to get mechanisms for the joining of models.
引用
收藏
页码：38 / 40
页数：3
相关论文
共 50 条
  • [21] A formal language to describe a wide class of failure detection and signal validation procedures
    Racz, A
    ANNALS OF NUCLEAR ENERGY, 1996, 23 (01) : 1 - 28
  • [22] Reconciling vague and formal models of language evolution
    Brighton, Henry
    Mata, Rui
    Wilke, Andreas
    BEHAVIORAL AND BRAIN SCIENCES, 2006, 29 (03) : 282 - 282
  • [23] Formal language models for finding groups of experts
    Liang, Shangsong
    de Rijke, Maarten
    INFORMATION PROCESSING & MANAGEMENT, 2016, 52 (04) : 529 - 549
  • [24] Formal Verification of Simulation Scenarios in Aviation Scenario Definition Language (ASDL)
    Chhaya, Bharvi
    Jafer, Shafagh
    Durak, Umut
    AEROSPACE, 2018, 5 (01):
  • [25] Formal Definition of a General Ontology Pattern Language using a Graph Grammar
    Zambon, Eduardo
    Guizzardi, Giancarlo
    PROCEEDINGS OF THE 2017 FEDERATED CONFERENCE ON COMPUTER SCIENCE AND INFORMATION SYSTEMS (FEDCSIS), 2017, : 1 - 10
  • [26] An exploration of student midwives' language to describe non-formal learning in professional practice
    Finnerty, G
    Pope, R
    NURSE EDUCATION TODAY, 2005, 25 (04) : 309 - 315
  • [27] On the Heuristic Use of Formal Models in International Relations Theory
    Barkin, J. Samuel
    INTERNATIONAL STUDIES REVIEW, 2015, 17 (04) : 617 - 634
  • [28] CONTEXTUAL LANGUAGE MODELS FOR RANKING ANSWERS TO NATURAL LANGUAGE DEFINITION QUESTIONS
    Figueroa, Alejandro
    Atkinson, John
    COMPUTATIONAL INTELLIGENCE, 2012, 28 (04) : 528 - 548
  • [29] Formal and computational models of context for natural language generation
    van Deemter, K
    Odijk, J
    FORMAL ASPECTS OF CONTEXT, 2000, 20 : 1 - 21
  • [30] A Framework for Formalizing UML Models with Formal Language Rcos
    Yang, Jing
    FCST 2009: PROCEEDINGS OF THE 4TH INTERNATIONAL CONFERENCE ON FRONTIER OF COMPUTER SCIENCE AND TECHNOLOGY, 2009, : 408 - 416
12345