文章基本信息

标题：APPLICATION OF ABSTRACT DATA TYPE IN DYNAMIC PLA APPROACH
本地全文：下载
作者：Henrikas Pranevičius ; Agnė Paulauskaitė-Tarasevičienė ; Dalius Makackas 等
期刊名称：European Integration Studies
印刷版ISSN：2335-8831
出版年度：2015
卷号：38
期号：1
DOI：10.5755/j01.itc.38.1.11915
语种：English
出版社：Kaunas University of Technology
摘要：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.
关键词：dynamic systems; formal specification; piece-linear aggregate; abstract data types.