Distributed Implementation of Systems with Multiparty Interactions and Priorities

被引:0
|
作者
Ben-Hafaiedh, Imene [1 ]
Graf, Susanne [1 ]
Mazouz, Nejla [2 ]
机构
[1] VERIMAG, 2 Ave Vignate, F-38610 Gieres, France
[2] Tunisia Polytech Sch, Carthage, Tunisia
来源
关键词
priorities; multiparty interaction; distributed systems; SYNCHRONIZATION; ALGORITHM;
D O I
暂无
中图分类号
TP31 [计算机软件];
学科分类号
081202 ; 0835 ;
摘要
Rich interaction models are a powerful mechanism allowing to synchronize several entities in order to achieve some common goal and to specify global properties in an abstract manner. In this paper we focus on two types of interaction models, namely multiparty interactions and priorities where priorities may be used to specify different scheduling policies. We propose a protocol for building distributed implementation of component-based models with multiparty interactions and priorities. We also present a set of experiments providing a performance analysis of the protocol.
引用
收藏
页码:38 / +
页数:3
相关论文
共 50 条
  • [1] Optimized distributed implementation of multiparty interactions with Restriction
    Bensalem, Saddek
    Bozga, Marius
    Quilbeuf, Jean
    Sifakis, Joseph
    [J]. SCIENCE OF COMPUTER PROGRAMMING, 2015, 98 : 293 - 316
  • [2] A distributed algorithm for implementation of first-order multiparty interactions
    Cheng, ZX
    Huang, TJ
    Shiratori, N
    [J]. 1996 INTERNATIONAL CONFERENCE ON PARALLEL AND DISTRIBUTED SYSTEMS, PROCEEDINGS, 1996, : 537 - 543
  • [3] Model-based implementation of distributed systems with priorities
    Borzoo Bonakdarpour
    Marius Bozga
    Jean Quilbeuf
    [J]. Design Automation for Embedded Systems, 2013, 17 : 251 - 276
  • [4] Model-based implementation of distributed systems with priorities
    Bonakdarpour, Borzoo
    Bozga, Marius
    Quilbeuf, Jean
    [J]. DESIGN AUTOMATION FOR EMBEDDED SYSTEMS, 2013, 17 (02) : 251 - 276
  • [5] Facilitating the Implementation of Distributed Systems with Heterogeneous Interactions
    Kobeissi, Salwa
    Utayim, Adnan
    Jaber, Mohamad
    Falcone, Ylies
    [J]. INTEGRATED FORMAL METHODS, IFM 2018, 2018, 11023 : 255 - 274
  • [6] COOPERATING PROOFS FOR DISTRIBUTED PROGRAMS WITH MULTIPARTY INTERACTIONS
    FRANCEZ, N
    [J]. INFORMATION PROCESSING LETTERS, 1989, 32 (05) : 235 - 242
  • [7] MULTIPI: A JAVA implementation of multiparty interaction for distributed computing
    Department of Computer Science, Australian National University, Canberra, ACT 0200, Australia
    不详
    [J]. Comput. Sci. Research, Education, and Applications Press (CSREA); International Technology Institute (ITI); Korean Society for Internet Information (KSII); World Academy of Science for Information Technology (WAS), 1600, 1455-1461 (2004):
  • [8] Fairness in systems based on multiparty interactions
    Ruiz, D
    Corchuelo, R
    Toro, M
    [J]. CONCURRENCY AND COMPUTATION-PRACTICE & EXPERIENCE, 2003, 15 (11-12): : 1093 - 1116
  • [9] A Theory of Design-by-Contract for Distributed Multiparty Interactions
    Bocchi, Laura
    Honda, Kohei
    Tuosto, Emilio
    Yoshida, Nobuko
    [J]. CONCUR 2010 - CONCURRENCY THEORY, 2010, 6269 : 162 - +
  • [10] Multipi: A Java']Java implementation of multiparty interaction for distributed computing
    Sinnamon, J
    Tang, PY
    [J]. PDPTA '04: PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON PARALLEL AND DISTRIBUTED PROCESSING TECHNIQUES AND APPLICATIONS, VOLS 1-3, 2004, : 1455 - 1461