|
Accession Number
|
PB2012-112237
|
|
Title
|
Timed Mobility Semantics Based on Rewriting Strategies.
|
|
Publication Date
|
Jun 2012
|
|
Media Count
|
21p
|
|
Personal Author
|
G. Ciobanu J. Steggles M. Koutny
|
|
Abstract
|
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 analyzed.
|
|
Keywords
|
Foreign technology
Mobility
Process algebra
Rewriting logic
Semantics
Software engineering
Specifications
Strategies
Time
Timed mobility (TiMo)
|
|
|
Source Agency
|
University of Newcastle Department of Computing Science
|
|
NTIS Subject Category
|
62B - Computer Software
72B - Algebra, Analysis, Geometry, & Mathematical Logic
|
|
Corporate Author
|
Newcastle upon Tyne Univ. (England). Dept. of Computing Science.
|
|
Document Type
|
Technical report
|
|
Title Note
|
N/A
|
|
NTIS Issue Number
|
1222
|
|
Contract Number
|
N/A
|
