EXTENSION OF PLA SPECIFICATION FOR DYNAMIC SYSTEM FORMALIZATION
Šarūnas Packevičius, Algirdas Kazla, Henrikas Pranevičius · Information Technology And Control · 2006
In this paper, an extension of Piece Linear Aggregates (PLA) formalization language is presented. This extension, called dynPLA (dynamic PLA) is intended for formalization of dynamic systems. Dynamic systems are characterized as the ones that change their structure and/or behavior during runtime. This paper covers the extension of PLA – dynPLA model, its specification and meta-model. An example of transaction coordinating systems is given to illustrate presented method.