Coordination-based design of distributed systems

被引：0
|
作者：
Kok, JN
Sere, K
机构：
[1] Leiden Univ, Leiden Inst Adv Comp Sci, NL-2300 RA Leiden, Netherlands
[2] Abo Akad Univ, Turku Ctr Comp Sci, FIN-20520 Turku, Finland
来源：
COORDINATION LANGUAGES AND MODELS, PROCEEDINGS | 2000年 / 1906卷
关键词：
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
We present a component-based formal approach to the design of distributed systems based on the coordination of the interaction and of the flow of control using graphical notation, refinement and guarded composition.
引用
收藏
页码：347 / 352
页数：6
相关论文
共 50 条
  • [1] Service-oriented horizontal fusion in distributed coordination-based systems
    Bass, T
    MILCOM 2004 - 2004 IEEE MILITARY COMMUNICATIONS CONFERENCE, VOLS 1- 3, 2004, : 615 - 621
  • [2] A coordination-based framework for distributed constraint solving
    Zoeteweij, P
    RECENT ADVANCES IN CONSTRAINTS, 2003, 2627 : 171 - 184
  • [3] Adaptive access control in coordination-based mobile agent systems
    Julien, C
    Payton, J
    Roman, GC
    SOFTWARE ENGINEERING FOR MULTI-AGENT SYSTEMS III: RESEARCH ISSUES AND PRACTICAL APPLICATIONS, 2004, 3390 : 254 - 271
  • [4] An Interference Coordination-Based Distributed Resource Allocation Scheme in Heterogeneous Cellular Networks
    Song, Qingyang
    Wang, Xiaojie
    Qiu, Tie
    Ning, Zhaolong
    IEEE ACCESS, 2017, 5 : 2152 - 2162
  • [5] Coordination-based gold nanoparticle layers
    Wanunu, M
    Popovitz-Biro, R
    Cohen, H
    Vaskevich, A
    Rubinstein, I
    JOURNAL OF THE AMERICAN CHEMICAL SOCIETY, 2005, 127 (25) : 9207 - 9215
  • [6] Coordination-based gold nanoparticle layers
    Rubinstein, I. (israel.rubinstein@weizmann.ac.il), 1600, American Chemical Society (127):
  • [7] Coordination-based cooperation protocol in multi-agent robotic systems
    Lin, FC
    Hsu, JYJ
    1996 IEEE INTERNATIONAL CONFERENCE ON ROBOTICS AND AUTOMATION, PROCEEDINGS, VOLS 1-4, 1996, : 1632 - 1637
  • [8] Networked Coordination-Based Distributed Model Predictive Control for Large-Scale System
    Zheng, Yi
    Li, Shaoyuan
    Qiu, Hai
    IEEE TRANSACTIONS ON CONTROL SYSTEMS TECHNOLOGY, 2013, 21 (03) : 991 - 998
  • [9] A Coordination-based Methodology for Security Protocol Verification
    Baldi, Giacomo
    Bracciali, Andrea
    Ferrari, Gianluigi
    Tuosto, Emilio
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2005, 121 : 23 - 46
  • [10] Coordination-based circularly polarized luminescence emitters: Design strategy and application in sensing
    Gong, Jun
    Zhang, Xuanjun
    COORDINATION CHEMISTRY REVIEWS, 2022, 453
12345