scholar.google.com › citations
In this paper, we use a simple case study-the client-server system-to demonstrate how our formal framework ZCL can be used to specify and verify reconfigurable ...
In this paper, we use a simple case study - the client-server system - to demonstrate how our formal framework ZCL can be used to specify and verify.
We have developed the ZCL framework, which is a formal framework, specified in Z, to describe and reason about dynamic distributed software architectures.
Dec 6, 2011 · ) to specify component-based systems whose architectures can evolve (addition/removal of components/wires) at run-time. Our approach differs ...
The key to the approach is to use a uniform notation and semantic base for both reconfiguration and steady-state behavior, while at the same time providing ...
It uses the precondition and selection mechanisms to check if the current configuration has the required properties and to apply the reconfiguration commands ...
As an illustration of this trend, this paper reports on our experience with the co-design and specification of the reconfiguration protocol of a component-based ...
This paper introduces an approach to ensure that such principles are observed along reconfigurations by verifying them against concrete specifications in a ...
Specifying and Verifying Reconfigurable Software Architectures · Dynamic Software Architectures: Formally Modelling Structure and Behaviour with Pi-ADL.
People also ask
How do you determine software architecture?
What is the most appropriate definition of maintainability in software architecture?
This paper reports on the experience with the co-design and specification of the reconfiguration protocol of a component-based platform, intended as the ...