EXTENSION OF PLA SPECIFICATION FOR DYNAMIC SYSTEM FORMALIZATION
DOI:
https://doi.org/10.5755/j01.itc.35.3.11774Abstract
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.
Downloads
Published
2006-10-04
Issue
Section
Articles
License
Copyright terms are indicated in the Republic of Lithuania Law on Copyright and Related Rights, Articles 4-37.