The ODP trader is an important standard specification for a discovering service in distributed computing environments. We used CAFE specification environment to construct algebrale specifications of the information viewpoint of the ODP trader written in CafeOBJ. The result at CareOBJ specification is more constructive than the Z specification in the original standard document while both specifications are equally formal. Our experience has shown (1) that algebraic specification technique is useful to describe characteristics of the ODP trader and (2) that the resultant specification contributes to helping us understand the functionality of the ODP trader at an appropriate abstract level because specifications written in CafeOBJ are executable.
展开▼
