© University of Kent - Contact | Feedback | Legal
The University of Kent, Canterbury, Kent, CT2 7NZ, T +44 (0)1227 764000
Viewpoints modelling
H. Bowman and J. Derrick
In H. Bowman and J. Derrick, editors, Formal Methods for Distributed Processing, A Survey of Object-oriented Approaches, pages 451-475. Cambridge University Press, Cambridge, UK, September 2001.Abstract
This final chapter of the book, discusses the theme of architecture by looking at an ODP viewpoints modelling case study. The purpose of the case study is to illustrate viewpoints and show how formal methods can be used in modelling and analysing them. In doing so we illustrate how different languages can be used in different viewpoints and introduce cross-viewpoint consistency and its checking.
Bibtex Record
@incollection{1303,
author = {H. Bowman and J. Derrick},
title = {Viewpoints Modelling},
month = {September},
year = {2001},
pages = {451-475},
keywords = {Formal Methods, Viewpoints},
note = {},
doi = {},
url = {http://www.cs.kent.ac.uk/pubs/2001/1303},
publication_type = {incollection},
submission_id = {29225_1003502815},
ISBN = {0-521-77184-6},
booktitle = {Formal Methods for Distributed Processing, A Survey of Object-oriented Approaches},
publisher = {Cambridge University Press},
editor = {H. Bowman and J. Derrick},
address = {Cambridge, UK},
}