A Timed Mobility Semantics based on Rewriting Strategies
- Lookup NU author(s)
- Professor Gabriel Ciobanu
- Professor Maciej Koutny
- Dr Jason Steggles
|
|
|
|
| Author(s) | | Ciobanu G, Koutny M, Steggles J |
| Publication type | | Report |
| Series Title | | School of Computing Science Technical Report Series |
| Year | | 2012 |
| Date | | June 2012 |
| Report Number | | 1341 |
| Pages | | 21 |
|
|
|
| Full text is available for this publication: |
|
|
|
|
| We consider TiMo (Timed Mobility) which is a process algebra for prototyping software engineering applications supporting mobility and timing constraints. We provide an alternative semantics of TiMo using rewriting logic; in particular, we develop a rewriting logic model based on strategies to describe a maximal parallel computational step of a TiMo specification. This new semantical model is proved to be sound and complete w.r.t. to the original operational semantics which was based on negative premises. We implement the rewriting model within the strategy-based rewriting system Elan, and provide an example illustrating how a TiMo specification is executed and how a range of (behavioural) properties are analysed. |
|
|
|
| Institution | | School of Computing Science, University of Newcastle upon Tyne |
| Place Published | | Newcastle upon Tyne |
| Actions | |  |
