Skip to main content

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)

PDF - Author's Accepted Manuscript
Download (313kB) Preview
[img]
Preview
Official URL
http://dx.doi.org/10.1109/COMPSAC.2007.23

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: Faculties > Sciences > School of Computing
Depositing User: Budi Arief
Date Deposited: 17 Nov 2016 11:00 UTC
Last Modified: 01 Aug 2019 10:41 UTC
Resource URI: https://kar.kent.ac.uk/id/eprint/58693 (The current URI for this page, for reference purposes)
Arief, Budi: https://orcid.org/0000-0002-1830-1587
  • Depositors only (login required):

Downloads

Downloads per month over past year