Modelling dynamic software architectures using typed graph grammars (Articolo in rivista)

Type
Label
  • Modelling dynamic software architectures using typed graph grammars (Articolo in rivista) (literal)
Anno
  • 2008-01-01T00:00:00+01:00 (literal)
Alternative label
  • Bruni R.; Bucchiarone A.; Gnesi S.; Melgratti H. (2008)
    Modelling dynamic software architectures using typed graph grammars
    (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#autori
  • Bruni R.; Bucchiarone A.; Gnesi S.; Melgratti H. (literal)
Pagina inizio
  • 39 (literal)
Pagina fine
  • 53 (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#numeroVolume
  • 213 (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#note
  • In: Electronic Notes in Theoretical Computer Science, vol. 213 (1) pp. 39 - 53. Special issue: GT-VC 2007. Third Workshop on Graph Transformation for Concurrency and Verification (Lisbon, Portugal, 3 September 2007). Barbara König, Arend Rensink, Reiko Heckel (eds.). Elsevier, 2008. (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#affiliazioni
  • Dipartimento di Informatica Univ. Pisa, CNR-ISTI, Pisa, IMT Alti Studi Lucca (literal)
Titolo
  • Modelling dynamic software architectures using typed graph grammars (literal)
Abstract
  • Several recent research efforts have focused on the dynamic aspects of software architectures providing suitable models and techniques for handling the run-time modification of the structure of a system. A large number of heterogeneous proposals for addressing dynamic architectures at many different levels of abstraction have been provided, such as programmable, ad-hoc, self-healing and self-repairing among others. It is then important to have a clear picture of the relations among these proposals by formulating them into a uniform framework and contrasting the different verification aspects that can be reasonably addressed by each proposal. Our work is a contribution in this line. In particular, we map several notions of dynamicity into the same formal framework in order to distill the similarities and differences among them. As a result we explain different styles of architectural dynamisms in term of graph grammars and get some better insights on the kinds of formal properties that can be naturally associated to such different specification styles. We take a simple automotive scenario as a running example to illustrate main ideas. (literal)
Prodotto di
Autore CNR
Insieme di parole chiave

Incoming links:


Prodotto
Autore CNR di
Insieme di parole chiave di
data.CNR.it