A multi-agent framework for dependable adaptation of evolving system architectures
aut.relation.endpage | 166 | |
aut.relation.pages | 8 | |
aut.relation.startpage | 159 | |
aut.researcher | Johnson, Kenneth | |
dc.contributor.author | Johnson, K | en_NZ |
dc.contributor.author | Sinha, R | en_NZ |
dc.contributor.author | Calinescu, R | en_NZ |
dc.contributor.author | Ruan, J | en_NZ |
dc.date.accessioned | 2016-04-14T01:39:09Z | |
dc.date.available | 2016-04-14T01:39:09Z | |
dc.date.copyright | 2015 | en_NZ |
dc.date.issued | 2015 | en_NZ |
dc.description.abstract | We present a multi-agent framework for the formal verification of component-based systems after changes such as addition, removal and modification of components. The core of our approach is an Agent Verification Engine (AVE) that constructs evolvable Belief-Desire-Intention (BDI) agents to coordinate and plan the re-verification of component models after system changes. The engine provides BDI-agents with existing techniques for the compositional verification of component-based systems. We illustrate this integration for Satisfiability Modulo Theories (SMT) constraint analysis and demonstrate our framework on requirements arising from industrial control systems. | |
dc.identifier.citation | 41st Euromicro Conference on Software Engineering and Advanced Applications (SEAA), Funchal, 2015-08-26 to 2015-08-28, published in: A Multi-agent Framework for Dependable Adaptation of Evolving System Architectures, pp.159 - 166 (8) | en_NZ |
dc.identifier.doi | 10.1109/SEAA.2015.49 | en_NZ |
dc.identifier.uri | https://hdl.handle.net/10292/9717 | |
dc.publisher | IEEE | en_NZ |
dc.relation.uri | http://dx.doi.org/10.1109/SEAA.2015.49 | |
dc.rights | Copyright © 2015 IEEE. Personal use of this material is permitted. Permission from IEEE must be obtained for all other uses, in any current or future media, including reprinting/republishing this material for advertising or promotional purposes, creating new collective works, for resale or redistribution to servers or lists, or reuse of any copyrighted component of this work in other works. | |
dc.rights.accessrights | OpenAccess | en_NZ |
dc.title | A multi-agent framework for dependable adaptation of evolving system architectures | en_NZ |
dc.type | Conference Contribution | |
pubs.elements-id | 196374 | |
pubs.organisational-data | /AUT | |
pubs.organisational-data | /AUT/Design & Creative Technologies |