General framework of structural similarity between system models

Yasuhiko Takahara, Shingo Takahashi

研究成果: Article査読

1 被引用数 (Scopus)

抄録

The structural similarity between system models has been investigated so far solely based on the concept of the homomorphism which is defined only between system models of ‘the same type’. However, this is not satisfactory for the development of systems theory. This paper extends the concept of the homomorphism to investigate the structural similarity between system models, not only of the same type but of different types, by introducing F-morphisms, and examines what kind of system properties are preserved in terms of the extended homomorphisms. This paper deals with three kinds of properties to be preserved: Generators, a set of axioms Σ, and all sentences satisfied in the system model Th(M); it also provides six morphisms: Homomorphisms, Σ-homomorphisms, S-homomorphisms, F-morphisms, ΣF-morphisms and SF-morphisms, for the three cases with respect to system models of the same type and of different types. Convertial homoniorphisms are regarded as special cases of an F-morphism. Finally an F-morphism theorem for system models of different types is proven, which corresponds to the homomorphism theorem for system models of the same type.

本文言語English
ページ(範囲)17-32
ページ数16
ジャーナルInternational Journal of Systems Science
22
1
DOI
出版ステータスPublished - 1991 1月
外部発表はい

ASJC Scopus subject areas

  • 制御およびシステム工学
  • 理論的コンピュータサイエンス
  • コンピュータ サイエンスの応用

フィンガープリント

「General framework of structural similarity between system models」の研究トピックを掘り下げます。これらがまとまってユニークなフィンガープリントを構成します。

引用スタイル