DocumentCode :
2968360
Title :
On the Synchronization of ODP Textual and Graphical Specifications
Author :
Ruiz-González, Daniel ; Vallecillo, Antonio ; Romero, José L Raú
Author_Institution :
Atenea Res. Group, Univ. of Malaga, Malaga, Spain
fYear :
2010
fDate :
25-29 Oct. 2010
Firstpage :
376
Lastpage :
381
Abstract :
There are both advantages and disadvantages of using visual and textual notations for expressing large system specifications. Each kind of notation seems to be more apt for expressing and managing some aspects, and there is no clear winner. A solution can be the use of both styles, with synchronization mechanisms that always keep them in synch. In this paper we present an initial proposal for the use of both textual and graphical specifications of ODP systems, and their automated synchronization. The proposal is supported by a tool that has been developed to synchronize the models developed by the Magic Draw plug in for ODP and a textual version of a subset of the ODP viewpoint languages.
Keywords :
distributed processing; formal specification; synchronisation; Magic Draw; ODP graphical specification; ODP textual specification; ODP viewpoint languages; open distributed processing; synchronization mechanism; Biological system modeling; Computational modeling; Mathematical model; Proposals; Synchronization; Syntactics; Unified modeling language; RM-ODP; UML4ODP; Xtext; synchronization;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Enterprise Distributed Object Computing Conference Workshops (EDOCW), 2010 14th IEEE International
Conference_Location :
Vitoria
Print_ISBN :
978-1-4244-7965-8
Type :
conf
DOI :
10.1109/EDOCW.2010.19
Filename :
5629108
Link To Document :
بازگشت