Dynamic software architectures verification using DynAlloy (Articolo in rivista)

Type
Label
  • Dynamic software architectures verification using DynAlloy (Articolo in rivista) (literal)
Anno
  • 2008-01-01T00:00:00+01:00 (literal)
Alternative label
  • Bucchiarone A.; Galeotti J. (2008)
    Dynamic software architectures verification using DynAlloy
    (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#autori
  • Bucchiarone A.; Galeotti J. (literal)
Pagina inizio
  • 1 (literal)
Pagina fine
  • 14 (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#numeroVolume
  • 10 (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#note
  • In: Electronic Communications of the EASST, vol. 10 pp. 1 - 14. Special issue: GT-VMT 2008. Proceedings of the Seventh International Workshop on Graph Transformation and Visual Modeling Techniques (Budapest, Hungary, 29-30 March 2008). Claudia Ermel, Reiko Heckel, Juan de Lara (eds.). EASST, 2008. (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#affiliazioni
  • ISTI-CNR, Universidad de Buenos Aires, Argentina (literal)
Titolo
  • Dynamic software architectures verification using DynAlloy (literal)
Abstract
  • Graph Grammars have been often used for modeling dynamic changes in software architectures. In particular, we have previously characterized some classes of dynamicity in terms of particular aspects of graph grammars. Moreover we have identified classes of properties that can be naturally associated to any of such kinds of dynamicities. In this paper we approach the problem of verifying such properties over graph grammars specifications. In particular, we use DYNALLOY for attempting this task and we have concentrated on proving properties associated to a particular programmable dynamic software architecture. (literal)
Prodotto di
Autore CNR
Insieme di parole chiave

Incoming links:


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