# Shape Calculus. A Spatial Mobile Calculus for 3D Shapes

@article{Bartocci2010ShapeCA, 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.}, year={2010}, volume={20}, pages={1-31} }

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Â

## Figures and Tables from this paper

## 31 Citations

A Geometrical Refinement of Shape Calculus Enabling Direct Simulation

- Computer ScienceSIMULTECH
- 2012

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

- MathematicsArXiv
- 2010

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

- Computer ScienceElectron. Notes Theor. Comput. Sci.
- 2012

Adapting rule-based model descriptions for simulating in continuous and hybrid space

- PhysicsCMSB
- 2011

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

- Mathematics, BiologySci. Ann. Comput. Sci.
- 2014

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.

BioScape: A Modeling and Simulation Language for Bacteria-Materials Interactions

- BiologyElectron. Notes Theor. Comput. Sci.
- 2013

Trading Computation Time for Synchronization Time in Spatial Distributed Simulation

- Computer Science2011 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

- Computer ScienceNatural Computing
- 2018

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

- Computer ScienceJ. Simulation
- 2012

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

- Computer Science
- 2010

It is proved that guided rewriting preserves regularity: for every regular language its closure under guided rewriting is regular too.

## References

SHOWING 1-10 OF 34 REFERENCES

Shape Calculus A spatial calculus for 3D colliding shapes

- Mathematics
- 2009

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

- Computer ScienceICTCS
- 2009

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.

BioShape: a spatial shape-based scale-independent simulation environment for biological systems

- Engineering, BiologyICCS
- 2010

A Spatial Extension to the Ï€ Calculus

- Biology
- 2007

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

- Biology
- 2008

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.

Brane Calculi

- Computer ScienceCMSB
- 2004

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

- Computer ScienceACRI
- 2010

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

- EngineeringCMSB
- 2004

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.