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 language | English |
|---|---|
| Pages (from-to) | 169-178 |
| Number of pages | 10 |
| Journal | Transactions of the Society for Computer Simulation |
| Volume | 13 |
| Issue number | 4 |
| Publication status | Published - 1996 Dec |
| Externally published | Yes |
Fingerprint
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 journal › Article
}
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 -