首页    期刊浏览 2025年07月11日 星期五
登录注册

文章基本信息

  • 标题:EXTENSION OF PLA SPECIFICATION FOR DYNAMIC SYSTEM FORMALIZATION
  • 其他标题:EXTENSION OF PLA SPECIFICATION FOR DYNAMIC SYSTEM FORMALIZATION
  • 作者:Packevičius, Šarūnas ; Kazla, Algirdas ; Pranevičius, Henrikas
  • 期刊名称:Engineering Economics
  • 印刷版ISSN:2029-5839
  • 出版年度:2006
  • 卷号:35
  • 期号:3
  • DOI:10.5755/j01.itc.35.3.11774
  • 语种:English
  • 出版社:Kaunas University of Technology
  • 摘要: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.
Loading...
联系我们|关于我们|网站声明
国家哲学社会科学文献中心版权所有