An Algebraic Approach to Specification and Analysis of the ODP Trader

スポンサーリンク

概要

• 論文の詳細を見る

• The ODP trader is an important standard specification for a discovering service in distributed computing environments. We used CAFE specification environment to construct algebraic specifications of the information viewpoint of the ODP trader written in CafeOBJ. The resultant CafeOBJ 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.

• 1999-04-15

著者

• Futatsugi Kokichi

  Japan Advanced Institute Of Science And Technology

• NAKAJIMA SHIN

  NEC C&C Media Research Laboratories

• Nakajima S

  Nec C&c Media Res. Lab.

• Nakajima Shin

  Nec C&c Media Research Laboratories

関連論文

• An Algebraic Approach to Specification and Analysis of the ODP Trader
• Aspect-centered Design of Object-oriented Frameworks
• A Scenario-based Object-Oriented Modeling Method with Algebraic

スポンサーリンク