A PRIMITIVE EXECUTION MODEL FOR HETEROGENEOUS MODELING

Frédéric Boulanger, Guy Vidal-Naquet

Abstract

Heterogeneous modeling is modeling using several modeling methods. Since many different modeling methods are used in different crafts, heterogeneous modeling is necessary to build a heterogeneous model of a system that takes the modeling habits of the designers into account. A model of computation is a formal description of the behavioral aspect of a modeling method. It is the set of rules that allows to compute the behavior of a system by composing the behaviors of its components. Heterogeneous modeling allows parts of the system to obey some rules while other parts obey other rules for the composition of their behaviors. Computing the behavior of a system which is modeled using several models of computation can be difficult if the meaning of each model of computation, and what happens at their boundary, is not well defined. We propose an execution model that provides a framework of primitive operations that allow to express how a model of computation is interpreted in order to compute the behavior of a model of a system. When models of computation are “implemented” in this execution model, it becomes possible to specify exactly what is the meaning of the joint use of several models of computation in the model of a system.

References

  1. Boulanger, F., Mbobi, M., and Feredj, M. (2004). Flat heterogeneous modeling. In IPSI 2004 conference, http://wwwsi.supelec.fr/fb/download/Articles/IPSI2004.pdf.
  2. Brooks, C., Lee, E. A., Liu, X., Neuendorffer, S., Zhao, Y., and Zheng, H. (2005). Heterogeneous concurrent modeling and design in java (volume 1: Introduction to ptolemy ii). Technical report, University of California, Berkeley.
  3. Eker, J., Janneck, J. W., Lee, E. A., Liu, J., Liu, X., Ludvig, J., Neuendorffer, S., Sachs, S., and Xiong, Y. (2002). Taming heterogeneity the ptolemy approach. In Proceedings of the IEEE, Special Issue on Modeling and Design of Embedded Software.
  4. Feredj, M., Boulanger, F., and Mbobi, M. (2004). An approach for domain polymorph component design. In IEEE International Conference on Information Reuse and Integration 2004 (IRI 2004), http://wwwsi.supelec.fr/fb/download/Articles/IRI2004- CDP.pdf.
  5. Fleurey, F., Drey, Z., and Vojtisek, D. (2006). KerMeta Manual. http://www.kermeta.org/docs/KerMetaManual.pdf.
  6. Kong, C. and Alexander, P. (2003). The rosetta meta-model framework. In 10th IEEE International Conference and Workshop on the Engineering of Computer-Based Systems (ECBS'03).
  7. Liu, X., Liu, J., Eker, J., and Lee, E. A. (2003). Heterogeneous modeling and design of control systems. In Software-Enabled Control: Information Technology for Dynamical Systems. Wiley-IEEE Press.
Download


Paper Citation


in Harvard Style

Boulanger F. and Vidal-Naquet G. (2006). A PRIMITIVE EXECUTION MODEL FOR HETEROGENEOUS MODELING . In Proceedings of the First International Conference on Software and Data Technologies - Volume 1: ICSOFT, ISBN 978-972-8865-69-6, pages 247-252. DOI: 10.5220/0001309502470252


in Bibtex Style

@conference{icsoft06,
author={Frédéric Boulanger and Guy Vidal-Naquet},
title={A PRIMITIVE EXECUTION MODEL FOR HETEROGENEOUS MODELING},
booktitle={Proceedings of the First International Conference on Software and Data Technologies - Volume 1: ICSOFT,},
year={2006},
pages={247-252},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0001309502470252},
isbn={978-972-8865-69-6},
}


in EndNote Style

TY - CONF
JO - Proceedings of the First International Conference on Software and Data Technologies - Volume 1: ICSOFT,
TI - A PRIMITIVE EXECUTION MODEL FOR HETEROGENEOUS MODELING
SN - 978-972-8865-69-6
AU - Boulanger F.
AU - Vidal-Naquet G.
PY - 2006
SP - 247
EP - 252
DO - 10.5220/0001309502470252