Introduction to the ISO specification language LOTOS
Computer Networks and ISDN Systems - Special Issue: Protocol Specification and Testing
Design patterns: elements of reusable object-oriented software
Design patterns: elements of reusable object-oriented software
The specification and testing of conformance in ODP systems
Selected proceedings of the IFIP TC6 9th international workshop on Testing of communicating systems
The object constraint language: precise modeling with UML
The object constraint language: precise modeling with UML
The Unified Modeling Language reference manual
The Unified Modeling Language reference manual
Specification and Implementation in ODP
WOODPECKER '01 Proceedings of the 1st International Workshop on Open Distribute Processing: Enterprise, Computation, Knowledge, Engineering and Realisation: In conjunction with ICEIS 2001
An ODP approach to the development of large middleware systems
Proceedings of the IFIP WG 6.1 International Working Conference on Distributed Applications and Interoperable Systems II
Precise specification and automatic application of design patterns
ASE '97 Proceedings of the 12th international conference on Automated software engineering (formerly: KBSE)
Establishment of Virtual Enterprise Contracts
DEXA '02 Proceedings of the 13th International Conference on Database and Expert Systems Applications
A unified behavioural model and a contract language for extended enterprise
Data & Knowledge Engineering - Special issue: Contract-driven coordination and collaboration in the internet context
Utilizing domain models for application design and validation
Information and Software Technology
A tool for a formal pattern modeling language
ICFEM'06 Proceedings of the 8th international conference on Formal Methods and Software Engineering
The Reference Model of Open Distributed Processing: Foundations, experience and applications
Computer Standards & Interfaces
| Hi-index | 0.00 |
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.