Visualizing Formalisms With Orm Models

OTM'07: Proceedings of the 2007 OTM confederated international conference on On the move to meaningful internet systems - Volume Part I(2007)

引用 4|浏览4
暂无评分
摘要
During the development of theoretical frameworks researchers often graphically represent formal textual notations as part of a developed theory. This may lead to enrichments and new insights regarding a theory. A possibility for graphical representation of formalisms is the utilization of modeling languages such as ORM. This paper deals with the technique of visualizing formalisms by using ORM models and shows the advantages of graphically representing a formal theoretical framework. An application of the approach that has already been successfully practised is elaborated. This application concerns a theoretical framework consisting of knowledge intensive task properties and shows how the approach to visualize formalisms with ORM can be materialized.
更多
查看译文
关键词
Formal Model, Modeling Language, Textual Formalism, Object Type, Uniqueness Constraint
AI 理解论文
溯源树
样例
生成溯源树,研究论文发展脉络
Chat Paper
正在生成论文摘要