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 条

[21] A Framework for Service Outsourcing using Process Views
Eshuis, Rik
Norta, Alex
2010 14TH IEEE INTERNATIONAL ENTERPRISE DISTRIBUTED OBJECT COMPUTING CONFERENCE (EDOC 2010), 2010, : 99 - 108
[22] Creating a measurement framework for service coordination in maternal and early childhood home visiting: An evidence-informed, expert process
West, Allison
Duggan, Anne K.
Gruss, Kelsey
Minkovitz, Cynthia S.
CHILDREN AND YOUTH SERVICES REVIEW, 2018, 89 : 289 - 297
[23] Secure shared data-space coordination languages: A process algebraic survey
Focardi, Riccardo
Lucchi, Roberto
Zavattaro, Gianluigi
SCIENCE OF COMPUTER PROGRAMMING, 2006, 63 (01) : 3 - 15
[24] Peer-To-Peer Accommodation Service Process: A Framework of Service Blueprint
Putriya, Anna Riana
Hermawan, Pri
Novani, Santi
Putro, Utomo Sarjono
PROCEEDINGS OF THE 12TH INTERNATIONAL CONFERENCE ON BUSINESS AND MANAGEMENT RESEARCH (ICBMR 2018), 2018, 72 : 211 - 217
[25] A process algebraic framework for specification and validation of real-time systems
Sherif, Adnan
Cavalcanti, Ana
He Jifeng
Sampaio, Augusto
FORMAL ASPECTS OF COMPUTING, 2010, 22 (02) : 153 - 191
[26] Engineering process coordination based on a service event notification model
Cao, J
Wang, J
Zhang, SS
Li, ML
Law, K
GRID AND COOPERATIVE COMPUTING GCC 2004, PROCEEDINGS, 2004, 3251 : 50 - 57
[27] Process Coordination Within a Health Care Service Supply Network
Sampson, Scott E.
Schmidt, Glen
Gardner, John W.
Van Orden, Joseph
JOURNAL OF BUSINESS LOGISTICS, 2015, 36 (04) : 355 - 373
[28] Using process mining to identify coordination patterns in IT service management
Edgington, Theresa M.
Raghu, T. S.
Vinze, Ajay S.
DECISION SUPPORT SYSTEMS, 2010, 49 (02) : 175 - 186
[29] A Service Supply Chain Framework from Process Perspective
Ma Xuesong
PROCEEDINGS OF THE 2016 INTERNATIONAL CONFERENCE ON ECONOMICS AND MANAGEMENT INNOVATIONS, 2016, 57 : 80 - 84
[30] A resource-process framework of new service development
Froehle, Craig M.
Roth, Aleda V.
PRODUCTION AND OPERATIONS MANAGEMENT, 2007, 16 (02) : 169 - 188

← 1 2 3 4 5 →