Flavio Corradini

Learn More
The a process algebraic approach to software architecture design that we provide for you will be ultimate to give preference. This reading book is your chosen book to accompany you when in your free time, in your lonely. This kind of book can help you to heal the lonely and get or add the inspirations to be more inoperative. Yeah, book as the widow of the(More)
Software architecture specifications are predominantly concerned with describing the<lb>component structure of systems and how the components interact behaviorally. Little<lb>attention has been paid to formally relating those specifications to higher levels of speci-<lb>fication, such as the system requirements. In this paper we present our progress(More)
We studied zooplankton dynamics in a groundwater-fed, montane lake during four consecutive years and assessed the importance of water residence time for zooplankton dynamics. Crustacean abundance and biomass were significantly correlated with water residence time and temperature, but showed no significant correlation with phytoplankton biovolume. We(More)
A timed CCS-like process algebra PAFAS and a testing scenario are developed for evaluating the temporal worst-case efficiency of asynchronous concurrent systems. Each action is associated with a maximal time delay, which allows components to work with arbitrary relative speeds; for simplicity, the maximal delay is 1 or 0, but time is continuous. The(More)
We introduce the main concepts of a bio-inspired calculus for describing 3D shapes moving in a space. Each shape contains a timed CCS-like process specifying an internal behaviour based on shapedependent channels and splitting actions. Interactions among such entities, called 3D processes, are collision-driven, i.e. collisions are detected and resolved(More)
<lb>We present a bio-inspired calculus for describing 3D shapes moving in a space. A shape<lb>forms a 3D process when combined with a behaviour. Behaviours are specified with a timed<lb>CCS-like process algebra using a notion of channel that models naturally binding sites on the<lb>surface of shapes. Processes can represent molecules or other mobile(More)
The adoption of agent technologies and multi-agent systems constitutes an emerging area in bioinformatics. In this article, we report on the activity of the Working Group on Agents in Bioinformatics (BIOAGENTS) founded during the first AgentLink III Technical Forum meeting on the 2nd of July, 2004, in Rome. The meeting provided an opportunity for seeding(More)
The paper presents an approach for deriving test plans for the conformance testing of a system implementation with respect to the formal description of its Soft w are Architecture (SA). The SA describes a system in terms of its components and connections, therefore the derived test plans address the integration testing phase. We base our approach on a(More)
An in-silico experiment can be naturally specified as a workflow of activities implementing, in a standardized environment, the process of data and control analysis. A workflow has the advantage to be reproducible, traceable and compositional by reusing other workflows. In order to support the daily work of a bioscientist, several Workflow Management(More)