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 :
بازگشت