• 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