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 条

[31] A semantic framework for configurable business process as a service in the cloud
Yongsiriwit, Karn
Assy, Nour
Gaaloul, Walid
JOURNAL OF NETWORK AND COMPUTER APPLICATIONS, 2016, 59 : 168 - 184
[32] Service Design for a Holistic Customer Experience: A Process Framework
Bellos, Ioannis
Kavadias, Stylianos
MANAGEMENT SCIENCE, 2021, 67 (03) : 1718 - 1736
[33] A framework for service-based business process collaboration
Hu, Haiyang
Hu, Hua
Chiu, Dickson K.W.
Journal of Computational Information Systems, 2012, 8 (04): : 1791 - 1803
[34] Business process interoperability service framework based on blockchain
Tang X.
Yu Y.
Wu J.
Pan M.
Yu, Yang (yuy@mail.sysu.edu.cn), 1600, CIMS (27): : 2508 - 2516
[35] Process personalization framework for service-driven enterprises
Sadasivam, Rajani S.
Sundar, Gayathri
Tanik, Murat M.
Tanju, Murat N.
PROCEEDINGS OF THE IEEE SOUTHEASTCON 2006, 2006, : 159 - 164
[36] Sustainable Service Innovation Model: A Standardized IT Service Management Process Assessment Framework
Barafort, Beatrix
Rousseau, Anne
SOFTWARE PROCESS IMPROVEMENT, PROCEEDINGS, 2009, 42 : 69 - 80
[37] Formal framework for a generic combination of a process algebra with an algebraic specification language:: An overview
Salaün, G
Allemand, M
Attiogbé, C
APSEC 2001: EIGHTH ASIA-PACIFIC SOFTWARE ENGINEERING CONFERENCE, PROCEEDINGS, 2001, : 299 - 302
[38] An algebraic framework for urgency
Bornot, S
Sifakis, J
INFORMATION AND COMPUTATION, 2000, 163 (01) : 172 - 202
[39] An algebraic framework for urgency
Bornot, S
Sifakis, J
CALCULATIONAL SYSTEM DESIGN, 1999, 173 : 167 - 182
[40] A dynamic reconfigurable web service composition framework using Reo coordination language
Saifipoor, Soheil
Ladani, Behrouz Tork
Nematbakhsh, Naser
ECOWS 07: PROCEEDING OF THE 5TH IEEE EUROPEAN CONFERENCE ON WEB SERVICES, 2007, : 203 - +

← 1 2 3 4 5 →