Architectural prototyping: from ccs to .net

Over the last decade, software architecture emerged as a critical issue in Software Engineering. This encompassed a shift from traditional programming towards software development based on the deployment and assembly of independent components. The specification of both the overall systems structure and the interaction patterns between their components became a major concern for the working developer. Although a number of formalisms to express behaviour and to supply the indispensable calculational power to reason about designs, are available, the task of deriving architectural designs on top of popular component platforms has remained largely informal. This paper introduces a systematic approach to derive, from CCS behavioural specifications the corresponding architectural skeletons in the Microsoft .Net framework, in the form of executable C and C# code. The prototyping process is fully supported by a specific tool developed in Haskell. Keywords: Software architecture; prototyping; CCS; Net framework, in the form of executable C# and Cω code. The prototyping process is fully supported by a specific tool developed in Haskell.Fundação para a Ciência e a Tecnologia (FCT

Palaeoclimatology and palaeohydrography of the glacial stages on Celtic and Armorican margins over the last 360 000 yrs

Core MD03-2692 was retrieved in a water-depth of 4064 m on the Celtic margin (Bay of Biscay) during the SEDICAR cruise onboard the RV Marion Dufresne II. It covers the last 360 ka in a total length of 39 m. Multidisciplinary analyses have been applied to this sequence with the aim of studying the palaeoclimatic and palaeoenvironmental signals of the last few climatic cycles. The analyses undertaken include: (1) non-destructive logging with: physical properties (magnetic susceptibility, sediment colour), X-ray radiography and measurement of the major elements by X-ray-fluorescence, (2) analyses of planktonic and benthic foraminifera, lithic grains and stable isotopic measurements (oxygen and carbon). We have focused on the long-term evolution of glacial stages (with special attention to terminations and Heinrich events). The results obtained confirm the close correlation between deep-sea sedimentation recorded on the Celtic margin and changes in the terrestrial environment of the adjacent continent. Heinrich layers have been identified in MIS 2, 3, 6 and 8. We note the occurrence of laminated facies within deglacial sequences deposited during Termination I and MIS 6. These facies are closely linked to disintegration phases of the British–Irish Ice Sheet (BIS). The laminations contain lower ice-rafted detritus (IRD) concentrations than the equivalent Heinrich layers and are linked to abrupt changes in sea-surface palaeotemperatures. We suggest that the laminations are formed by an annual cycle of meltwater and iceberg release from the disintegrating BIS generating cascading plumes of dense turbid meltwater coeval with IRD release

Direct characterization of circulating DNA in blood plasma using μLAS technology

Circulating cell-free DNA (cfDNA) is a powerful cancer biomarker for establishing targeted therapies or monitoring patients' treatment. However, current cfDNA characterization is severely limited by its low concentration, requiring the extensive use of amplification techniques. Here we report that the μLAS technology allows us to quantitatively characterize the size distribution of purified cfDNA in a few minutes, even when its concentration is as low as 1 pg/μL. Moreover, we show that DNA profiles can be directly measured in blood plasma with a minimal conditioning process to speed up considerably speed up the cfDNA analytical chain

Xcd - Modular, Realizable Software Architectures

Connector-Centric Design (Xcd) is centred around a new formal architectural description language, focusing mainly on complex connectors. Inspired by Wright and BIP, Xcd aims to cleanly separate in a modular manner the high-level functional, interaction, and control system behaviours. This can aid in both increasing the understandability of architectural specifications and the reusability of components and connectors themselves. Through the independent specification of control behaviours, Xcd allows designers to experiment more easily with different design decisions early on, without having to modify the functional behaviour specifications (components) or the interaction ones(connectors). At the same time Xcd attempts to ease the architectural specification by following (and extending) a Design-by-Contract approach, which is more familiar to software developers than process algebras like CSP or languages like BIP that are closer to synchronous/hardware specification languages. Xcd extends Design-by-Contract (i) by separating component contracts into functional and interaction sub-contracts, and (ii) by allowing service consumers to specify their own contractual clauses. Xcd connector specifications are completely decentralized, foregoing Wright’s connector glue, to ensure their realizability by construction

Separating Agent-Functioning and Inter-Agent Coordination by Activated Modules: The DECOMAS Architecture

The embedding of self-organizing inter-agent processes in distributed software applications enables the decentralized coordination system elements, solely based on concerted, localized interactions. The separation and encapsulation of the activities that are conceptually related to the coordination, is a crucial concern for systematic development practices in order to prepare the reuse and systematic integration of coordination processes in software systems. Here, we discuss a programming model that is based on the externalization of processes prescriptions and their embedding in Multi-Agent Systems (MAS). One fundamental design concern for a corresponding execution middleware is the minimal-invasive augmentation of the activities that affect coordination. This design challenge is approached by the activation of agent modules. Modules are converted to software elements that reason about and modify their host agent. We discuss and formalize this extension within the context of a generic coordination architecture and exemplify the proposed programming model with the decentralized management of (web) service infrastructures

