APPLICATION OF ABSTRACT DATA TYPE IN DYNAMIC PLA APPROACH

This paper presents the definition of abstract data type (ADT) in dynamic Piece-Linear Aggregate (PLA) model. The introduced ADT permits to describe structural changes in the hierarchical dynamic PLA (dynPLA). In order to formalize the specification of abstract data type, the Z language is used. The application of ADT in specification of dynPLA is demonstrated by an example - the transaction processing system.