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
Link To Document