Component based modeling is of great importance for building and analyzing models of real systems. It is based on a well known paradigm which makes use of abstraction and composition. In this paper we focus on abstraction, by describing a practical approach to the definition of very simple interface models allowing the substitution of components within composed multiformalism models. The work extends the OsMoSys methodology and relies on meta-modeling. This paper does not discuss formal aspects about interface theory and components interaction, but focuses on the problem of building component models in practice with the ultimate goal of solving them by using (the existing) analysis tools. The paper formally extends the OsMoSys conceptual model in order to introduce model interfaces and to provide some rules for interface compatibility. The paper also describes some steps towards the full definition of mechanisms for interface binding and their implementation.

Interfaces and binding in component based development of formal models / F., Moscato; Vittorini, Valeria; S., Marrone; M., Iacono; G., Franceschinis; M., Gribaudo. - ELETTRONICO. - (2009), pp. 1-10. ((Intervento presentato al convegno International Conference On Performance Evaluation Methodologies And Tools & Workshops tenutosi a Pisa, Italy nel October 20 - 22, 2009 [http://dx.doi.org/10.4108/ICST.VALUETOOLS2009.7677].

Interfaces and binding in component based development of formal models

VITTORINI, VALERIA;
2009

Abstract

Component based modeling is of great importance for building and analyzing models of real systems. It is based on a well known paradigm which makes use of abstraction and composition. In this paper we focus on abstraction, by describing a practical approach to the definition of very simple interface models allowing the substitution of components within composed multiformalism models. The work extends the OsMoSys methodology and relies on meta-modeling. This paper does not discuss formal aspects about interface theory and components interaction, but focuses on the problem of building component models in practice with the ultimate goal of solving them by using (the existing) analysis tools. The paper formally extends the OsMoSys conceptual model in order to introduce model interfaces and to provide some rules for interface compatibility. The paper also describes some steps towards the full definition of mechanisms for interface binding and their implementation.
2009
Interfaces and binding in component based development of formal models / F., Moscato; Vittorini, Valeria; S., Marrone; M., Iacono; G., Franceschinis; M., Gribaudo. - ELETTRONICO. - (2009), pp. 1-10. ((Intervento presentato al convegno International Conference On Performance Evaluation Methodologies And Tools & Workshops tenutosi a Pisa, Italy nel October 20 - 22, 2009 [http://dx.doi.org/10.4108/ICST.VALUETOOLS2009.7677].
File in questo prodotto:
Non ci sono file associati a questo prodotto.

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11588/365676
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 26
  • ???jsp.display-item.citation.isi??? ND
social impact