• DocumentCode
    649774
  • Title

    An approach to authoring and validation of Shipdex data modules

  • Author

    Youhee Choi ; Jeong-Ho Park ; Byungtae Jang

  • Author_Institution
    Ind.-IT Convergence Res. Dept., ETRI, Daejeon, South Korea
  • fYear
    2013
  • fDate
    14-16 Oct. 2013
  • Firstpage
    889
  • Lastpage
    893
  • Abstract
    The Shipdex protocol is the international business rules developed to standardize the development and the exchange of technical and logistic data within the shipping community. Shipdex defines rules for authoring a data module in XML format which is the smallest independent information unit. In order to validate whether a data module has been generated in accordance with Shipdex protocol, it is necessary to validate the data module using a Shipdex data module verification tool. However, since Shipdex rules inherent in the tool, any modifications to Shipdex rules require update by the validation tool developer and continuous maintenance. In order to minimize such inconvenience, we propose an approach that supports authoring Shipdex data modules based on generated template files and validating data modules based on generated rules which are the Shipdex tool user writes.
  • Keywords
    XML; formal verification; goods distribution; logistics data processing; Shipdex data module verification tool; Shipdex protocol; Shipdex rules; XML format; international business rules; shipping community; validation tool; Shipdex; XML; validation;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    ICT Convergence (ICTC), 2013 International Conference on
  • Conference_Location
    Jeju
  • Type

    conf

  • DOI
    10.1109/ICTC.2013.6675509
  • Filename
    6675509