| Title |
Application of abstract data type in dynamic PLA approach / |
| Another Title |
Abstrakčių duomenų tipų pritaikymas dinaminiame PLA modelyje. |
| Authors |
Pranevičius, Henrikas ; Paulauskaitė-Tarasevičienė, Agnė ; Makackas, Dalius |
| Full Text |
|
| Is Part of |
Informacinės technologijos ir valdymas = Information technology and control.. Kaunas : Technologija. 2009, t. 38, Nr. 1, p. 7-13.. ISSN 1392-124X |
| Keywords [eng] |
dynamic systems ; formal specification ; piece-linear aggregate ; abstract data types |
| Abstract [eng] |
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. |
| Published |
Kaunas : Technologija |
| Type |
Journal article |
| Language |
English |
| Publication date |
2009 |
| CC license |
|
