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


Full text for this publication is not currently held within this repository. Alternative links are provided below where available.


We consider TiMo (Timed Mobility) which is a process algebra for prototyping softwareengineering 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 LJ

Editor(s): Eleftherakis, G; Hinchey, M; Holcombe, M;

Publication type: Conference Proceedings (inc. Abstract)

Publication status: Published

Conference Name: Software Engineering and Formal Methods: 10th International Conference, SEFM 2012

Year of Conference: 2012

Pages: 141-155

ISSN: 0302-9743

Publisher: Springer


DOI: 10.1007/978-3-642-33826-7_10

Library holdings: Search Newcastle University Library for this item

Series Title: Lecture Notes in Computer Science

ISBN: 9783642338250