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