Dynamic structure in software architectures
SIGSOFT '96 Proceedings of the 4th ACM SIGSOFT symposium on Foundations of software engineering
Using object-oriented typing to support architectural design in the C2 style
SIGSOFT '96 Proceedings of the 4th ACM SIGSOFT symposium on Foundations of software engineering
AAAI '99/IAAI '99 Proceedings of the sixteenth national conference on Artificial intelligence and the eleventh Innovative applications of artificial intelligence conference innovative applications of artificial intelligence
A Classification and Comparison Framework for Software Architecture Description Languages
IEEE Transactions on Software Engineering
Survivable Network System Analysis: A Case Study
IEEE Software
Specifying Distributed Software Architectures
Proceedings of the 5th European Software Engineering Conference
Toward agent programs with circuit semantics
Toward agent programs with circuit semantics
An Artificial Intelligence Perspective on Autonomic Computing Policies
POLICY '04 Proceedings of the Fifth IEEE International Workshop on Policies for Distributed Systems and Networks
Basic Concepts and Taxonomy of Dependable and Secure Computing
IEEE Transactions on Dependable and Secure Computing
Validated Designs For Object-oriented Systems
Validated Designs For Object-oriented Systems
Moving architectural description from under the technology lamppost
Information and Software Technology
A metadata-based architectural model for dynamically resilient systems
Proceedings of the 2007 ACM symposium on Applied computing
Reasoning about programs via operational semantics: requirements for a support system
Automated Software Engineering
Proceedings of the 2008 RISE/EFTS Joint International Workshop on Software Engineering for Resilient Systems
Towards reasoning about teleo-reactive programs for robust real-time systems
Proceedings of the 2008 RISE/EFTS Joint International Workshop on Software Engineering for Resilient Systems
From Teleo-Reactive specifications to architectural components: A model-driven approach
Journal of Systems and Software
Hi-index | 0.00 |
Component-based systems with the ability to alter their configuration at runtime are becoming increasingly attractive to large organisations. However, for such systems to be trustworthy, the system user must be able to be confident that any dynamic reconfiguration takes place in a predictable manner. We present the foundations for a reconfiguration policy language (RPL), to govern reconfigurations of component-based systems, based on a teleo-reactive (T-R) language. We will provide a structural operational semantic definition for the T-R language and describe how we aim to use this framework to create the policy language.