1 / 8

SIRRINE

SIRRINE enables the description and manipulation of software systems that reason about their own structure and behavior. It uses a functional modeling language called TMK to encode functionality, teleology, compositionality, knowledge, and inferencing. SIRRINE redesigns systems by executing the TMK model, diagnosing and selecting modification strategies, and verifying the modified model.

myardley
Download Presentation

SIRRINE

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript

  1. SIRRINE Self-Improving Reflective Reasoner Integrating Noteworthy Experience

  2. SIRRINE • Enables description and manipulation of software systems that reason about their own structure and behavior. • Systems are described by functional models which specify what its structural components do and how they work. • Self-modeling enables self-diagnosis and self-redesign.

  3. Knowledge in SIRRINE • SIRRINE uses an functional modeling language called TMK • TMK encodes: • Functionality: What a component does. • Teleology: How a component works. • Compositionality: How components combine. • Knowledge: What components affect. • Inferencing: How components affect knowledge.

  4. Processing in SIRRINE • SIRRINE redesigns a system by: 1. Executing the TMK model to generate a trace 2. Diagnosing the model (blame assignment) 3. Selecting a modification strategy 4. Executing the selected modification strategy 5. Executing the modified model for verification

  5. Intelligent Agent Technology • SIRRINE may be used as a knowledge-based shell for developing intelligent agents which learn to adapt to new functional requirements. • Learning is situated within the context of reasoning. • Reasoning goals drive the strategies and methods used for learning.

  6. Software Engineering Technology • SIRRINE may be used as a tool for manipulating architectural models of legacy software systems. • An intelligent agent in SIRRINE imitates the behavior of the legacy system. • When the agent redesigns itself, it suggests a redesign strategy for the legacy system. • This strategy can be used by software developers.

  7. Example: Mosaic • An agent which imitates the Mosaic web browser is included as a tutorial demonstration in the SIRRINE2 release. • In the demo, the Mosaic agent adapts itself by adding a new external document viewer. • This adaptation can be used as a redesign plan for a next generation of Mosaic.

  8. Mosaic in SIRRINE

More Related