Action Templates and Causalities in the ODP Computational Viewpoint

نویسندگان

  • Raúl Romero
  • Antonio Vallecillo
چکیده

The RM-ODP is a reference model that provides a coordinating framework for Open Distributed Processing standards, and offers a well-defined and comprehensive set of concepts and functions for the specification of ODP systems. Some years after its release as International Standard, an ISO Study Group will evaluate the need for a revision of RM-ODP, a customary process for ISO standards. The goal is to make use of the experiences gained from the use of the RM-ODP framework during that period, in order to propose improvements or changes if required. In order to serve as an input to that Group, this paper raises two small issues that we have discovered when trying to formalize the ODP Computational Viewpoint: the need of an independent term for referring to the signature of an Action Template, and the way in which Causalities are currently defined and handled. A proposal for addressing these issues is presented for discussion.

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

ثبت نام

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

منابع مشابه

Modeling the ODP Computational Viewpoint with UML 2.0: The Templeman Library Example

The advent of UML 2.0 has provided a new set of concepts more apt for modeling the structure and behavior of distributed systems. These concepts and mechanisms can be effectively used for representing the ODP concepts, in particular those from the Computational Viewpoint. In this paper we present an example that uses the UML 2.0 profile for the ODP computational viewpoint to illustrate its bene...

متن کامل

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...

متن کامل

Writing and executing ODP computational viewpoint specifications using Maude

The Reference Model of Open Distributed Processing (RM-ODP) is a joint standardization effort by ITU-T and ISO/IEC for the specification of large open distributed systems. RM-ODP is becoming increasingly relevant now because the size and complexity of large distributed systems is challenging current software engineering methods and tools, and because international standards have become key to a...

متن کامل

Specifying ODP Computational Objects in Z

The computational viewpoint contained within the Reference Model of Open Distributed Processing (RM-ODP) shows how collections of objects can be configured within a distributed system to enable interworking. It prescribes certain capabilities that such objects are expected to possess and structuring rules that apply to how these objects can be configured with one another. This paper highlights ...

متن کامل

Recommendation X.904: J Basic Reference Model of Open Distributed Processing -part 4:] Architectural Semantics Amendment 1 Formalization of Viewpoint Languages 1.1 Direct Formalization of the Viewpoint Languages 1.1.1.2 Transition Rules for the Computational Model

Editor's Note: This document will provide an interpretation/ formalization of the viewpoint languages of Part 3. It is likely that this document will be recombined at a later stage with the formalisation of the basic modelling and speciication concepts (SC21 N9035). Member body contributions are requested on formalizing the diierent viewpoints. These contributions should identify which viewpoin...

متن کامل

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


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

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

ثبت نام

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

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2004