EXTENSION OF PLA SPECIFICATION FOR DYNAMIC SYSTEM FORMALIZATION

Authors

  • Šarūnas Packevičius Kaunas University of Technology
  • Algirdas Kazla Kaunas University of Technology
  • Henrikas Pranevičius Kaunas University of Technology

DOI:

https://doi.org/10.5755/j01.itc.35.3.11774

Abstract

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