Towards an engine for coordination-based architectural reconfigurations

Software reconfigurability became increasingly relevant to the architectural process due to the crescent dependency of modern societies on reliable and adaptable systems. Such systems are supposed to adapt themselves to surrounding environmental changes with minimal service disruption, if any. This paper introduces an engine that statically applies reconfigurations to (formal) models of software architectures. Reconfigurations are specified using a domain specific language— ReCooPLa—which targets the manipulation of software coordinationstructures,typicallyusedinservice-orientedarchitectures(soa).Theengine is responsible for the compilation of ReCooPLa instances and their application to the relevant coordination structures. The resulting configurations are amenable to formal analysis of qualitative and quantitative (probabilistic) properties.

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.

Da luta contra o crime aos riscos. As consequências extra prisionais da reclusão feminina

Entre o leque de políticas penais atualmente disponíveis e legitimadas na contenção da criminalidade, a reclusão constitui a forma predominante para sancionar transgressores. Procurando alargar o debate sobre as penas de prisão, este artigo explora, através de entrevistas com 20 mulheres reclusas, os processos de reconfiguração e reestruturação das responsabilidades femininas na decorrência da reclusão de mulheres e analisa as implicações socioeconómicas da ausência feminina nos agregados domésticos. Os resultados evidenciam que a reclusão de mulheres desencadeia ou agrava posições de vulnerabilidade social e instabilidade económica, afetando sobretudo crianças, mulheres e idosos.

"Quando sair, só quero trabalhar como aqui": perspetivas em torno da Reinserção Social das mulheres ciganas no pós-reclusão

Dissertação de mestrado em Crime, Diferença e Desigualdade