Composition of model interface. A theorem of model composition

MaRDI QIDQ2779015zbMATH OpenFDO

Authors Yadong Zhang, Hongchao Liu

Publication date 3 June 2002

Published in Chinese Quarterly Journal of Mathematics (Search for Journal in Brave)

zbMATH Keywords

frame basesmodel compositionmodel interfaceorder structure

Mathematics Subject Classification ID

Review text

The authors' topic is the building of a model for an object through model composition. In the present paper they investigate the interface composition of models in Zeigler's modeling methodology DEVS. They introduce the experimental frame of a model and describe the order structure of frame bases. The compositional conditions of the model interface are analyzed using the order structure of the model and frame bases.

Recommendations

• An interface model of software components
• A modal interface theory for component-based design
• Composition of Model Programs
• The IITM model: a simple and expressive model for universal composability
• Foundations of compositional models: structural properties

Cited in

(5)

• Associative composition of components with double-sided interfaces
• All isomorphic distinct cases for multi-component interfaces in a block.
• Compositionality issues in discrete, continuous, and hybrid systems
• On compositional modelling
• scientific article; zbMATH DE number 2243361 (Why is no real title available?)

This page was built for publication: Composition of model interface. A theorem of model composition

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2779015)