Using ocl in the formal specification of the library standards

Abstract

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. © 2013 World Scientific Publishing Company.