On the verification of architectural reconfigurations

In a reconfigurable system, the response to contextual or internal change may trigger reconfiguration events which, on their turn, activate scripts that change the system׳s architecture at runtime. To be safe, however, such reconfigurations are expected to obey the fundamental principles originally specified by its architect. This paper introduces an approach to ensure that such principles are observed along reconfigurations by verifying them against concrete specifications in a suitable logic. Architectures, reconfiguration scripts, and principles are specified in Archery, an architectural description language with formal semantics. Principles are encoded as constraints, which become formulas of a two-layer graded hybrid logic, where the upper layer restricts reconfigurations, and the lower layer constrains the resulting configurations. Constraints are verified by translating them into logic formulas, which are interpreted over models derived from Archery specifications of architectures and reconfigurations. Suitable notions of bisimulation and refinement, to which the architect may resort to compare configurations, are given, and their relationship with modal validity is discussed.

Polyethylene glycol 8000+ citrate salts aqueous two-phase systems: Relative hydrophobicity of the equilibrium phases

The Gibbs free energy of transfer of a methylene group, G*(CH2), is reported as a measure of the relative hydrophobicity of the equilibrium phases. Furthermore, G*(CH2) is a characteristic parameter of each tie-line, and for that reason can be used for comparing different tie-lines of a given aqueous two-phase system (ATPS) or even to establish comparisons among different ATPSs. In this work, the partition coefficients of a series of four dinitrophenylated-amino acids were experimentally determined, at 23 °C, in five different tie-lines of PEG8000(sodium or potassium) citrate ATPSs. G*(CH2) values were calculated from the partition coefficients and used to evaluate the relative hydrophobicity of the equilibrium phases. PEG8000potassium citrate ATPSs presented larger relative hydrophobicity than PEG8000sodium citrate ATPSs. Furthermore, the results obtained indicated that the PEG-rich phase (top phase) has higher affinity to participate in hydrophobic hydration interactions than the salt-rich phase (bottom phase).