© University of Kent - Contact | Feedback | Legal | FOI | Cookies
Tool support for development using patterns
S. Neal and P.F. Linington
In E.Lupu and A.Wegmann, editors, Proceedings of the fifth International Enterprise Distributed Object Computng Conference, pages 182-196, Seattle, Washingto, USA, September 2001. IEEE Computer Society.Abstract
There has been a growing interest in recent years in the use of abstract building blocks in system specification. Designs based on Patterns and Communities are two examples. However, these structures are then refined further during design and implementation, and it is often difficult to determine whether the eventual system implementation is a faithful reflection of the original properties of the pattern specified. This is particularly true of patterns used to describe an enterprise view of the system. This paper concentrates on the behavioural aspects of pattern specification, and investigates the way that observation of the system can be interpreted to check that properties of the pattern specification are preserved. It describes a diagnostic tool that checks the actual system behaviour against the pattern specification, and discusses the requirements this places on the form of the specification language and a number of the problems of interpretation that arise in applying such tools.Bibtex Record
@inproceedings{1306,
author = {S. Neal and P.F. Linington},
title = {Tool Support for Development Using Patterns},
month = {September},
year = {2001},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {},
doi = {},
url = {http://www.cs.kent.ac.uk/pubs/2001/1306},
publication_type = {inproceedings},
submission_id = {2685_1004604289},
ISBN = {0-7695-1345-X},
booktitle = {Proceedings of the fifth International Enterprise Distributed Object Computng Conference},
editor = {E.Lupu and A.Wegmann},
address = {Seattle, Washingto, USA},
publisher = {IEEE Computer Society},
refereed = {yes},
}