© University of Kent - Contact | Feedback | Legal | FOI | Cookies
Specification and implementation in ODP
P.F. Linington and W.F. Frank
In J.Cordeiro and H.Kilov, editors, Proceedings of the 1st Workshop on Open Distributed Processing: Enterprise, Computation, Knowledge, Engineering and Realisation, pages 182-196, Setubal, Portugal, July 2001. ICEIS Press.Abstract
ODP specifications are normally produced as one step in the process of planning and implementing real systems, but the detailed sequence of events differs depending on the methodology and intended scope of the specification. This can lead to divergences of opinion about how specifications are to be interpreted. This paper reviews some of the issues and argues that there need not be a problem if ODP specifications are interpreted in terms of a flexible conformance architecture. It looks at the interplay between specification and testing, and reviews the conformance aspects of the RM-ODP to see how it is able to provide the necessary flexibility for the creation of long-lived and reusable enterprise specifications.Bibtex Record
@inproceedings{1301,
author = {P.F. Linington and W.F. Frank},
title = {Specification and Implementation in {ODP}},
month = {July},
year = {2001},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {},
doi = {},
url = {http://www.cs.kent.ac.uk/pubs/2001/1301},
publication_type = {inproceedings},
submission_id = {12558_1002199791},
ISBN = {972-98050-5-9},
booktitle = {Proceedings of the 1st Workshop on Open Distributed Processing: Enterprise, Computation, Knowledge, Engineering and Realisation},
editor = {J.Cordeiro and H.Kilov},
address = {Setubal, Portugal},
publisher = {ICEIS Press},
refereed = {yes},
}