Statecharts composition to model topologically distributed applications (Contributo in atti di convegno)

Type

• Prodotto della ricerca (Classe)
• Contributo in atti di convegno (Classe)

Label

• Statecharts composition to model topologically distributed applications (Contributo in atti di convegno) (literal)

Anno

• 2006-01-01T00:00:00+01:00 (literal)

Alternative label

• Banci M.; Fantechi A.; Gnesi S. (2006)
  Statecharts composition to model topologically distributed applications
  in Integrated Design and Process Technology Conference, San Diego, California
  (literal)

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#autori

• Banci M.; Fantechi A.; Gnesi S. (literal)

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#note

• In: Integrated Design and Process Technology Conference (San Diego, California, June 25-30, 2006). Proceedings, pp. 15-. Society for Design and Process Science (ed.). 2006. (literal)

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#descrizioneSinteticaDelProdotto

• ABSTRACT: Many real-life systems can be conveniently modeled by the replication and interconnection of simple components of a few types: different configurations of the same system may vary just for the number of components and for the topology of their interconnections. In industrial practice of formal modeling the tedious work of such a manual instantiation has to be automated, which allows to produce at a low cost new configurations of the same product. This paper presents a methodology to build statechart models of topologically distributed systems by instantiating generic components; the method is able to replicate as needed statechart components and to expand the terms that drive their behavior to create complex interconnection patterns along the required topology. The methodology is illustrated on the example of a classical distributed algorithm (Byzantine Agreement) to show the potential of dealing with parameterized distributed structures. The proposed methodology is shown to be able to find several interesting industrial applications. (literal)

Titolo

• Statecharts composition to model topologically distributed applications (literal)

Prodotto di

• Istituto di scienza e tecnologie dell'informazione \"Alessandro Faedo\" (ISTI) (Istituto)
• Metodi e Strumenti per la Progettazione di Sistemi Software-Intensive ad Elevata Complessità (ICT.P09.008.002) (Modulo)

Insieme di parole chiave

• Keywords of "Statecharts composition to model topologically distributed applications" (Insieme di parole chiave)

Incoming links:

Prodotto

• Istituto di scienza e tecnologie dell'informazione \"Alessandro Faedo\" (ISTI) (Istituto)
• Metodi e Strumenti per la Progettazione di Sistemi Software-Intensive ad Elevata Complessità (ICT.P09.008.002) (Modulo)

Insieme di parole chiave di

• Keywords of "Statecharts composition to model topologically distributed applications" (Insieme di parole chiave)