Toggle Main Menu Toggle Search

Open Access padlockePrints

A framework for open distributed system design

Lookup NU author(s): Dr Alexei Iliasov, Professor Alexander Romanovsky, Dr Leonardus Arief, Dr Elena Troubitsyna

Downloads

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


Abstract

Building open distributed systems is an even more challenging task than building distributed systems, as their components are loosely synchronised, can move, become disconnected, and their behaviour may depend on the changing context. The approach we are putting forward relies on using a combination of formal methods applied for rigorous development of the critical parts of the system and a set of design abstractions proposed specifically for the open context-aware applications and supported by a special middleware. Our middleware provides system structuring through the concepts of roles, agents, locations and scopes, making it easier for application developers to achieve fault tolerance. We demonstrate our approach using a case study, in which we show the whole process of developing an ambient campus application - an example of open distributed systems - including its formal specification, refinement, and implementation. © 2007 IEEE.


Publication metadata

Author(s): Iliasov A, Romanovsky A, Arief B, Laibinis L, Troubitsyna E

Publication type: Conference Proceedings (inc. Abstract)

Publication status: Published

Conference Name: COMPSAC: International Computer Software and Applications Conference

Year of Conference: 2007

Pages: 658-674

Publisher: IEEE

URL: http://dx.doi.org/10.1109/COMPSAC.2007.23

DOI: 10.1109/COMPSAC.2007.23

Library holdings: Search Newcastle University Library for this item

ISBN: 9780769528700


Actions

Find at Newcastle University icon    Link to this publication


Share