首页    期刊浏览 2024年11月24日 星期日
登录注册

文章基本信息

  • 标题:The Perspective on Data and Control Flow Analysis in Topological Functioning Models by Petri Nets
  • 作者:Erika Asnina ; Begoña Cristina Pelayo García-Bustelo
  • 期刊名称:Applied Computer Systems
  • 印刷版ISSN:2255-8691
  • 出版年度:2014
  • 卷号:16
  • 期号:1
  • 页码:77-84
  • DOI:10.1515/acss-2014-0016
  • 语种:English
  • 出版社:Walter de Gruyter GmbH
  • 摘要:The perspective on integration of two mathematical formalisms, i.e., Colored Petri Nets (CPNs) and Topological Functioning Model (TFM), is discussed in the paper. The roots of CPNs are in modeling system functionality. The TFM joins principles of system theory and algebraic topology, and formally bridges the solution domain with the problem domain. It is a base for further automated construction of software design models. The paper discusses a perspective on check of control and data flows in the TFM by CPNs formalism. The research result is definition of mappings from TFMs to CPNs.
  • 关键词:Control flows ; data flows ; model verification ; Petri nets ; topological functioning model
Loading...
联系我们|关于我们|网站声明
国家哲学社会科学文献中心版权所有