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 条
  • [31] Formal semantics of some functional constructs of the software requirements definition language NDRDL
    Dong, LJ
    Xu, JF
    COMPSAC 97 : TWENTY-FIRST ANNUAL INTERNATIONAL COMPUTER SOFTWARE & APPLICATIONS CONFERENCE, 1997, : 642 - 645
  • [32] Formal Definition and Modeling Language of Association-Oriented Database Metamodel (AssoBase)
    Krotkiewicz, Marek
    VIETNAM JOURNAL OF COMPUTER SCIENCE, 2019, 6 (02) : 91 - 145
  • [33] A formal definition of the users view (UV) of the Graphical Object Query Language (GOQL)
    Keramopoulos, E
    Pouyioutas, P
    Ptohos, T
    SIXTH INTERNATIONAL CONFERENCE ON INFORMATION VISUALISATION, PROCEEDINGS, 2002, : 211 - 216
  • [34] Complexity theory made easy - The formal language approach to the definition of complexity classes
    Vollmer, H
    DEVELOPMENTS IN LANGUAGE THEORY, PROCEEDINGS, 2003, 2710 : 95 - 110
  • [35] FORMAL MODELS VS REAL MODELS - TOOLS OF INQUIRY IN INTERNATIONAL-RELATIONS
    KAMMLER, H
    GENERAL SYSTEMS, 1974, 19 : 135 - 146
  • [36] VULCAN - A MODIFIED VIEWDATA SYSTEM WITH IMPROVED INDEXING AND FORMAL HIERARCHY DEFINITION LANGUAGE
    MARIANI, JA
    MCGREGOR, DR
    COMPUTER JOURNAL, 1984, 27 (02): : 121 - 126
  • [37] Validation of Service Blueprint Models by Means of Formal Simulation Techniques
    Estanol, Montserrat
    Marcos, Esperanza
    Oriol, Xavier
    Perez, Francisco J.
    Teniente, Ernest
    Vara, Juan M.
    SERVICE-ORIENTED COMPUTING, ICSOC 2017, 2017, 10601 : 80 - 95
  • [38] Formal grammars to describe emotional states
    Apolloni, B
    Militello, D
    Palmas, G
    Savvidou, S
    ISSPA 2001: SIXTH INTERNATIONAL SYMPOSIUM ON SIGNAL PROCESSING AND ITS APPLICATIONS, VOLS 1 AND 2, PROCEEDINGS, 2001, : 222 - 225
  • [39] A FORMAL MODEL TO DESCRIBE AN ECONOMIC PROCESS
    Avram, Calin
    Avram, Eleonora Laura
    INTERNATIONAL CONFERENCE ON INFORMATICS IN ECONOMY, 2012, : 506 - 510
  • [40] A formal definition of carriers
    Jaime Keller
    Peter Weinberger
    Advances in Applied Clifford Algebras, 2002, 12 (1) : 39 - 62
12345