DocumentCode :
3492776
Title :
Tool support for development using patterns
Author :
Neal, Steve ; Linington, Peter F.
Author_Institution :
Kent Univ., Canterbury, UK
fYear :
2001
fDate :
2001
Firstpage :
237
Lastpage :
248
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. The 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
Keywords :
business data processing; formal specification; object-oriented programming; software tools; specification languages; abstract building blocks; behavioural aspects; diagnostic tool; enterprise view; pattern specification; specification language; system behaviour; system implementation; system specification; tool support; Application software; Best practices; Books; Buildings; Computer architecture; Computer industry; Pattern analysis; Reflection; Software performance; Testing;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Enterprise Distributed Object Computing Conference, 2001. EDOC '01. Proceedings. Fifth IEEE International
Conference_Location :
Seattle, WA
Print_ISBN :
0-7695-1345-X
Type :
conf
DOI :
10.1109/EDOC.2001.950443
Filename :
950443
Link To Document :
بازگشت