Abstract
Existing theories of mobile and concurrency calculi for dynamic software architecture can not provide powerful support for evolutionary properties of self-adaptive software.Under this circumstance,Bigraph is based on a graphical model of mobile computation that emphasizes both locality and connectivity and has a complete and extensible theory framework.Therefore,Bigraph can provide a sound concept and intuitive,pervasive expression for self-adaptive software architecture.This paper introduces Bigraphical theory and current research,describes self-adaptive software architecture formally,analyzes and verifies some properties of dynamic evolution,and then discusses some promising directions of formal self-adaptive software architecture.
Sign-in/Register to access full text options 
Free) 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a call
