Browse by author
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.
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
