Reuse and integration of specification logics: the hybridisation perspective

Hybridisation is a systematic process along which the characteristic features of hybrid logic, both at the syntactic and the semantic levels, are developed on top of an arbitrary logic framed as an institution. It also captures the construction of first-order encodings of such hybridised institutions into theories in first-order logic. The method was originally developed to build suitable logics for the specification of reconfigurable software systems on top of whatever logic is used to describe local requirements of each system’s configuration. Hybridisation has, however, a broader scope, providing a fresh example of yet another development in combining and reusing logics driven by a problem from Computer Science. This paper offers an overview of this method, proposes some new extensions, namely the introduction of full quantification leading to the specification of dynamic modalities, and exemplifies its potential through a didactical application. It is discussed how hybridisation can be successfully used in a formal specification course in which students progress from equational to hybrid specifications in a uniform setting, integrating paradigms, combining data and behaviour, and dealing appropriately with systems evolution and reconfiguration.

Formação e supervisão das práticas clínicas : uma abordagem ecológica

Nos últimos anos, um conjunto de mudanças de natureza tecnológica institucional, legal e cultural alteraram as funções, a responsabilidade social e a estrutura das organizações de saúde. Estas transformações estão na base do debate actual sobre supervisão clínica em enfermagem enquanto estratégia de promoção da satisfação profissional, segurança e qualidade dos cuidados. A emergência da supervisão clínica em enfermagem permitiu interrogar e dar visibilidade a novas modalidades de formação no contexto de trabalho. A supervisão clínica é um processo multidimensional que inclui encontros regulares entre supervisores e supervisados, com o objectivo de analisar experiências de trabalho e de formação. Dedica-se especial atenção às dimensões emocionais, qualidade de cuidados, relação terapêutica e desenvolvimento pessoal e profissional. A presente pesquisa assume a forma de um estudo de caso realizado num hospital psiquiátrico (Hospital Magalhães Lemos). O objectivo principal do estudo consistiu em compreender o processo amplo e complexo de aprendizagens desenvolvidas em contexto clínico e a forma como estas condicionam as estratégias supervisivas. Recorrendo ao modelo bioecológico de Bronfenbrenner, o estudo interroga de forma sistemática a origem e as relações entre formação e supervisão. Os participantes do estudo foram 18 enfermeiros do referido hospital. Contamos, igualmente, com a colaboração de três peritos com profundo conhecimento da cultura e realidade hospitalar. A informação foi colhida com base em questionários e entrevistas semiestruturadas. O questionário (Clinical Supervision Nursing Inventory – CSNI - V1) inclui três partes. A parte I e II foram relevantes para caracterizar os participantes e o contexto clínico. A parte III do instrumento inclui um inventário com 24 itens. O Alfa de Cronbach calculado pelo autor foi de 0,93 para os 24 itens da escala, indicando excelentes resultados psicométricos. A entrevista semi-estruturada foi usada para a recolha de dados junto dos três peritos. Os enfermeiros possuem uma atitude positiva perante a supervisão clínica. O desenvolvimento pessoal e profissional dos enfermeiros estava relacionado com as oportunidades de formação emergentes no contexto das práticas. Embora a expressão “supervisão clínica” seja por vezes utilizada de forma incorrecta nas organizações, concluímos que existiam no hospital boas práticas a nível da supervisão dos cuidados, relacionando desenvolvimento pessoal, qualidade de cuidados e competências profissionais. Tentámos problematizar as experiências supervisivas partindo de teorias sócio-culturais e bio-ecológicas. Os participantes do estudo referiram que há necessidade de formalizar o sistema de supervisão clínica em enfermagem, evitando relacionálo com o sistema de supervisão de gestão. São apresentados e discutidos diversos subsídios para o desenvolvimento do sistema de supervisão clínica em enfermagem, no hospital.