Specification of distributed systems with actors using object oriented Petri nets

被引：0
作者：
Mikolajczak, B [1 ]
Ottlik, A [1 ]
机构：
[1] Univ Massachusetts, Coll Engn, Dept Comp & Informat Sci, Dartmouth, MA 02747 USA
来源：
INTELLIGENT INFORMATION SYSTEMS 2002, PROCEEDINGS | 2002年 / 17卷
关键词：
distributed computing with actors; concurrent object-oriented programming; Petri nets;
D O I：
暂无
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
The aim of this paper is to combine three methodologies and related technologies: distributed computing with actors, concurrent object-oriented programming, and Petri nets. A final outcome is a formal specification of a distributed software system with actors by means of object-oriented Petri nets. In particular, PNTalk tool and related methodology are applied to specify a distributed stack.
引用
收藏
页码：423 / 434
页数：12
相关论文
共 50 条
  • [31] Modeling dynamic objects in distributed systems with nested Petri nets
    Lomazova, IA
    FUNDAMENTA INFORMATICAE, 2002, 51 (1-2) : 121 - 133
  • [32] Specification and Prototyping of Reactive Distributed Systems with Algebraic Term Nets
    Bouchoul, Faiza
    Mostefai, Mohammed
    INTERNATIONAL ARAB JOURNAL OF INFORMATION TECHNOLOGY, 2010, 7 (01) : 86 - 95
  • [33] Validation of information systems using Petri nets
    Bokhari, Asghar
    Poehlman, Skip
    ICEIS 2006: PROCEEDINGS OF THE EIGHTH INTERNATIONAL CONFERENCE ON ENTERPRISE INFORMATION SYSTEMS: INFORMATION SYSTEMS ANALYSIS AND SPECIFICATION, 2006, : 284 - +
  • [34] Maude Specification of Nets-Within-Nets: A Formal Model of Adaptable Distributed Systems
    Capra, Lorenzo
    Koehler-Bussmeier, Michael
    38TH ANNUAL ACM SYMPOSIUM ON APPLIED COMPUTING, SAC 2023, 2023, : 188 - 191
  • [35] Deadlock modeling and control of semiconductor track systems using resource-oriented Petri nets
    Wu, N.
    Zhou, M.
    INTERNATIONAL JOURNAL OF PRODUCTION RESEARCH, 2007, 45 (15) : 3439 - 3456
  • [36] Performance modelling of complex dynamic production systems using temporised object-oriented Petri nets with changeable structure (TOPNs-CS)
    Jiang, Z
    Zuo, MJ
    Fung, RYK
    Tu, PY
    INTERNATIONAL JOURNAL OF ADVANCED MANUFACTURING TECHNOLOGY, 2000, 16 (07) : 521 - 536
  • [37] An Assembly Process Model Based on Object-Oriented Hierarchical Time Petri Nets
    Wang, Jiapeng
    Liu, Shaoli
    Liu, Jianhua
    Du, Zenghui
    2017 5TH INTERNATIONAL CONFERENCE ON COMPUTER-AIDED DESIGN, MANUFACTURING, MODELING AND SIMULATION (CDMMS 2017), 2017, 1834
  • [38] Object-Oriented Petri nets Based Formal Modeling for High-Confidence Cyber-Physical Systems
    Ma, Zhiqiang
    Fu, Xiao
    Yu, Zhenhua
    2012 INTERNATIONAL CONFERENCE ON WIRELESS COMMUNICATIONS, NETWORKING AND MOBILE COMPUTING (WICOM), 2012,
  • [39] Integrating object-oriented design with Petri nets - Case study of ATM system
    Mikolajczak, B
    Sefranek, C
    2003 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN AND CYBERNETICS, VOLS 1-5, CONFERENCE PROCEEDINGS, 2003, : 1499 - 1505
  • [40] Modeling distributed software systems with Object Coordination Nets
    Giese, H
    Graf, J
    Wirtz, G
    SOFTWARE ENGINEERING FOR PARALLEL AND DISTRIBUTED SYSTEMS - INTERNATIONAL SYMPOSIUM PROCEEDINGS, 1998, : 39 - 49
12345