Copyright Information
The documents distributed by this server have been provided by the contributing authors as a means to ensure timely dissemination of
scholarly and technical work on a noncommercial basis. Copyright and all rights therein are maintained by the authors or by other
copyright holders, notwithstanding that they have offered their works here electronically. It is understood that all persons copying
this information will adhere to the terms and constraints invoked by each author's copyright. These works may not be reposted without
the explicit permission of the copyright holder.
show main publications
Modelling dynamic software architectures using typed graph grammars @INPROCEEDINGS{BBGM07, title = {{Modelling dynamic software architectures using typed graph grammars}}, author = {{Roberto} {Bruni} and {Antonio} {Bucchiarone} and {Stefania} {Gnesi} and {Hern\'an} {Melgratti}}, booktitle = {Proceedings of GT-VC 2007, 3rd Workshop on Graph Transformation for Verification and Concurrency}, pages = {39--53}, 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.
}, publisher = {Elsevier Science}, series = {Electronic Notes in Theoretical Computer Science}, volume = {213}, number = {1}, year = {2007}, url = {http://www.di.unipi.it/~bruni/publications/gt-vc2007.pdf.gz}, doi = {http://dx.doi.org/10.1016/j.entcs.2008.04.073}, issn = {1571-0661}, keywords = {automotive software systems, dynamic software architectures, graph transformation}, partner = {ISTI, PISA}, task = {T1.2, T5.3}, }
|