loading...
On the Execution of ODP Computational Specifications
Hong Kong, China October 16-October 20
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/EDOCW.2006.8010th IEEE International Enterprise Di ...
 This Article 
 
PDF
HTML
IEEE Xplore Subscribers
 
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Jose Raul Romero, University of Cordoba, Spain
Antonio Vallecillo, University of Malaga, Spain
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.
Citation:
Jose Raul Romero, Antonio Vallecillo, "On the Execution of ODP Computational Specifications," edocw, pp.34, 10th IEEE International Enterprise Distributed Object Computing Conference Workshops (EDOCW'06), 2006
Usage of this product signifies your acceptance of the Terms of Use.