Statecharts composition to model topologically distributed applications (Articolo in rivista)

Type

• Articolo in rivista (Classe)
• Prodotto della ricerca (Classe)

Label

• Statecharts composition to model topologically distributed applications (Articolo in rivista) (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 Journal of integrated design & process science; IOS Press, Amsterdam (Paesi Bassi)
  (literal)

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

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

Pagina inizio

• 1 (literal)

Pagina fine

• 15 (literal)

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

• http://dl.acm.org/citation.cfm?id=1374552.1374553 (literal)

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

• 10 (literal)

Rivista

• Journal of integrated design & process science (Rivista)

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

• 1 (literal)

Note

• Scopu (literal)

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

• ISTI-CNR (literal)

Titolo

• Statecharts composition to model topologically distributed applications (literal)

Abstract

• Many real-world systems can be conveniently modelled 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 modelling the tedious work of such a manual instantiation has to be automated, allowing the inexpensive production of new configurations for 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 behaviour to create complex interconnection patterns along the required topology. The methodology is illustrated on the example of a classical distributed algorithm (Byzantine Agreement) in order 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)

Editore

• IOS Press (Editore)

Prodotto di

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

Autore CNR

• STEFANIA GNESI (Persona)
• ALESSANDRO FANTECHI (Persona)

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)

Autore CNR di

• STEFANIA GNESI (Persona)
• ALESSANDRO FANTECHI (Persona)

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

• Journal of integrated design & process science (Rivista)

Editore di

• IOS Press (Editore)