Model integration using SML

Yao Chuan Tsai

研究成果: Article同行評審

14 引文 斯高帕斯(Scopus)

摘要

Structured modeling language (SML) is a modeling language for the structured modeling framework, which represents the semantics as well as mathematical structure of a model. This paper extends some structured modeling concepts and defines SML schema operations for formalizing model integration. Executing any of the operations could possibly disrupt the integrity of an SML model schema. Some major propositions and several examples in the paper settle practically many of the open questions for the operations studied. This research not only contributes an operational approach to perform model integration in SML, but also allows us to understand how different kinds of schema edits can disrupt the formal correctness of SML, and what can be done about it. It helps lay the foundation for the future development of an incremental static semantic analyzer and smart schema-directed editor.

原文English
頁(從 - 到)355-377
頁數23
期刊Decision Support Systems
22
發行號4
DOIs
出版狀態Published - 1998 四月

All Science Journal Classification (ASJC) codes

  • 管理資訊系統
  • 資訊系統
  • 發展與教育心理學
  • 藝術與人文(雜項)
  • 資訊系統與管理

指紋

深入研究「Model integration using SML」主題。共同形成了獨特的指紋。

引用此