The B-book: assigning programs to meanings
The B-book: assigning programs to meanings
IEEE Transactions on Software Engineering
COM revisited: tool-assisted modelling of an architectural framework
SIGSOFT '00/FSE-8 Proceedings of the 8th ACM SIGSOFT international symposium on Foundations of software engineering: twenty-first century applications
On the criteria to be used in decomposing systems into modules
Communications of the ACM
Alloy: a lightweight object modelling notation
ACM Transactions on Software Engineering and Methodology (TOSEM)
Types and programming languages
Types and programming languages
Component Software: Beyond Object-Oriented Programming
Component Software: Beyond Object-Oriented Programming
Making Components Contract Aware
Computer
Think: A Software Framework for Component-based Operating System Kernels
ATEC '02 Proceedings of the General Track of the annual conference on USENIX Annual Technical Conference
The grand challenge of Trusted Components
Proceedings of the 25th International Conference on Software Engineering
An Open Framework for Dynamic Reconfiguration
Proceedings of the 26th International Conference on Software Engineering
Computer
DREAM: a component framework for the construction of resource-aware, reconfigurable MOMs
ARM '04 Proceedings of the 3rd workshop on Adaptive and reflective middleware
A survey of self-management in dynamic software architecture specifications
WOSS '04 Proceedings of the 1st ACM SIGSOFT workshop on Self-managed systems
Analyzing architectural styles with alloy
Proceedings of the ISSTA 2006 workshop on Role of software architecture for testing and analysis
Software—Practice & Experience
Mathematical Frameworks for Component Software: Models for Analysis and Synthesis (Series on Component-Based Software Development)
Supporting Heterogeneous Architecture Descriptions in an Extensible Toolset
ICSE '07 Proceedings of the 29th international conference on Software Engineering
How to verify and exploit a refinement of component-based systems
PSI'06 Proceedings of the 6th international Andrei Ershov memorial conference on Perspectives of systems informatics
Enhancing dependability of component-based systems
Ada-Europe'07 Proceedings of the 12th international conference on Reliable software technologies
Zenon: an extensible automated theorem prover producing checkable proofs
LPAR'07 Proceedings of the 14th international conference on Logic for programming, artificial intelligence and reasoning
The kell calculus: a family of higher-order distributed process calculi
GC'04 Proceedings of the 2004 IST/FET international conference on Global Computing
Incremental software construction with refinement diagrams
AMAST'06 Proceedings of the 11th international conference on Algebraic Methodology and Software Technology
| Hi-index | 0.00 |
Self-adapting software adapts its behavior in an autonomic way, by dynamically adding, suppressing and recomposing components, and by the use of computational reflection. One way to enforce software robustness while adding adaptative behavior is disposing of a formal support allowing these programs to be modeled, and their properties specified and verified. We propose FracL, a formal framework for specifying and reasoning about dynamic reconfiguration programs written in a Fractal-like programming style. FracL is founded on first-order logic, and allows the specification and proof of properties concerning both functional concerns and control concerns. Its encoding using the Focal proof framework, enable us to prove FracL soundness and to obtain a mechanized framework for reasoning on concrete architectures.