A survey of self-management in dynamic software architecture specifications
WOSS '04 Proceedings of the 1st ACM SIGSOFT workshop on Self-managed systems
Using Aspects for Enforcing Formal Architectural Invariants
Electronic Notes in Theoretical Computer Science (ENTCS)
Towards dynamic population management of abstract machines in the B method
ZB'03 Proceedings of the 3rd international conference on Formal specification and development in Z and B
Combining formal methods and aspects for specifying and enforcing architectural invariants
COORDINATION'07 Proceedings of the 9th international conference on Coordination models and languages
Design in CommUnity with extension morphisms
Formal methods and hybrid real-time systems
RETRACTED: Specification and verification of dynamic evolution of software architectures
Journal of Systems Architecture: the EUROMICRO Journal
ICICA'10 Proceedings of the First international conference on Information computing and applications
Combining Proof and Model-checking to Validate Reconfigurable Architectures
Electronic Notes in Theoretical Computer Science (ENTCS)
Specifying self-configurable component-based systems with fractoy
ABZ'10 Proceedings of the Second international conference on Abstract State Machines, Alloy, B and Z
Using temporal logic for dynamic reconfigurations of components
FACS'10 Proceedings of the 7th international conference on Formal Aspects of Component Software
Dynamic software architectures: formal specification and verification with CSP
Proceedings of the Fourth Asia-Pacific Symposium on Internetware
| Hi-index | 0.00 |
We propose a formal specification language for dynamically reconfigurable component-based systems, based on temporal logic. The main aim of the language is to al-lowone to specify behaviours of component-based systems declaratively, with special emphasis on behaviours in which the architectural structure of the system changes dynamically.Due to the semantics and organisation of our language, it is straightforward to hierarchically build reconfigurable systems in terms of subsystems and basic component parts,and reason about them within the language. Despite its expressive power, the language is rather simple.