@InProceedings{Schieferdecker2000,
  author    = {Ina Kathrin Schieferdecker and Mang Li and Axel Rennoch},
  booktitle = {Proc. of the 5th Intern. ERCIM Workshop on Formal Methods for Industrial Critical Systems, Berlin, April 3-4, 2000},
  title     = {Formalization and Testing of Reference Point Facets},
  pages     = {141--160},
  abstract  = {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.},
  editors   = {Stefania Gnesi and Ina Schieferdecker and Axel Rennoch},
  file      = {:2000/Schieferdecker2000 - Formalization and Testing of Reference Point Facets.pdf:PDF},
  type      = {conference},
  year      = {2000}
}