Toggle Main Menu Toggle Search

Open Access padlockePrints

A Timed Mobility Semantics based on Rewriting Strategies

Lookup NU author(s): Professor Gabriel Ciobanu, Professor Maciej KoutnyORCiD, Dr Jason Steggles



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.

Publication metadata

Author(s): Ciobanu G, Koutny M, Steggles J

Publication type: Report

Publication status: Published

Series Title: School of Computing Science Technical Report Series

Year: 2012

Pages: 21

Print publication date: 01/06/2012

Source Publication Date: June 2012

Report Number: 1341

Institution: School of Computing Science, University of Newcastle upon Tyne

Place Published: Newcastle upon Tyne