5th International Workshop on
Formal Methods for Industrial Critical Systems
Berlin, April 3-4, 2000
Formalization and Testing of Reference Point Facets
The paper introduces a new concept to express the architecture and behavior of distributed systems in a
formal, detailed and extensible manner in terms of reference point facets (RP-facets). RP-facets are based on
the well-established concept of reference points as used in ODP and TINA. Facets describe statical and
dynamic aspects of reference points as well as pre- and post-conditions for their use. The paper gives a
mathematical characterization of RP-facets, defines a specification template for the definition of RP-facets
and derives a conformance test method for their validation. An example taken from the TINA retailer
reference point shows the application and practical use of RP-facets.
Note: The content of the following files is part of
GMD Report No. 91
and subject to its copyright.
ERCIM FMICS Home Page,
GMD FOKUS Home Page
Last modified: Wednesday, 19-Apr-2000 08:57:51 MET DST,
Axel Rennoch