APPLICATION OF ABSTRACT DATA TYPE IN DYNAMIC PLA APPROACH

Authors

  • Henrikas Pranevičius Kaunas University of Technology
  • Agnė Paulauskaitė-Tarasevičienė Kaunas University of Technology
  • Dalius Makackas Kaunas University of Technology

Keywords:

dynamic systems, formal specification, piece-linear aggregate, abstract data types.

Abstract

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.

Downloads

Published

2009-03-18

Issue

Vol. 38 No. 1 (2009)

Section

Articles

License

Copyright terms are indicated in the Republic of Lithuania Law on Copyright and Related Rights, Articles 4-37.