The Shape Calculus is a bio-inspired timed and spatial calculus for describing 3D geometrical shapes moving in a space. Its purpose is twofold: i) modelling and formally verifying (not only) biological systems, and ii) simulating the models for validation and hypothesis testing. The original geometric primitives of the calculus are highly abstract: the associated simulator needs to attach a lot of code to the model specification in order to perform an effective simulation. In this work we propose a calculus refinement in which a detailed 3D characterization of the geometric primitives is injected into the syntax of the calculus. In this way, models written with the new syntax can be directly simulated.

A Geometrical Refinement of Shape Calculus Enabling Direct Simulation

BUTI, Federico;CORRADINI, Flavio;MERELLI, Emanuela;TESEI, Luca
2012-01-01

Abstract

The Shape Calculus is a bio-inspired timed and spatial calculus for describing 3D geometrical shapes moving in a space. Its purpose is twofold: i) modelling and formally verifying (not only) biological systems, and ii) simulating the models for validation and hypothesis testing. The original geometric primitives of the calculus are highly abstract: the associated simulator needs to attach a lot of code to the model specification in order to perform an effective simulation. In this work we propose a calculus refinement in which a detailed 3D characterization of the geometric primitives is injected into the syntax of the calculus. In this way, models written with the new syntax can be directly simulated.
2012
9789898565204
273
File in questo prodotto:
Non ci sono file associati a questo prodotto.

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11581/250159
 Attenzione

Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte dell'ateneo

Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 1
  • ???jsp.display-item.citation.isi??? ND
social impact