Skip to Main Content
This paper presents a case study of analyzing and designing a model of an university library management system. We have adopted UML use case, class, and state diagrams to construct the model. OCL is used to specify the class invariants and contracts of use cases. We also focus on the definition of business rules using OCL. To ensure the correctness of the model, we implement a prototype to validate it. The aim of the work is to study the best practices for model driven software development and how the using of latest technologies can help us to develop a highly qualified software system.