Timed Operational Semantics and Well-Formedness of Shape Calculus
The Shape Calculus is 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 algebra using a notion of channel that models naturally binding sites on the surface of shapes....
Saved in:
| Main Authors: | , , , , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Alexandru Ioan Cuza University of Iasi
2010-12-01
|
| Series: | Scientific Annals of Computer Science |
| Online Access: | http://www.info.uaic.ro/bin/download/Annals/XX/XX_1.pdf |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1850264655973318656 |
|---|---|
| author | E. Bartocci D.R. Cacciagrano M.R. Di Berardini E. Merelli L. Tesei |
| author_facet | E. Bartocci D.R. Cacciagrano M.R. Di Berardini E. Merelli L. Tesei |
| author_sort | E. Bartocci |
| collection | DOAJ |
| description | The Shape Calculus is 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 algebra using a notion of channel that models naturally binding sites on the surface of shapes. In this paper, the full formal timed operational semantics of the calculus is provided, together with examples that illustrate the use of the calculus in a well-known biological scenario. Moreover, a result of well-formedness about the evolution of a given network of well-formed 3D processes is proved. |
| format | Article |
| id | doaj-art-efef543acee443f69734ce5ce361a4d4 |
| institution | OA Journals |
| issn | 1843-8121 2248-2695 |
| language | English |
| publishDate | 2010-12-01 |
| publisher | Alexandru Ioan Cuza University of Iasi |
| record_format | Article |
| series | Scientific Annals of Computer Science |
| spelling | doaj-art-efef543acee443f69734ce5ce361a4d42025-08-20T01:54:38ZengAlexandru Ioan Cuza University of IasiScientific Annals of Computer Science1843-81212248-26952010-12-01XX3352Timed Operational Semantics and Well-Formedness of Shape CalculusE. BartocciD.R. CacciagranoM.R. Di BerardiniE. MerelliL. TeseiThe Shape Calculus is 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 algebra using a notion of channel that models naturally binding sites on the surface of shapes. In this paper, the full formal timed operational semantics of the calculus is provided, together with examples that illustrate the use of the calculus in a well-known biological scenario. Moreover, a result of well-formedness about the evolution of a given network of well-formed 3D processes is proved.http://www.info.uaic.ro/bin/download/Annals/XX/XX_1.pdf |
| spellingShingle | E. Bartocci D.R. Cacciagrano M.R. Di Berardini E. Merelli L. Tesei Timed Operational Semantics and Well-Formedness of Shape Calculus Scientific Annals of Computer Science |
| title | Timed Operational Semantics and Well-Formedness of Shape Calculus |
| title_full | Timed Operational Semantics and Well-Formedness of Shape Calculus |
| title_fullStr | Timed Operational Semantics and Well-Formedness of Shape Calculus |
| title_full_unstemmed | Timed Operational Semantics and Well-Formedness of Shape Calculus |
| title_short | Timed Operational Semantics and Well-Formedness of Shape Calculus |
| title_sort | timed operational semantics and well formedness of shape calculus |
| url | http://www.info.uaic.ro/bin/download/Annals/XX/XX_1.pdf |
| work_keys_str_mv | AT ebartocci timedoperationalsemanticsandwellformednessofshapecalculus AT drcacciagrano timedoperationalsemanticsandwellformednessofshapecalculus AT mrdiberardini timedoperationalsemanticsandwellformednessofshapecalculus AT emerelli timedoperationalsemanticsandwellformednessofshapecalculus AT ltesei timedoperationalsemanticsandwellformednessofshapecalculus |