A Process Algebraic Framework for Service Coordination

被引：0
|
作者：
Badica, Amelia [1 ]
Badica, Costin [2 ]
Popescu, Elvira [2 ]
Scafes, Mihnea [2 ]
机构：
[1] Univ Craiova, Business Informat Syst Dept, AI Cuza 13, RO-200585 Craiova, Romania
[2] Univ Craiova, Software Engn Dept, Craiova 200440, Romania
来源：
SACI: 2009 5TH INTERNATIONAL SYMPOSIUM ON APPLIED COMPUTATIONAL INTELLIGENCE AND INFORMATICS | 2009年
关键词：
D O I：
暂无
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
We propose a formal framework based on finite state process algebra for modeling service coordination in agent systems. The model is inspired by WS-coordination specification. Several participant agents can coordinate their actions towards reaching a semantically consistent outcome in a distributed activity. The model defines coordinator and participant agents and their generic interaction protocols and allows integration of application specific protocols by means of protocol handlers. The approach is demonstrated by a sample model showing how coordination is achieved between a set of agents involved in contracting activities.
引用
下载
收藏
页码：505 / +
页数：2
相关论文
共 50 条
  • [41] A coordination framework of Web service composition to support data-flow distribution
    Zhai, Yan-Long
    Su, Hong-Yi
    Xiao, Wei
    Zhan, Shou-Yi
    Beijing Ligong Daxue Xuebao/Transaction of Beijing Institute of Technology, 2009, 29 (12): : 1091 - 1095
  • [42] Coordination-theoretic approach to modelling grid service composition process
    Meng Qian1
    2.Institute of Intelligence Equipment
    Journal of Systems Engineering and Electronics, 2010, 21 (04) : 713 - 720
  • [43] Perceptions regarding the IFSP process in a statewide interagency service coordination program
    Farel, AM
    Shackelford, J
    Hurth, JL
    TOPICS IN EARLY CHILDHOOD SPECIAL EDUCATION, 1997, 17 (02) : 234 - 249
  • [44] Distributed design process coordination based on a service event notification model
    Cao, Jian
    Zhang, Shensheng
    Li, Minglu
    Wang, Jie
    CONCURRENT ENGINEERING-RESEARCH AND APPLICATIONS, 2005, 13 (04): : 301 - 310
  • [45] Business process coordination enabled by service oriented agent based workflow
    Panigrahy, Tarini Prasad
    Patra, Manas Ranjan
    2015 1ST INTERNATIONAL CONFERENCE ON FUTURISTIC TRENDS ON COMPUTATIONAL ANALYSIS AND KNOWLEDGE MANAGEMENT (ABLAZE), 2015, : 193 - 198
  • [46] Atomic transaction and business process coordination protocol for web service composition
    College of Computer and Information Engineering, Henan University, Kaifeng 475001, China
    J. Comput. Inf. Syst., 2008, 4 (1579-1584): : 1579 - 1584
  • [47] Coordination-theoretic approach to modelling grid service composition process
    Qian, Meng
    Liu, Zhong
    Wang, Jing
    Yao, Li
    Zhang, Weiming
    JOURNAL OF SYSTEMS ENGINEERING AND ELECTRONICS, 2010, 21 (04) : 713 - 720
  • [48] A framework of manufacturer-retailer coordination process: three case studies
    Wong, Chee
    Johansen, John
    INTERNATIONAL JOURNAL OF RETAIL & DISTRIBUTION MANAGEMENT, 2008, 36 (05) : 387 - +
  • [49] Coordination as a service
    Viroli, Mirko
    Omicini, Andrea
    FUNDAMENTA INFORMATICAE, 2006, 73 (04) : 507 - 534
  • [50] A Framework towards OPC Web Service for Process Monitoring and Control
    Van Tan, Vu
    Yoo, Dae-Seung
    Yi, Myeong-Jae
    ALPIT 2008: SEVENTH INTERNATIONAL CONFERENCE ON ADVANCED LANGUAGE PROCESSING AND WEB INFORMATION TECHNOLOGY, PROCEEDINGS, 2008, : 562 - 568
12345