On the Execution of ODP Computational Specifications

The ODP computational viewpoint allows the description of the functional decomposition of a system and its environment in terms of configurations of objects that interact at interfaces. RM-ODP does not prescribe any concrete notation for describing this viewpoint, which hinders the development and use of tools for writing, analyzing and executing ODP computational specifications. Thus, several authors have proposed either formal or visual languages to describe this ODP viewpoint. However, the former notations are complex and lack industrial support, while the latter do not count with proper tools for executing and analyzing the specification produced. In this paper, we explore the use of model transformation techniques to establish a connection between UML models and Maude formal specifications of the ODP computational viewpoint, in order to obtain the best of both worlds.