A language for behavioural modelling of architectural patterns

The complexity of interactions governing the coordination of loosely-coupled services, which forms the core of current software, brought behavioural issues up to the front of architectural concerns. This paper takes such a challenge seriously by lifting typical behaviour modelling techniques to the specification of both types and instances of architectural patterns in which the later ones are connected by ports that behave according to a water flow metaphor. A specific language is introduced for this purpose as well as a translator to mCRL2 so that the simulation and analysis techniques available in the corresponding toolset can be used to reason about (the behavioural layer of) software architectures. The approach is illustrated in a few examples(undefined

Verifying bigraphical models of architectural reconfigurations

ARCHERY is an architectural description language for modelling and reasoning about distributed, heterogeneous and dynamically reconfigurable systems. This paper proposes a structural semantics for ARCHERY, and a method for deriving labelled transition systems (LTS) in which states and transitions represent configurations and reconfiguration operations, respectively. Architectures are modelled by bigraphs and their dynamics by parametric reaction rules. The resulting LTSs can be regarded as Kripke frames, appropriate for verifying reconfiguration constraints over architectural patterns expressed in a modal logic. The derivation method proposed here applies Leifer's approach twice, and combines the results of each application to obtain a label representing a reconfiguration operation and its actual parameters. Labels obtained in this way are minimal and yield LTSs in which bisimulation is a congruence.FC

Analysing tactics in architectural patterns

We present an approach to analyse the application of tactics in architectural patterns. We define and illustrate the approach by resorting to Archery, a language for specifying, analysing and verifying architectural patterns. The approach consists of characterising the design principles of an architectural pattern as constraints, expressed in the language, and then, establishing a refinement relation based on their satisfaction. The application of tactics preserving refinement preserves the original design principles expressed themselves as constraints for the architectural pattern. The paper’s focus on fault-tolerance tactics, and identifies a set of requirements for a semantic framework characterising them. Model transformations to represent their application are discussed and illustrated through two case studies.FC

Estimulación del sistema mediado por interferón tipo I de lenguado senegalés (Solea senegalensis) en respuesta a infecciones por nodavirus

El lenguado senegalés es susceptible a la infección por el Virus de la Necrosis Nerviosa Viral (VNNV). Los betanodavirus se clasifican en cuatro genotipos, siendo los genotiposSJNNV, RGNNV y virus recombinantes RGNNV-SJNNV los que causan mortalidad en lenguado. En condiciones experimentales es el recombinante el que provoca mayor mortalidad. Las diferencias en la tasa de mortalidad pueden indicar variaciones en la interacción entre los distintos genotipos y el sistema inmune de lenguado. El sistema del interferón tipo I es un componente esencial de la respuesta inmune frente a infecciones virales, induciendo la expresión de genes que codifican proteínas antivíricas, tales como la Mx, la ISG15 y la PKR. El objetivo del presente trabajo ha sido cuantificar la transcripción de Mx, ISG15 y PKR en respuesta a infecciones por SJNNV, RGNNV y un recombinante RG-SJ.Universidad de Málaga. Campus de Excelencia Internacional Andalucía Tech