Formalizing ODP computational viewpoint specifications in Maude

Abstract

The ODP computational viewpoint describes the functionality of a system and its environment, in terms of a configuration of objects which interact at interfaces. Computational

On the Execution of ODP Computational Specifications

“…A description of how the ODP computational specifications can be expressed in Maude can be found in [23]. In addition, rewriting logic allows us to write executable specifications, and we can also make use of a broad spectrum of formal methods and analysis tools-the Maude toolkit, which offers a model-checker, theorem prover, etc.…”

Modeling the ODP Computational Viewpoint with UML 2.0

“…Among all the works, probably the most widely accepted notations for formalizing the computational viewpoint are Z, LOTOS, and SDL. Lately, rewriting logic and Maude have also shown their adequacy for modeling the ODP languages [6,5,23]. However, the lack of acceptance of formal notations in industrial and commercial environments has encouraged the quest for graphical and more appealing notations for modeling the ODP viewpoint concepts.…”

“…presented in [23], and defines the semantics, properties and related elements of each metaclass. Second, ODP concepts are mapped to UML elements.…”

“…The case study shown has been adapted from [23] and consists of a multimedia system composed of listeners that want to receive audio frames (e.g., listen to a radio program) from a given audio streamer (e.g., a radio station or some kind of audio emitter). Apart from these two objects, binding objects are in charge of the actual transmission of the audio frames to all listeners attached to a given channel, and a service manager object controls the selection of channels by the listener and the configuration of the corresponding binding objects.…”