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
“…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.…”
Section: Computational Mapping To Maude Specificationsmentioning
“…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.…”
Section: Computational Mapping To Maude Specificationsmentioning
“…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.…”
Section: No Uml Interfaces For Two-way Interactionsmentioning
confidence: 99%
“…presented in [23], and defines the semantics, properties and related elements of each metaclass. Second, ODP concepts are mapped to UML elements.…”
Section: Unified Modeling Language 20mentioning
confidence: 99%
“…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.…”
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.