USING OCL IN THE FORMAL SPECIFICATION OF THE LIBRARY STANDARDS

被引：1
作者：
Rudic, Gordana [1 ]
Surla, Bojana Dimic [1 ]
机构：
[1] Univ Novi Sad, Fac Sci, Dept Math & Informat, Novi Sad 21000, Serbia
来源：
INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING | 2013年 / 23卷 / 03期
关键词：
OCL; UML; library metadata; MARC; BIBLIOGRAPHIC RECORDS; MARC; 21; CIRCULATION SYSTEM; XML EDITOR; UML; RETRIEVAL; UNIMARC;
D O I：
10.1142/S0218194013500101
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
The goal of the research was to check whether we can use a formal specification language such as OCL - Object Constraint Language to express all constraints on the library records proposed by the MARC 21 library standard. The main results are the classification and systematization of the constraints on the structure and the content of the MARC records as well as the specification of the constraints on the data model of MARC 21 in OCL. The obtained results are used in the implementation of the editor for MARC records for validation of the user input. The originality of the work is the adoption of the formal approach in specification of the constraints instead of writing source code in programming language.
引用
收藏
页码：341 / 359
页数：19
相关论文
共 28 条
[1]  
Abbors Fredrik, 2010, Proceedings of the 2010 17th IEEE International Conference and Workshops on Engineering of Computer-Based Systems (ECBS 2010), P321, DOI 10.1109/ECBS.2010.46
[2]  
Avila C., P 2008 INT C SOFTW E, P403
[3]   XML editor for search and retrieval of bibliographic records in the Z39.50 standard [J].
Boberic, Danijela ;
Surla, Dusan .
ELECTRONIC LIBRARY, 2009, 27 (03) :474-495
[4]  
BookMARC, BIBL INF SERV
[5]  
Budimir G., 2004, Novi Sad Journal of Mathematics, Vol, V34, No, P107
[6]  
Cabot J, 2006, LECT NOTES COMPUT SC, V4066, P256
[7]  
Carvalho J., 2005, 71 IFLA GEN C COUNC
[8]  
Charpentier R., 2003, UML OCL
[9]  
de Carvalho J. R., 2004, Library Hi Tech, V22, P131, DOI 10.1108/07378830410524558
[10]  
Delsey T., 1997, INT C PRINC FUT DEV
123