Toggle Main Menu Toggle Search

ePrints

Modelling and Verification of Timed Interaction and Migration

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

Downloads

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


Abstract

We present a process algebra where timeouts of interactions and adaptable migrations in a distributed environment with explicit locations can be defined. Timing constraints allow to control the interaction (communication) between co-located mobile processes, and a migration action with variable destination supports flexible movement from one location to another. We define an operational semantics, and outline a structural translation of the proposed process algebra into operationally equivalent finite high level timed Petri nets. The purpose of such a translation is twofold. First, it yields a formal semantics for timed interaction and migration which is both compositional and allows to deal directly with concurrency and causality. Second, it should facilitate the use of simulation and verification tools developed within the area of Petri nets.


Publication metadata

Author(s): Ciobanu G, Koutny M

Editor(s): Fiadeiro, J.L., Inverardi, P.

Publication type: Conference Proceedings (inc. Abstract)

Publication status: Published

Conference Name: Fundamental Approaches to Software Engineering: 11th International Conference (FASE). Held as Part of the Joint European Conferences on Theory and Practice of Software (ETAPS)

Year of Conference: 2008

Pages: 215-229

ISSN: 0302-9743 (Print) 1611-3349 (Online)

Publisher: Springer- Verlag

URL: http://dx.doi.org/10.1007/978-3-540-78743-3_16

DOI: 10.1007/978-3-540-78743-3_16

Library holdings: Search Newcastle University Library for this item

Series Title: Lecture Notes in Computer Science

ISBN: 9783540787426


Actions

Link to this publication


Share