School of Computing

Integration of specifications through development relations

Eerke Boiten and John Derrick

In H. Ehrig, B.J. Kr"amer, and A. Ertas, editors, Proceedings of IDPT: the Sixth Biennial World Conference on Integrated Design and Process Technology, pages 182-196. SDPS, June 2002.

Abstract

We sketch a framework for viewpoint specification using formal specification languages. In order to establish consistency and to further develop specifications, specifications need to be integrated ("unified").

This integration is not defined in terms of their semantics, but more abstractly in terms of, so-called, development relations, which represent acceptable\linebreak "developments" (e.g. refinements) of each of the viewpoint specifications. The framework is motivated by its instantiations with a number of specification languages (e.g., LOTOS and Z) and different development relations.

Bibtex Record

@inproceedings{1388,
author = {Eerke Boiten and John Derrick},
title = {Integration of Specifications through Development Relations},
month = {June},
year = {2002},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {},
doi = {},
url = {http://www.cs.kent.ac.uk/pubs/2002/1388},
    publication_type = {inproceedings},
    submission_id = {27453_1025256465},
    booktitle = {Proceedings of IDPT: the Sixth Biennial World Conference on Integrated Design and Process Technology},
    editor = {H. Ehrig and B.J. Kr"amer and A. Ertas},
    organization = {SDPS},
    ISSN = {1090-9389},
    refereed = {yes},
}

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

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

Last Updated: 21/03/2014