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. (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):
