Temporal logic for real time systems
Temporal logic for real time systems
The temporal logic of reactive and concurrent systems
The temporal logic of reactive and concurrent systems
Institutions: abstract model theory for specification and programming
Journal of the ACM (JACM)
IEEE Transactions on Software Engineering - Special issue on software architecture
Temporal verification of reactive systems: safety
Temporal verification of reactive systems: safety
ADLs and dynamic architecture changes
ISAW '96 Joint proceedings of the second international software architecture workshop (ISAW-2) and international workshop on multiple perspectives in software development (Viewpoints '96) on SIGSOFT '96 workshops
Formalizing architectural connection
ICSE '94 Proceedings of the 16th international conference on Software engineering
A framework for classifying and comparing architecture description languages
ESEC '97/FSE-5 Proceedings of the 6th European SOFTWARE ENGINEERING conference held jointly with the 5th ACM SIGSOFT international symposium on Foundations of software engineering
Verifying Temporal Properties of Reactive Systems: A STeP Tutorial
Formal Methods in System Design
A graph based architectural (Re)configuration language
Proceedings of the 8th European software engineering conference held jointly with 9th ACM SIGSOFT international symposium on Foundations of software engineering
Acme: an architecture description interchange language
CASCON '97 Proceedings of the 1997 conference of the Centre for Advanced Studies on Collaborative research
A refinement calculus for software components and architectures
Proceedings of the 10th European software engineering conference held jointly with 13th ACM SIGSOFT international symposium on Foundations of software engineering
Hierarchical Temporal Specifications of Dynamically Reconfigurable Component Based Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
Adaptation of open component-based systems
FMOODS'07 Proceedings of the 9th IFIP WG 6.1 international conference on Formal methods for open object-based distributed systems
Design in CommUnity with extension morphisms
Formal methods and hybrid real-time systems
A Formal Framework for Structural Reconfiguration of Components under Behavioural Adaptation
Electronic Notes in Theoretical Computer Science (ENTCS)
Synchronous control of reconfiguration in fractal component-based systems: a case study
EMSOFT '11 Proceedings of the ninth ACM international conference on Embedded software
Structural reconfiguration of systems under behavioral adaptation
Science of Computer Programming
| Hi-index | 0.00 |
We present a logic and a prototypical specification language for specifying and reasoning about component-based systems with support for dynamic, i.e., run-time, architectural reconfiguration.We present the logic, an adaptation of an existing one proposed for specifying reactive systems, and some results that demonstrate its suitability for the specification of reconfigurable systems. We then explicate how the specification language can be used to specify a reconfigurable (sub)system via layers defining component templates, association/connector templates and a layer specifying reconfiguration operations used to dynamically change the system architecture. We also illustrate the expressive power and proof capabilities of the logic.