Toggle Main Menu Toggle Search

ePrints

A Timed Mobility Semantics Based on Rewriting Strategies

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

Downloads

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


Abstract

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

URL: http://dx.doi.org/10.1007/978-3-642-33826-7_10

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


Actions

Link to this publication


Share