• Corpus ID: 7974779

Shape Calculus. A Spatial Mobile Calculus for 3D Shapes

  title={Shape Calculus. A Spatial Mobile Calculus for 3D Shapes},
  author={Ezio Bartocci and Fl{\'a}vio Corradini and Maria Rita Di Berardini and Emanuela Merelli and Luca Tesei},
  journal={Sci. Ann. Comput. Sci.},
We present a bio-inspired calculus for describing 3D shapes moving in a space. A shape forms a 3D process when combined with a behaviour. Behaviours are speci ed with a timed CCS-like process algebra using a notion of channel to naturally model binding sites on the surface of shapes. The calculus embeds collision detection and response, binding of compatible 3D processes and split of composed 3D 
A Geometrical Refinement of Shape Calculus Enabling Direct Simulation
This work proposes a calculus refinement in which a detailed 3D characterization of the geometric primitives is injected into the syntax of the calculus, and models written with the new syntax can be directly simulated.
Shape Calculus: Timed Operational Semantics and Well-formedness
In this work the full formal timed operational semantics of the calculus is provided, together with examples that illustrate the use ofThe Shape Calculus in a well-known biological scenario and a result of well-formedness about the evolution of a given network ofwell-formed 3D processes is proved.
Towards Abstraction-Based Verification of Shape Calculus
Adapting rule-based model descriptions for simulating in continuous and hybrid space
An attributed, multi-level, rule-based language, ML-Space, is presented that allows to integrate different types of spatial dynamics within one model, and a associated simulator combines Gillespie's method, the Next Subvolume method, and Brownian dynamics.
A Flat Process Calculus for Nested Membrane Interactions
This work provides a natural encoding of Cardelli's Brane calculus, a compartment-based calculus, introduced to model the behaviour of nested membranes, and gives evidence that the link-calculus allows one to directly model biological phenomena at the more appropriate level of abstraction.
Trading Computation Time for Synchronization Time in Spatial Distributed Simulation
  • R. Zunino
  • Computer Science
    2011 IEEE Workshop on Principles of Advanced and Distributed Simulation
  • 2011
This work considers a class of models describing generic agents which are able to travel in space, can sense the surrounding environment, and can react accordingly, and defines a simple centralized simulation algorithm to develop a distributed algorithm producing the same output.
Process calculi for biological processes
A specific computational approach to systems biology, based on the so-called process calculi, a formalism for describing concurrent systems, is surveyed, and some suggestions on the most suitable frameworks for dealing with specific cases of interest are derived.
On computation and synchronization costs in spatial distributed simulation
This work considers the problem of simulating spatially distributed entities which can move, see each other, and react accordingly, and discovers a trade-off in the amount of overlapping, which affects the overall performance in a non-trivial way.
Fourth Workshop on Membrane Computing and Biologically Inspired Process Calculi
It is proved that guided rewriting preserves regularity: for every regular language its closure under guided rewriting is regular too.


Shape Calculus A spatial calculus for 3D colliding shapes
We present a bio-inspired calculus for describing 3D shapes moving in a space. A shape forms a 3D process when combined with a behaviour. Behaviours are specified with a timed CCS-like process
A Shape Calculus for Biological Processes
It is discussed how the features of the calculus can be used to model biological processes, for instance biochemical reactions, in order to describe 3D shapes moving in a space.
A Spatial Extension to the π Calculus
The operational semantics of SpacePi defines the interplay between movement, communication, and time-triggered events in the modeling of molecular biological processes like diffusion, active transportation in cell signaling, and spatial structures.
A spatial model and simulator for metabolic pathways
A model for describing a portion of cytoplasm with components involved in metabolic pathways, each enzyme, metabolite and complex is represented by an autonomous software agent, according to MichaelisMenten kinetics.
Bone Remodelling in BioShape
Brane Calculi
This work introduces a family of process calculi with dynamic nested membranes that are tightly coupled to membranes, and can perform interactions on both sides of a membrane.
Bone Remodelling: A Complex Automata-Based Model Running in BioShape
This work exploits the Complex Automata paradigm and the BioShape 3D spatial simulator for describing the bone remodelling process in terms of a 2-scale aggregation of uniform Cellular Automata coupled by a well-established composition pattern and proposes a model suitable for handling different scales in a uniform way.
Beta Binders for Biological Interactions
Binders and operators are added to wrap a process just as membranes enclose some living matter and hence to mimick biological interfaces to describe the dynamics of those interfaces.