Description

This project aims to build an extension on top of SmartFrog to enable automated composition of Behavioral Signature model. The model will be used as the foundation of the autonomic-distributed declarative configuration tool.

Implemented Features

  • Using HTTP for peer-to-peer communications
  • Fully using JSON format to send and receive descriptions between managed components
  • Web-based application for managing the components

To Do

  • Implement the Behavioural Signature model
  • Enable manual composition of the Behavioural Signature model
  • Enable automatic composition of the Behavioural Signature model

Work Packages

  • Get a good set of realistic use-cases
  • Manually compose the BSig model for the existing use-cases
  • Synthesized use-cases
  • Research on related areas, such as multi-agents planning, combine-and-solve strategy of multiple plans (TSGPlan)
  • Formalize of the proposed approach
  • Analyze and solve the deadlock or livelock potential problem
  • Analyze and solve the robustness problem
  • Analyze and solve the hard & soft constraints problems
  • Analyze and solve the repairing BSig model problem
  • Analyze and solve the decomposition problem
  • Analyze and solve the coordination problem
  • Analyze and solve the repairing hierarchical BSig model problem
  • Evaluations
  • Feedback from other people

Implementation

Resources

The wiki page of Service Orchestration  https://www.wiki.ed.ac.uk/display/ServOrch

The SmartFrog's main website  http://www.smartfrog.org

SmartFrog Tutorial  http://www.hpl.hp.com/breweb/smartfrog/releasedocs/smartfrogdoc/SmartFrogTutorial.html

Java 6 Documentation  http://download.oracle.com/javase/6/docs/api/index.html

The built in supplied Trac documentation Documentation

The ECDF Subversion and SourcEd documentation  https://www.wiki.ed.ac.uk/display/ecdfwiki/Version+Control+Service

Please contact h.herry@… for further information.

Attachments