|
Published Articles >> Table of Contents >> Abstract
Enterprise Distributed Object Computing Conference, Eighth IEEE International (EDOC'04)
pp. 212-223
Formalizing ODP Computational Viewpoint Specifications in Maude
Raul Romero, Universidad de Málaga, Spain
Antonio Vallecillo, Universidad de Málaga, Spain
Full Article Text:
 
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/EDOC.2004.10003
Send link to a friend
| 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 objects provide a functional decomposition of the system, independently of its distribution. Although several notations have been proposed to model this ODP viewpoint, either they are not expressive enough to faithfully represent all its concepts, or they tend to suffer from a lack of formal support. In this paper we explore the use of Maude as a formal notation for writing ODP computational viewpoint specifications. Maude is an executable rewriting logic language specially well suited for the specification of object-oriented open and distributed systems. We show how Maude offers a simple, natural, and accurate way of modelling the ODP computational viewpoint concepts, allows the execution of the specifications produced, and offers good tool support for reasoning about them.
|
 Additional Information
|
Citation:
Raul Romero, Antonio Vallecillo,
"Formalizing ODP Computational Viewpoint Specifications in Maude,"
edoc,
pp. 212-223,
Enterprise Distributed Object Computing Conference, Eighth IEEE International (EDOC'04),
2004
|
|
