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 条
  • [1] FORMAL DEFINITION OF A CONCEPTUAL LANGUAGE FOR THE DESCRIPTION AND MANIPULATION OF INFORMATION MODELS
    TERHOFSTEDE, AHM
    PROPER, HA
    VANDERWEIDE, TP
    INFORMATION SYSTEMS, 1993, 18 (07) : 489 - 523
  • [2] STRUCTURE OF A FORMAL LANGUAGE TO DESCRIBE PROPERTY
    ARIGONI, AO
    BALBONI, E
    LINGUA E STILE, 1985, 20 (01) : 133 - 141
  • [3] FORMAL DEFINITION OF BASIC LANGUAGE
    LEE, JAN
    COMPUTER JOURNAL, 1972, 15 (01): : 37 - &
  • [4] Formal Definition of XCCS Modelling Language
    Balicki, Krzysztof
    Szpyrka, Marcin
    FUNDAMENTA INFORMATICAE, 2009, 93 (1-3) : 1 - 15
  • [5] Engineering the SDL formal language definition
    Prinz, A
    Von Löwis, M
    FORMAL METHODS FOR OPEN OBJECT-BASED DISTRIBUTED SYSTEMS, PROCEEDINGS, 2003, 2884 : 47 - 63
  • [6] Formal definition of programming language standards
    Pronk, C
    Schönhacker, M
    ACM SIGPLAN NOTICES, 2003, 38 (08) : 20 - 21
  • [7] A new formal definition of language for natural language processing
    Wang, Y
    Wang, XJ
    Proceedings of the 11th Joint International Computer Conference, 2005, : 430 - 433
  • [8] Formal Definition of Measures for BPMN Models
    Reynoso, Luis
    Rolon, Elvira
    Genero, Marcela
    Garcia, Felix
    Ruiz, Francisco
    Piattini, Mario
    SOFTWARE PROCESS AND PRODUCT MEASUREMENT, PROCEEDINGS, 2009, 5891 : 285 - +
  • [9] THE PROGRAMMING LANGUAGE MINO AND ITS FORMAL DEFINITION
    COOKE, DJ
    ALNOUFALY, MHJ
    SIGPLAN NOTICES, 1984, 19 (02): : 47 - 57
  • [10] THE FORMAL DEFINITION OF A REAL-TIME LANGUAGE
    HENNESSY, JL
    KIEBURTZ, RB
    ACTA INFORMATICA, 1981, 16 (03) : 309 - 345
12345