A LOTOS Based Tutorial on Formal Methods for Object Oriented Distributed Systems

Bowman, H. (1998) A LOTOS Based Tutorial on Formal Methods for Object Oriented Distributed Systems. New Generation Computing, 16 (4). pp. 343-372. ISSN 0288-3635 . (The full text of this publication is not available from this repository)

The full text of this publication is not available from this repository. (Contact us about this Publication)
Official URL
http://dx.doi.org/10.1007/BF03037429

Abstract

The majority of formal methods for distributed systems have their origins in the 1980's and were targeted at the early generations of distributed systems. However, modern distributed systems have new features not found in the early systems, e.g. they are object-oriented, have mobile components, are time sensitive and are constructed according to advanced system development architectures, e.g. viewpoints models. A major topic of current research is thus, how to enhance the existing formal techniques in order to support these new features. This paper gives a tutorial level review of this research area. We particularly focus on the process algebra LOTOS and consider how the technique can be reconciled with these new features.

Item Type: Article
Additional information: Invited Tutorial Paper
Uncontrolled keywords: LOTOS, OO, Distributed Systems Object-Oriented - Distributed Systems - Formal Specification - LOTOS - Open Distributed Processing
Subjects: Q Science > QA Mathematics (inc Computing science) > QA 76 Software, computer programming,
Divisions: Faculties > Science Technology and Medical Studies > School of Computing > Theoretical Computing Group
Faculties > Science Technology and Medical Studies > School of Computing > Systems Architecture Group
Depositing User: Mark Wheadon
Date Deposited: 22 Aug 2009 22:54
Last Modified: 20 Apr 2012 11:37
Resource URI: http://kar.kent.ac.uk/id/eprint/21621 (The current URI for this page, for reference purposes)
  • Depositors only (login required):