transparent gif

 

Ej inloggad.

Göteborgs universitets publikationer

Rule-based modeling and static analysis of self-adaptive systems by graph transformation

Författare och institution:
Antonio Bucchiarone (-); Hartmut Ehrig (-); Claudia Ermel (-); Patrizio Pelliccione (Institutionen för data- och informationsteknik (GU)); Olga Runge (-)
Publicerad i:
Lecture Notes in Computer Science, 8950 s. 582-601
ISSN:
0302-9743
E-ISSN:
1611-3349
Publikationstyp:
Artikel, refereegranskad vetenskaplig
Publiceringsår:
2015
Språk:
engelska
Sammanfattning (abstract):
Software systems nowadays require continuous operation despite changes both in user needs and in their operational environments. Self-adaptive systems are typically instrumented with tools to autonomously perform adaptation to these changes while maintaining some desired properties. In this paper we model and analyze self-adaptive systems by means of typed, attributed graph grammars. The interplay of different grammars representing the application and the adaptation logic is realized by an adaption manager. Within this formal framework we define consistency and operational properties that are maintained despite adaptations and we give static conditions for their verification. The overall approach is supported by the AGG tool for modeling, simulating, and analyzing graph transformation systems. A case study modeling a business process that adapts to changing environment conditions is used to demonstrate and validate the formal framework.
Ämne (baseras på Högskoleverkets indelning av forskningsämnen):
NATURVETENSKAP ->
Data- och informationsvetenskap ->
Programvaruteknik
NATURVETENSKAP ->
Data- och informationsvetenskap ->
Datorseende och robotik (autonoma system)
Postens nummer:
226333
Posten skapad:
2015-11-25 13:40
Posten ändrad:
2016-09-13 10:52

Visa i Endnote-format

Göteborgs universitet • Tel. 031-786 0000
© Göteborgs universitet 2007