School of Computing

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 182-196. Cambridge University Press, Cambridge, UK, September 2001.


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

author = {H. Bowman and J. Derrick},
title = {Viewpoints Modelling},
month = {September},
year = {2001},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {},
doi = {},
url = {},
    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},

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

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

Last Updated: 21/03/2014