General morphism for modeling relations in multimodeling

Research output: Contribution to journalArticle

4 Citations (Scopus)

Abstract

Multimodeling represents a recent remarkable progress in modeling methodology. It includes new types of relationships between models, which cannot be formulated as usual homomorphisms. First this paper identifies the three types of morphism for the modeling relations involved in multimodeling: homomorphism-type, refinement-type, and integration-type. The morphism that can deal with all the types is required to have the properties of partiality and behavior preservation as well as structure preservation. This paper develops a rigorous framework of general morphism for modeling theory so as to provide a formal device that fulfills such requirements and represents all the types of relationships between models including the relationships among experimental frame, real system, base model, lumped model in modeling theory, as well as those involved especially in multimodeling.

Original languageEnglish
Pages (from-to)169-178
Number of pages10
JournalTransactions of the Society for Computer Simulation
Volume13
Issue number4
Publication statusPublished - 1996 Dec
Externally publishedYes

Fingerprint

Morphism
Modeling
Preservation
Homomorphisms
Homomorphism
Model
Refinement
Methodology
Requirements
Relationships

ASJC Scopus subject areas

  • Computational Theory and Mathematics
  • Computer Graphics and Computer-Aided Design
  • Computer Science Applications
  • Software
  • Modelling and Simulation

Cite this

General morphism for modeling relations in multimodeling. / Takahashi, Shingo.

In: Transactions of the Society for Computer Simulation, Vol. 13, No. 4, 12.1996, p. 169-178.

Research output: Contribution to journalArticle

@article{b3d96af529aa4a7a8b010d5cf9ec047e,
title = "General morphism for modeling relations in multimodeling",
abstract = "Multimodeling represents a recent remarkable progress in modeling methodology. It includes new types of relationships between models, which cannot be formulated as usual homomorphisms. First this paper identifies the three types of morphism for the modeling relations involved in multimodeling: homomorphism-type, refinement-type, and integration-type. The morphism that can deal with all the types is required to have the properties of partiality and behavior preservation as well as structure preservation. This paper develops a rigorous framework of general morphism for modeling theory so as to provide a formal device that fulfills such requirements and represents all the types of relationships between models including the relationships among experimental frame, real system, base model, lumped model in modeling theory, as well as those involved especially in multimodeling.",
author = "Shingo Takahashi",
year = "1996",
month = "12",
language = "English",
volume = "13",
pages = "169--178",
journal = "Transactions of the Society for Computer Simulation",
issn = "0740-6797",
publisher = "Society for Computer Simulation",
number = "4",

}

TY - JOUR

T1 - General morphism for modeling relations in multimodeling

AU - Takahashi, Shingo

PY - 1996/12

Y1 - 1996/12

N2 - Multimodeling represents a recent remarkable progress in modeling methodology. It includes new types of relationships between models, which cannot be formulated as usual homomorphisms. First this paper identifies the three types of morphism for the modeling relations involved in multimodeling: homomorphism-type, refinement-type, and integration-type. The morphism that can deal with all the types is required to have the properties of partiality and behavior preservation as well as structure preservation. This paper develops a rigorous framework of general morphism for modeling theory so as to provide a formal device that fulfills such requirements and represents all the types of relationships between models including the relationships among experimental frame, real system, base model, lumped model in modeling theory, as well as those involved especially in multimodeling.

AB - Multimodeling represents a recent remarkable progress in modeling methodology. It includes new types of relationships between models, which cannot be formulated as usual homomorphisms. First this paper identifies the three types of morphism for the modeling relations involved in multimodeling: homomorphism-type, refinement-type, and integration-type. The morphism that can deal with all the types is required to have the properties of partiality and behavior preservation as well as structure preservation. This paper develops a rigorous framework of general morphism for modeling theory so as to provide a formal device that fulfills such requirements and represents all the types of relationships between models including the relationships among experimental frame, real system, base model, lumped model in modeling theory, as well as those involved especially in multimodeling.

UR - http://www.scopus.com/inward/record.url?scp=0030361864&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=0030361864&partnerID=8YFLogxK

M3 - Article

VL - 13

SP - 169

EP - 178

JO - Transactions of the Society for Computer Simulation

JF - Transactions of the Society for Computer Simulation

SN - 0740-6797

IS - 4

ER -