School of Computing

A lotos based tutorial on formal methods for object oriented distributed systems

Howard Bowman

New Generation Computing, 16(4):182-196, August 1998 Invited Tutorial Paper.

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.



Bibtex Record

@article{595,
author = {Howard Bowman},
title = {A LOTOS Based Tutorial on Formal Methods for Object Oriented Distributed Systems},
month = {August},
year = {1998},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {Invited Tutorial Paper},
doi = {},
url = {http://www.cs.kent.ac.uk/pubs/1998/595},
    journal = {New Generation Computing},
    number = {4},
    publisher = {Springer-Verlag},
    volume = {16},
}

School of Computing, University of Kent, Canterbury, Kent, CT2 7NF

Enquiries: +44 (0)1227 824180 or contact us.

Last Updated: 21/03/2014