Enhanced Graph Rewriting Systems for Complex Software Domain

International audienceMethodologies for correct by construction reconfigurations can efficiently solve consistency issues in dynamic software architecture. Graph-based models are appropriate for designing such architectures and methods. At the same time, they may be unfit to characterize a system from a non functional perspective. This stems from efficiency and applicability limitations in handling time-varying characteristics and their related dependencies. In order to lift these restrictions, an extension to graph rewriting systems is proposed herein. The suitability of this approach, as well as the restraints of currently available ones, are illustrated, analysed and experimentally evaluated with reference to a concrete example. This investigation demonstrates that the conceived solution can: (i) express any kind of algebraic dependencies between evolving requirements and properties; (ii) significantly ameliorate the efficiency and scalability of system modifications with respect to classic methodologies; (iii) provide an efficient access to attribute values; (iv) be fruitfully exploited in software management systems; (v) guarantee theoretical properties of a grammar, like its termination

Model Fusion for the Compatibility Verification of Software Components

Similarly as in earlier work on component compatibility, the behavior of components is specified by component interface languages, defined by labeled Petri nets. In the case of composition of concurrent components, the requests from different components can be interleaved, and - as shown earlier - such interleaving can result in deadlocks in the composed system even if each pair of interacting components is deadlock–free. Therefore the elements of a component–based system are considered compatible only if the composition is deadlock–free. This paper formally defines model fusion, which is a composition of net models of individual components that represents the interleaving of interface languages of interacting components. It also shows that the verification of component compatibility can avoid the exhaustive analysis of the composed state space

Simulation for training in sinus floor elevation : new surgical bench model

Objectives: to describe a bench model (workshop of abilities) for sinus floor elevation (SFE) training that simulates the surgical environment and to assess its effectiveness in terms of trainees? perception. Study design: thirty-six randomly selected postgraduate students entered this cross-sectional pilot study and asked to fill in an anonymous, self-applied, 12-item questionnaire about a SFE workshop that included a study guide containing the workshop?s details, supervised practice on a simulated surgical environment, and assessment by means of specific check-lists. Results: Thirtiy-six fresh sheep heads were prepared to allow access to the buccal vestible. Using the facial tuber, third premolar and a 3D-CT study as landmarks for trepanation, the sinus membrane was lifted, the space filled with ceramic material and closed with a resorbable membrane. The participants agreed on their ability to perform SFE in a simulated situation (median score= 4.5; range 2-5) and felt capable to teach the technique to other clinicians or to undertake the procedure for a patient under supervision of an expert surgeon (median= 4; range 1-5 ). There were no differences on their perceived ability to undertake the technique on a model or on a real patient under supervision of an expert surgeon (p=0.36). Conclusions: Clinical abilities workshops for SFE teaching are an essential educational tool but supervised clinical practice should always precede autonomous SFE on real patients. Simulation procedures (workshop of abilities) are perceived by the partakers as useful for the surgical practice. However, more studies are needed to validate the procedure and to address cognitive and communication skills, that are clearly integral parts of surgical performance

Sport, War and Democracy in Classical Athens

This article concerns the paradox of athletics in classical Athens. Democracy may have opened up politics to every class of Athenian but it had little impact on sporting participation. The city’s athletes continued to drawn predominantly from the upper class. It comes as a surprise then that lower-class Athenians actually esteemed athletes above every other group in the public eye, honoured them very generously when they won, and directed a great deal of public and private money to sporting competitions and facilities. In addition athletics escaped the otherwise persistent criticism of upper-class activities in the popular culture of the democracy. The research of social scientists on sport and aggression suggests this paradox may have been due to the cultural overlap between athletics and war under the Athenian democracy. The article concludes that the practical and ideological democratization of war by classical Athens legitimized and supported upper-class sport

Software Architecture and Dependability

International audienceDependable systems are characterized by a number of attributes including: reliability, availability, safety and security. For some attributes (namely for reliability, availability, safety), there exist probability- based theoretic foundations, enabling the application of dependability analysis techniques. The goal of dependability analysis is to forecast the values of dependability attributes, based on certain properties (e.g. failure rate, MTBF, etc.) that characterize the system's constituent elements. Nowadays, architects, designers and developers build systems based on an architecture-driven approach. They specify the system's software architecture using Architecture Description Languages or other standard modeling notations like UML. Given the previous, we examine what we need to specify at the architectural level to enable the automated generation of models for dependability analysis. In this paper, we further present a prototype implementation of the proposed approach, which relies on UML specifications of dependable systems' software architectures. Moreover, we exemplify our approach using a case study system