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 条
  • [1] A Process Algebraic View of Coordination
    Busi, Nadia
    Zavattaro, Gianluigi
    [J]. ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2006, 162 (01) : 141 - 145
  • [2] A process algebraic view of Linda coordination primitives
    Busi, N
    Gorrieri, R
    Zavattaro, G
    [J]. THEORETICAL COMPUTER SCIENCE, 1998, 192 (02) : 167 - 199
  • [3] A process algebraic view of shared dataspace coordination
    Busi, Nadia
    Zavattaro, Gianluigi
    [J]. JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING, 2008, 75 (01): : 52 - 85
  • [4] PAFSV: A Process Algebraic Framework for SystemVerilog
    Man, K. L.
    [J]. 2008 INTERNATIONAL MULTICONFERENCE ON COMPUTER SCIENCE AND INFORMATION TECHNOLOGY (IMCSIT), VOLS 1 AND 2, 2008, : 492 - 499
  • [5] A Formal Perspective for Service Coordination Framework in Service Oriented Architecture
    Li, Qin
    Zhu, Huibiao
    He, Jifeng
    [J]. ASWEC 2009: 20TH AUSTRALIAN SOFTWARE ENGINEERING CONFERENCE, PROCEEDINGS, 2009, : 287 - 296
  • [6] A Framework for Coordination Process into Construction Projects
    Alaloul, Wesam S.
    Liew, Mohd Shahir
    Zawawi, Noor Amila B. W. A.
    [J]. 4TH INTERNATIONAL BUILDING CONTROL CONFERENCE 2016 (IBCC 2016), 2016, 66
  • [7] ALIVE: A Framework for Flexible and Adaptive Service Coordination
    Lam, J. S. C.
    Vasconcelos, W. W.
    Guerin, F.
    Corsar, D.
    Chorley, A.
    Norman, T. J.
    Vazquez-Salceda, J.
    Panagiotidi, S.
    Confalonieri, R.
    Gomez, I.
    Hidalgo, S.
    Napagao, S. A.
    Nieves, J. C.
    Roig, M. Palau
    Ceccaroni, L.
    Aldewereld, H.
    Dignum, V.
    Dignum, F.
    Penserini, L.
    Padget, J.
    De Vos, M.
    Andreou, D.
    Cliffe, O.
    Staikopoulos, A.
    Popescu, R.
    Clarke, S.
    Sergeant, P.
    Reed, C.
    Quillinan, T.
    Nieuwenhuis, K.
    [J]. ENGINEERING SOCIETIES IN THE AGENTS WORLD X, 2009, 5881 : 236 - +
  • [8] Service oriented computing from a process algebraic perspective
    Bravetti, Mario
    Zavattaro, Gianluigi
    [J]. JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING, 2007, 70 (01): : 3 - 14
  • [9] A Process Algebraic Framework for Modeling Resource Demand and Supply
    Philippou, Anna
    Lee, Insup
    Sokolsky, Oleg
    Choi, Jin-Young
    [J]. FORMAL MODELING AND ANALYSIS OF TIMED SYSTEMS, 2010, 6246 : 183 - +
  • [10] A Web Service Transaction Coordination Framework Based on Compensation
    Chu, Mei
    Guo, Guang Nan
    Yun, Yong Gang
    Shi, Hong Yan
    Liu, Jin Ping
    [J]. MATERIALS SCIENCE AND INFORMATION TECHNOLOGY, PTS 1-8, 2012, 433-440 : 5183 - 5187
12345