Sciweavers

Share
ICAC
2008
IEEE

Digital Evolution of Behavioral Models for Autonomic Systems

8 years 10 months ago
Digital Evolution of Behavioral Models for Autonomic Systems
We describe an automated method to generating models of an autonomic system. Specifically, we generate UML state diagrams for a set of interacting objects, including the extension of existing state diagrams to support new behavior. The approach is based on digital evolution, a form of evolutionary computation that enables a designer to explore an enormous solution space for complex problems. In our application of this technology, an evolving population of digital organisms is subjected to natural selection, where organisms are rewarded for generating state diagrams that support key scenarios and satisfy critical properties as specified by the developer. To achieve this capability, we extended the AVIDA digital evolution platform to enable state diagram generation, and integrated AVIDA with third-party software engineering tools, e.g., the Spin model checker, to assess the generated state diagrams. To illustrate this approach, we successfully applied it to the generation of state dia...
Heather Goldsby, Betty H. C. Cheng, Philip K. McKi
Added 29 May 2010
Updated 29 May 2010
Type Conference
Year 2008
Where ICAC
Authors Heather Goldsby, Betty H. C. Cheng, Philip K. McKinley, David B. Knoester, Charles Ofria
Comments (0)
books