| Title |
Extension of PLA specification for dynamic system formalization / |
| Another Title |
PLA specifikavimo kalbos išplėtimas dinaminėms sistemoms formalizuoti. |
| Authors |
Packevičius, Šarūnas ; Kazla, Algirdas ; Pranevičius, Henrikas |
| DOI |
10.5755/j01.itc.35.3.11774 |
| Full Text |
|
| Is Part of |
Information technology and control.. Kaunas : Technologija. 2006, vol. 35, no. 3, p. 235-242.. ISSN 1392-124X. eISSN 2335-884X |
| Keywords [eng] |
Dynamic formal specifications ; PLA ; DEVS |
| Abstract [eng] |
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. |
| Published |
Kaunas : Technologija |
| Type |
Journal article |
| Language |
English |
| Publication date |
2006 |
| CC license |
|
