T. M. Benduma, A. I. Enikeev, “Specialized models for the development of database applications on the basis of UML and CSP-OZ tools combination”, Kazan. Gos. Univ. Uchen. Zap. Ser. Fiz.-Mat. Nauki, 2009, Volume 151, Book 3,Pages <nobr>200

Specialized models for the development of database applications on the basis of UML and CSP-OZ tools combination

T. M. Benduma, A. I. Enikeev

Kazan State University

Abstract: The paper presents an approach to building a specialized object-oriented model for the development of database applications. The approach is based on the combination of the UML diagram tools with the CSP-OZ formal methods. The approach is demonstrated on the relational data model.

Keywords: formal methods, relational data model, communicating sequential processes CSP, language Z, CSP-OZ formal method.

UDC: 629.11.012.553

Received: 29.04.2009