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
关键词
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 条