Skip to main content
Kent Academic Repository

A framework for open distributed system design

Iliasov, Alexei, Romanovsky, Alexander, Arief, Budi, Laibinis, Linas, Troubitsyna, Elena (2007) A framework for open distributed system design. In: International Computer Software and Applications Conference. 2. pp. 658-668. ISBN 978-0-7695-2870-0. (doi:10.1109/COMPSAC.2007.23) (KAR id:58693)

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.

Item Type: Conference or workshop item (Proceeding)
DOI/Identification number: 10.1109/COMPSAC.2007.23
Uncontrolled keywords: Abstracting, Software design, Synchronization, Systems analysis, Design abstractions, Distributed system design, Distributed computer systems
Subjects: Q Science
Divisions: Divisions > Division of Computing, Engineering and Mathematical Sciences > School of Computing
Depositing User: Budi Arief
Date Deposited: 17 Nov 2016 11:00 UTC
Last Modified: 16 Nov 2021 10:23 UTC
Resource URI: https://kar.kent.ac.uk/id/eprint/58693 (The current URI for this page, for reference purposes)

University of Kent Author Information

  • Depositors only (login required):

Total unique views for this document in KAR since July 2020. For more details click on the image.