A Timed Mobility Semantics based on Rewriting Strategies

  1. Lookup NU author(s)
  2. Professor Gabriel Ciobanu
  3. Professor Maciej Koutny
  4. Dr Jason Steggles
Author(s)Ciobanu G, Koutny M, Steggles J
Publication type Report
Series TitleSchool of Computing Science Technical Report Series
Source Publication DateJune 2012
Report Number1341
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.
InstitutionSchool of Computing Science, University of Newcastle upon Tyne
Place PublishedNewcastle upon Tyne
ActionsLink to this publication