Lookup NU author(s): Dr Alexei Iliasov,
Professor Alexander Romanovsky,
Dr Leonardus Arief,
Dr Elena Troubitsyna
Full text for this publication is not currently held within this repository. Alternative links are provided below where available.
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.
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
Library holdings: Search Newcastle University Library for this item