Applying the Architectural Semantics of ODP to Develop a Trader Specification

نویسندگان

  • Richard O. Sinnott
  • Kenneth J. Turner
چکیده

This paper provides an introduction to the role of Formal Description Techniques in the development of an architectural semantics for Open Distributed Processing (ODP). Following a brief overview of ODP and the Reference Model for ODP, an outline of the reasons for developing of an architectural semantics is given. The different approaches currently being taken for an ODP architectural semantics are presented. Finally, an ODP infrastructure component — the ODP Trader — is specified using the architectural semantics work.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Applying the Architectural Semantics of ODPto Develop

This paper provides an introduction to the role of Formal Description Techniques in the development of an architectural semantics for Open Distributed Processing (ODP). Following a brief overview of ODP and the Reference Model for ODP, an outline of the reasons for developing of an architectural semantics is given. The diierent approaches currently being taken for an ODP architectural semantics...

متن کامل

An Object-Oriented Approach to the Formal Specification of ODP Trader

An Object-Z formal speci cation of the ODP Trader is presented which concisely captures the hierarchical context structure, the distribution of information and the communication aspects of the Trader. Particular use is made of generic classes, class inheritance and object aggregation (i.e. the instantiation of collections of similar objects) to give a structured speci cation that can be readily...

متن کامل

An architecture based approach to specifying distributed systems in LOTOS and Z

Specification is difficult. It is often the case that the most difficult aspect of specifying is the structuringof the specification to begin with. Adopting an architectural approach can help to alleviate this structuringproblem. We have investigated how the formal languages LOTOS and Z can be used to develop specificationtemplates suitable for architecting specifications of distrib...

متن کامل

Object-z: a Specification Language Advocated for the Description of Standards Object-z: a Speciication Language Advocated for the Description of Standards

The importance of formalising the speciication of standards has been recognised for a number of years. This paper advocates the use of the formal speciication language Object-Z in the deenition of standards. Object-Z is an extension to the Z language speciically to facilitate speciication in an object-oriented style. First, the syntax and semantics of Object-Z are described informally. Then the...

متن کامل

The Development of an Architectural Semantics for ODP

This paper provides an introduction to the role of Formal Description Techniques (FDTs) in the development of an architectural semantics for Open Distributed Processing (ODP). It gives a brief introduction to ODP in general and the Reference Model for ODP (RM-ODP). Following this, an outline of the reasons for the development of an architectural semantics, the problems associated with the devel...

متن کامل

ذخیره در منابع من

ذخیره در منابع من قبلا به منابع من ذحیره شده

{@ msg_add @}


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:
  • Computer Networks and ISDN Systems

دوره 29  شماره 

صفحات  -

تاریخ انتشار 1997