Engineering a BPEL orchestration engine as a multi-agent system
The BPEL language is currently the primary candidate for standardising Web Services orchestration. BPEL specifications are meant to be run by BPEL orchestration engines, which are therefore crucial components of today’s business-to-business infrastructures, carrying the burden of dynamically composi...
Saved in:
| Published in: | Science of computer programming Vol. 66; no. 3; pp. 226 - 245 |
|---|---|
| Main Authors: | , , |
| Format: | Journal Article |
| Language: | English |
| Published: |
Elsevier B.V
15.05.2007
|
| Subjects: | |
| ISSN: | 0167-6423, 1872-7964 |
| Online Access: | Get full text |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Abstract | The BPEL language is currently the primary candidate for standardising Web Services orchestration. BPEL specifications are meant to be run by BPEL orchestration engines, which are therefore crucial components of today’s business-to-business infrastructures, carrying the burden of dynamically composing existing services.
In this paper, we present the design of a BPEL orchestration engine based on a multi-agent system: while the basic BPEL activities are autonomously executed by agents, workflow aspects are realised by the mediation of
ReSpecT tuple centres, a coordination model extending
Linda with the ability of declaratively programming the tuple space behaviour.
Our architecture separates the
interaction,
correlation, and
workflow concerns into clearly identified tiers. In particular, we identify the workflow tier as the one encapsulating the core and most critical behaviour of the engine: due to its intrinsic complexity, we tackle its design formally. We introduce a core algebraic language of BPEL dealing with its workflow-related aspects, and provide it with a semantics based on a mapping into a net specification, modelling the dependencies between the activities to be executed by the engine. This mapping plays the role of a formal design, since it directly leads to an implementation of the workflow tier in the orchestration engine. |
|---|---|
| AbstractList | The BPEL language is currently the primary candidate for standardising Web Services orchestration. BPEL specifications are meant to be run by BPEL orchestration engines, which are therefore crucial components of today’s business-to-business infrastructures, carrying the burden of dynamically composing existing services.
In this paper, we present the design of a BPEL orchestration engine based on a multi-agent system: while the basic BPEL activities are autonomously executed by agents, workflow aspects are realised by the mediation of
ReSpecT tuple centres, a coordination model extending
Linda with the ability of declaratively programming the tuple space behaviour.
Our architecture separates the
interaction,
correlation, and
workflow concerns into clearly identified tiers. In particular, we identify the workflow tier as the one encapsulating the core and most critical behaviour of the engine: due to its intrinsic complexity, we tackle its design formally. We introduce a core algebraic language of BPEL dealing with its workflow-related aspects, and provide it with a semantics based on a mapping into a net specification, modelling the dependencies between the activities to be executed by the engine. This mapping plays the role of a formal design, since it directly leads to an implementation of the workflow tier in the orchestration engine. |
| Author | Ricci, Alessandro Denti, Enrico Viroli, Mirko |
| Author_xml | – sequence: 1 givenname: Mirko surname: Viroli fullname: Viroli, Mirko email: mirko.viroli@unibo.it – sequence: 2 givenname: Enrico surname: Denti fullname: Denti, Enrico email: enrico.denti@unibo.it – sequence: 3 givenname: Alessandro surname: Ricci fullname: Ricci, Alessandro email: a.ricci@unibo.it |
| BookMark | eNqFkM1KAzEUhYNUsK0-gZt5gRlvMjNJZiGipf5AQRe6Dpnktqa0GUmi0Lc3bV250NVdnPNdON-EjPzgkZBLChUFyq_WVTTODBUDEBXQCkCekDGVgpWi482IjHNLlLxh9RmZxLgGAN4IOiY3c79yHjE4vyp0cfcyXxRDMO8YU9DJDb7AQ6HQMcfbz01ypV6hT0XcxYTbc3K61JuIFz93St7u56-zx3Lx_PA0u12UpoY6lcu207IVLXLeUmuoMR30FBmT0lq0tdRcCNuL3gopc5YhRik2Pejesqatp6Q-_jVhiDHgUn0Et9VhpyiovQO1VgcHau9AAVXZQaa6X5Rx6TArr3Obf9jrI4t51pfDsO-gN2hdQJOUHdyf_DfcjHrM |
| CitedBy_id | crossref_primary_10_1109_TNSM_2015_2507166 crossref_primary_10_1016_j_jss_2017_05_017 crossref_primary_10_1186_2193_1801_3_52 crossref_primary_10_1007_s11227_016_1928_z crossref_primary_10_1016_j_scico_2010_06_012 crossref_primary_10_1007_s10458_010_9140_7 |
| Cites_doi | 10.1016/S0167-6423(01)00011-9 10.1142/S0218843002000637 10.1023/A:1010060322135 10.1109/MC.2003.1236471 10.1145/1022494.1022526 10.1016/B978-044482830-9/50032-1 10.1145/367211.367250 10.1145/2363.2433 10.1016/j.jlap.2006.05.006 10.1016/j.jlap.2006.05.007 10.1145/330560.330665 |
| ContentType | Journal Article |
| Copyright | 2007 Elsevier B.V. |
| Copyright_xml | – notice: 2007 Elsevier B.V. |
| DBID | 6I. AAFTH AAYXX CITATION |
| DOI | 10.1016/j.scico.2007.01.008 |
| DatabaseName | ScienceDirect Open Access Titles Elsevier:ScienceDirect:Open Access CrossRef |
| DatabaseTitle | CrossRef |
| DatabaseTitleList | |
| DeliveryMethod | fulltext_linktorsrc |
| Discipline | Computer Science |
| EISSN | 1872-7964 |
| EndPage | 245 |
| ExternalDocumentID | 10_1016_j_scico_2007_01_008 S0167642307000378 |
| GroupedDBID | --K --M .DC .~1 0R~ 123 1B1 1RT 1~. 1~5 4.4 457 4G. 5VS 6I. 7-5 71M 8P~ 9JN AACTN AAEDT AAEDW AAFTH AAIAV AAIKJ AAKOC AALRI AAOAW AAQFI AAQXK AAXUO AAYFN ABBOA ABFNM ABJNI ABMAC ABTAH ABVKL ABXDB ABYKQ ACDAQ ACGFS ACNNM ACRLP ACZNC ADBBV ADEZE ADHUB ADMUD AEBSH AEKER AENEX AEXQZ AFFNX AFKWA AFTJW AGHFR AGUBO AGYEJ AHHHB AHZHX AIALX AIEXJ AIKHN AITUG AJBFU AJOXV ALMA_UNASSIGNED_HOLDINGS AMFUW AMRAJ AOUOD ASPBG AVWKF AXJTR AZFZN BKOJK BLXMC CS3 DU5 E.L EBS EFJIC EFLBG EJD EO8 EO9 EP2 EP3 FDB FEDTE FGOYB FIRID FNPLU FYGXN G-2 G-Q GBLVA GBOLZ HVGLF HZ~ IHE IXB J1W KOM LG9 M26 M41 MO0 N9A NCXOZ O-L O9- OAUVE OK1 OZT P-8 P-9 P2P PC. Q38 R2- RIG ROL RPZ SDF SDG SDP SES SEW SPC SPCBC SSV SSZ T5K TN5 WUQ XPP ZMT ZY4 ~G- 9DU AATTM AAXKI AAYWO AAYXX ABWVN ACLOT ACRPL ACVFH ADCNI ADNMO ADVLN AEIPS AEUPX AFJKZ AFPUW AGQPQ AIGII AIIUN AKBMS AKRWK AKYEP ANKPU APXCP CITATION EFKBS ~HD |
| ID | FETCH-LOGICAL-c303t-f59a8575e6651dc1cc90b1e2288dded38a677db7bd788c90303211e4b0abd2453 |
| ISICitedReferencesCount | 8 |
| ISICitedReferencesURI | http://www.webofscience.com/api/gateway?GWVersion=2&SrcApp=Summon&SrcAuth=ProQuest&DestLinkType=CitingArticles&DestApp=WOS_CPL&KeyUT=000247581700004&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D |
| ISSN | 0167-6423 |
| IngestDate | Sat Nov 29 03:37:13 EST 2025 Tue Nov 18 22:27:57 EST 2025 Fri Feb 23 02:37:18 EST 2024 |
| IsDoiOpenAccess | true |
| IsOpenAccess | true |
| IsPeerReviewed | true |
| IsScholarly | true |
| Issue | 3 |
| Keywords | Coordination models Multiagent systems Orchestration languages Languages process algebra |
| Language | English |
| License | http://www.elsevier.com/open-access/userlicense/1.0 https://www.elsevier.com/tdm/userlicense/1.0 https://www.elsevier.com/open-access/userlicense/1.0 |
| LinkModel | OpenURL |
| MergedId | FETCHMERGED-LOGICAL-c303t-f59a8575e6651dc1cc90b1e2288dded38a677db7bd788c90303211e4b0abd2453 |
| OpenAccessLink | https://dx.doi.org/10.1016/j.scico.2007.01.008 |
| PageCount | 20 |
| ParticipantIDs | crossref_primary_10_1016_j_scico_2007_01_008 crossref_citationtrail_10_1016_j_scico_2007_01_008 elsevier_sciencedirect_doi_10_1016_j_scico_2007_01_008 |
| PublicationCentury | 2000 |
| PublicationDate | 2007-05-15 |
| PublicationDateYYYYMMDD | 2007-05-15 |
| PublicationDate_xml | – month: 05 year: 2007 text: 2007-05-15 day: 15 |
| PublicationDecade | 2000 |
| PublicationTitle | Science of computer programming |
| PublicationYear | 2007 |
| Publisher | Elsevier B.V |
| Publisher_xml | – name: Elsevier B.V |
| References | Gelernter (b13) 1985; 7 Omicini, Denti (b27) 2001; vol. 48 Acu, Reisig (b24) 2006; vol. 4024 Viroli (b8) 2007; 70 Jennings (b9) 2001; 44 E. Best, R. Devillers, M. Koutny, A unified model for nets and process algebras, pp. 873–944 (Chapter 14) Reisig (b25) 2005; vol. 3535 Mazzara, Lucchi (b32) 2004; vol. 105 Christensen, Curbera, Meredith, Weerawarana (b21) 2001 Mazzara, Lucchi (b18) 2007; 70 Omicini, Denti (b16) 2001; 41 Viroli (b7) 2004; vol. 105 Picco, Murphy, Roman (b15) 1999 Andrews (b2) 2003 2002 Erl (b20) 2005 E. Denti, A. Natali, A. Omicini, On the expressive power of a language for programming coordination media, in: 1998 ACM Symposium on Applied Computing, SAC’98, Atlanta, GA, 1998, pp. 169–177 Nardi (b12) 1996 Bocchi, Laneve, Zavattaro (b33) 2003; vol. 2884 Omicini, Zambonelli (b28) 1999; 2 Cámara, Canal, Cubo, Vallecillo (b4) 2006; vol. 154(1) Ricci, Omicini, Denti (b10) 2002; 11 Tucson home page. Olderog (b22) 1991 Denti, Natali, Omicini (b30) 1998 Butler, Ferreira (b6) 2000; vol. 1945 A. Omicini, E. Denti, From tuple spaces to tuple centres, Science of Computer Programming 41 (3) Joy, Gosling, Steele, Bracha (b17) 2005 Milner (b19) 1989 van der Aalst, van Hee (b3) 2004 Ricci, Viroli (b11) 2005; 29 Peltz (b1) 2003; 36 Koshkina, van Breugel (b5) 2004; 29 Dastani, Arbab, de Boer (b14) 2005 Koshkina (10.1016/j.scico.2007.01.008_b5) 2004; 29 Erl (10.1016/j.scico.2007.01.008_b20) 2005 Butler (10.1016/j.scico.2007.01.008_b6) 2000; vol. 1945 Milner (10.1016/j.scico.2007.01.008_b19) 1989 Omicini (10.1016/j.scico.2007.01.008_b16) 2001; 41 10.1016/j.scico.2007.01.008_b31 Dastani (10.1016/j.scico.2007.01.008_b14) 2005 Denti (10.1016/j.scico.2007.01.008_b30) 1998 Viroli (10.1016/j.scico.2007.01.008_b8) 2007; 70 Picco (10.1016/j.scico.2007.01.008_b15) 1999 Andrews (10.1016/j.scico.2007.01.008_b2) Joy (10.1016/j.scico.2007.01.008_b17) 2005 Nardi (10.1016/j.scico.2007.01.008_b12) 1996 Omicini (10.1016/j.scico.2007.01.008_b28) 1999; 2 Acu (10.1016/j.scico.2007.01.008_b24) 2006; vol. 4024 Christensen (10.1016/j.scico.2007.01.008_b21) van der Aalst (10.1016/j.scico.2007.01.008_b3) 2004 Jennings (10.1016/j.scico.2007.01.008_b9) 2001; 44 Mazzara (10.1016/j.scico.2007.01.008_b18) 2007; 70 10.1016/j.scico.2007.01.008_b23 Olderog (10.1016/j.scico.2007.01.008_b22) 1991 Reisig (10.1016/j.scico.2007.01.008_b25) 2005; vol. 3535 Peltz (10.1016/j.scico.2007.01.008_b1) 2003; 36 Omicini (10.1016/j.scico.2007.01.008_b27) 2001; vol. 48 Mazzara (10.1016/j.scico.2007.01.008_b32) 2004; vol. 105 Cámara (10.1016/j.scico.2007.01.008_b4) 2006; vol. 154(1) 10.1016/j.scico.2007.01.008_b29 10.1016/j.scico.2007.01.008_b26 Viroli (10.1016/j.scico.2007.01.008_b7) 2004; vol. 105 Gelernter (10.1016/j.scico.2007.01.008_b13) 1985; 7 Ricci (10.1016/j.scico.2007.01.008_b11) 2005; 29 Ricci (10.1016/j.scico.2007.01.008_b10) 2002; 11 Bocchi (10.1016/j.scico.2007.01.008_b33) 2003; vol. 2884 |
| References_xml | – volume: 70 start-page: 74 year: 2007 end-page: 95 ident: b8 article-title: A core calculus for correlation in orchestration languages publication-title: Web Services and Formal Methods – year: 2005 ident: b17 article-title: The Java Language Specification – volume: 11 start-page: 355 year: 2002 end-page: 379 ident: b10 article-title: Virtual enterprises and workflow management as agent coordination issues publication-title: International Journal of Cooperative Information Systems – year: 1996 ident: b12 article-title: Context and Consciousness: Activity Theory and Human-Computer Interaction – volume: 44 start-page: 35 year: 2001 end-page: 41 ident: b9 article-title: An agent-based approach for building complex software systems publication-title: Communication of the ACM – reference: A. Omicini, E. Denti, From tuple spaces to tuple centres, Science of Computer Programming 41 (3) – volume: 29 start-page: 433 year: 2005 end-page: 443 ident: b11 article-title: Coordination artifacts: A unifying abstraction for engineering environment-mediated coordination in MAS publication-title: Informatica – reference: Tucson home page. – volume: vol. 2884 start-page: 124 year: 2003 end-page: 138 ident: b33 article-title: A calculus for long-running transactions publication-title: Formal Methods for Open Object-Based Distributed Systems – year: 2005 ident: b20 article-title: Service-Oriented Architecture—Concepts, Technology, and Design – reference: E. Best, R. Devillers, M. Koutny, A unified model for nets and process algebras, pp. 873–944 (Chapter 14) – reference: , 2002 – start-page: 368 year: 1999 end-page: 377 ident: b15 article-title: LIME: Linda meets mobility publication-title: Proceedings of the 1999 International Conference on Software Engineering – year: 1991 ident: b22 article-title: Nets, Terms and Formulas: Three Views of Concurrent Processes and Their Relationships – volume: 2 start-page: 251 year: 1999 end-page: 269 ident: b28 article-title: Coordination for Internet application development publication-title: Coordination Mechanisms for Web Agents – year: 2003 ident: b2 article-title: Specification: Business Process Execution Language for Web Services version 1.1 – volume: 41 start-page: 277 year: 2001 end-page: 294 ident: b16 article-title: From tuple spaces to tuple centres publication-title: Science of Computer Programming – start-page: 169 year: 1998 end-page: 177 ident: b30 article-title: On the expressive power of a language for programming coordination media publication-title: Proc. of the 1998 ACM Symposium on Applied Computing – reference: E. Denti, A. Natali, A. Omicini, On the expressive power of a language for programming coordination media, in: 1998 ACM Symposium on Applied Computing, SAC’98, Atlanta, GA, 1998, pp. 169–177 – volume: vol. 154(1) start-page: 159 year: 2006 end-page: 173 ident: b4 article-title: Formalizing WSBPEL business processes using process algebra publication-title: Proceedings of the 4th International Workshop on the Foundations of Coordination Languages and Software Architectures – year: 2005 ident: b14 article-title: Coordination and composition in multi-agent systems publication-title: 4rd International Joint Conference on Autonomous Agents and Multiagent Systems – volume: 29 start-page: 1 year: 2004 end-page: 10 ident: b5 article-title: Modelling and verifying web service orchestration by means of the Concurrency Workbench publication-title: SIGSOFT Software Engineering Notes – volume: vol. 105 start-page: 133 year: 2004 end-page: 145 ident: b32 article-title: Framework for generic error handling in business processes publication-title: Workshop on Formal Models for Web Services – volume: 36 start-page: 46 year: 2003 end-page: 52 ident: b1 article-title: Web Services orchestration and choreography publication-title: IEEE Computer – volume: 70 start-page: 96 year: 2007 end-page: 118 ident: b18 article-title: A pi-calculus based semantics for WS-BPEL publication-title: Web Services and Formal Methods – volume: vol. 3535 start-page: 243 year: 2005 end-page: 258 ident: b25 article-title: Modeling- and analysis techniques for web services and business processes publication-title: Formal Methods for Open Object-Based Distributed Systems – volume: vol. 48 start-page: 179 year: 2001 end-page: 196 ident: b27 article-title: Formal publication-title: Declarative Programming—Selected Papers from AGP’00 – year: 1989 ident: b19 article-title: Communication and Concurrency – volume: vol. 105 start-page: 51 year: 2004 end-page: 71 ident: b7 article-title: Towards a formal foundational to orchestration languages publication-title: Workshop on Formal Models for Web Services – year: 2001 ident: b21 article-title: Web Services Description Language (wsdl) 1.1 – volume: 7 start-page: 80 year: 1985 end-page: 112 ident: b13 article-title: Generative communication in Linda publication-title: ACM Transactions on Programming Languages and Systems – year: 2004 ident: b3 article-title: Workflow Management: Models, Methods, and Systems – volume: vol. 4024 start-page: 65 year: 2006 end-page: 83 ident: b24 article-title: Compensation in workflow nets publication-title: Petri Nets and Other Models of Concurrency—ICATPN 2006, 27th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, Proceedings – volume: vol. 1945 start-page: 61 year: 2000 end-page: 76 ident: b6 article-title: A process compensation language publication-title: Integrated Formal Methods IFM2000 – year: 2004 ident: 10.1016/j.scico.2007.01.008_b3 – start-page: 368 year: 1999 ident: 10.1016/j.scico.2007.01.008_b15 article-title: LIME: Linda meets mobility – volume: vol. 4024 start-page: 65 year: 2006 ident: 10.1016/j.scico.2007.01.008_b24 article-title: Compensation in workflow nets – volume: vol. 154(1) start-page: 159 year: 2006 ident: 10.1016/j.scico.2007.01.008_b4 article-title: Formalizing WSBPEL business processes using process algebra – year: 1989 ident: 10.1016/j.scico.2007.01.008_b19 – year: 2005 ident: 10.1016/j.scico.2007.01.008_b20 – volume: vol. 2884 start-page: 124 year: 2003 ident: 10.1016/j.scico.2007.01.008_b33 article-title: A calculus for long-running transactions – volume: vol. 105 start-page: 51 year: 2004 ident: 10.1016/j.scico.2007.01.008_b7 article-title: Towards a formal foundational to orchestration languages – ident: 10.1016/j.scico.2007.01.008_b21 – volume: vol. 1945 start-page: 61 year: 2000 ident: 10.1016/j.scico.2007.01.008_b6 article-title: A process compensation language – ident: 10.1016/j.scico.2007.01.008_b26 doi: 10.1016/S0167-6423(01)00011-9 – volume: vol. 105 start-page: 133 year: 2004 ident: 10.1016/j.scico.2007.01.008_b32 article-title: Framework for generic error handling in business processes – year: 1991 ident: 10.1016/j.scico.2007.01.008_b22 – volume: 11 start-page: 355 issue: 3–4 year: 2002 ident: 10.1016/j.scico.2007.01.008_b10 article-title: Virtual enterprises and workflow management as agent coordination issues publication-title: International Journal of Cooperative Information Systems doi: 10.1142/S0218843002000637 – volume: vol. 3535 start-page: 243 year: 2005 ident: 10.1016/j.scico.2007.01.008_b25 article-title: Modeling- and analysis techniques for web services and business processes – year: 1996 ident: 10.1016/j.scico.2007.01.008_b12 – volume: 2 start-page: 251 issue: 3 year: 1999 ident: 10.1016/j.scico.2007.01.008_b28 article-title: Coordination for Internet application development publication-title: Autonomous Agents and Multi-Agent Systems doi: 10.1023/A:1010060322135 – volume: 36 start-page: 46 issue: 10 year: 2003 ident: 10.1016/j.scico.2007.01.008_b1 article-title: Web Services orchestration and choreography publication-title: IEEE Computer doi: 10.1109/MC.2003.1236471 – volume: vol. 48 start-page: 179 year: 2001 ident: 10.1016/j.scico.2007.01.008_b27 article-title: Formal ReSpecT – ident: 10.1016/j.scico.2007.01.008_b2 – volume: 29 start-page: 1 issue: 5 year: 2004 ident: 10.1016/j.scico.2007.01.008_b5 article-title: Modelling and verifying web service orchestration by means of the Concurrency Workbench publication-title: SIGSOFT Software Engineering Notes doi: 10.1145/1022494.1022526 – ident: 10.1016/j.scico.2007.01.008_b23 doi: 10.1016/B978-044482830-9/50032-1 – volume: 44 start-page: 35 issue: 4 year: 2001 ident: 10.1016/j.scico.2007.01.008_b9 article-title: An agent-based approach for building complex software systems publication-title: Communication of the ACM doi: 10.1145/367211.367250 – year: 2005 ident: 10.1016/j.scico.2007.01.008_b14 article-title: Coordination and composition in multi-agent systems – volume: 7 start-page: 80 issue: 1 year: 1985 ident: 10.1016/j.scico.2007.01.008_b13 article-title: Generative communication in Linda publication-title: ACM Transactions on Programming Languages and Systems doi: 10.1145/2363.2433 – start-page: 169 year: 1998 ident: 10.1016/j.scico.2007.01.008_b30 article-title: On the expressive power of a language for programming coordination media – volume: 70 start-page: 74 issue: 1 year: 2007 ident: 10.1016/j.scico.2007.01.008_b8 article-title: A core calculus for correlation in orchestration languages publication-title: Journal of Logic and Algebraic Programming doi: 10.1016/j.jlap.2006.05.006 – year: 2005 ident: 10.1016/j.scico.2007.01.008_b17 – ident: 10.1016/j.scico.2007.01.008_b29 – volume: 70 start-page: 96 issue: 1 year: 2007 ident: 10.1016/j.scico.2007.01.008_b18 article-title: A pi-calculus based semantics for WS-BPEL publication-title: Journal of Logic and Algebraic Programming doi: 10.1016/j.jlap.2006.05.007 – volume: 29 start-page: 433 year: 2005 ident: 10.1016/j.scico.2007.01.008_b11 article-title: Coordination artifacts: A unifying abstraction for engineering environment-mediated coordination in MAS publication-title: Informatica – ident: 10.1016/j.scico.2007.01.008_b31 doi: 10.1145/330560.330665 – volume: 41 start-page: 277 issue: 3 year: 2001 ident: 10.1016/j.scico.2007.01.008_b16 article-title: From tuple spaces to tuple centres publication-title: Science of Computer Programming doi: 10.1016/S0167-6423(01)00011-9 |
| SSID | ssj0006471 |
| Score | 1.8219776 |
| Snippet | The BPEL language is currently the primary candidate for standardising Web Services orchestration. BPEL specifications are meant to be run by BPEL... |
| SourceID | crossref elsevier |
| SourceType | Enrichment Source Index Database Publisher |
| StartPage | 226 |
| SubjectTerms | Coordination models Languages process algebra Multiagent systems Orchestration languages |
| Title | Engineering a BPEL orchestration engine as a multi-agent system |
| URI | https://dx.doi.org/10.1016/j.scico.2007.01.008 |
| Volume | 66 |
| WOSCitedRecordID | wos000247581700004&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D |
| hasFullText | 1 |
| inHoldings | 1 |
| isFullTextHit | |
| isPrint | |
| journalDatabaseRights | – providerCode: PRVESC databaseName: Elsevier SD Freedom Collection Journals 2021 customDbUrl: eissn: 1872-7964 dateEnd: 20180131 omitProxy: false ssIdentifier: ssj0006471 issn: 0167-6423 databaseCode: AIEXJ dateStart: 19950201 isFulltext: true titleUrlDefault: https://www.sciencedirect.com providerName: Elsevier |
| link | http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwtV3Na9swFBcl7WGXdls3mn2hw26pwbJjST6NbGSsY4QwUsjN6MuQfjghzkr-_D1ZkuusJayHXkyQLdvx7-f3nuSn90PocxxrCARSE2lJeDQkPIdXKikjrkvARAtb36QRm2CTCZ_P86mfyq4bOQFWVXy7zVfPCjW0Adh26ewT4G5PCg3wG0CHLcAO2_8CvlNhcCAGX6fjX4PlupHF8mCb5gArMCNcPmEk7PoqX9S5G62GF9-nnlv1h5DQdRtcnhXrWljpH5eEv75etrGxTURqbG0FxrZt_r1QauHX1tS1sAUTdqYemP1q7hZfhtlIsLIwgEm75tSJqHjapF3bmNCOm01cFckHFtxNJlzB2B7uzJeYJLYI7b3DCh_p__FjbXZhSFy7KpqTWKVNVsSkaBaFHyYsy3kPHY4uxvOfrdOmbmze_qNQoKpJBXxwL48HMZ3AZPYSHfsRBR45JrxCB6Z6jU6CWgf2GJ6iLx1iYIEtMfAOMbAjBhY17O4QAztivEGX38ezbz8iL58RKYhLNlGZ5cLqrxpKM6IVUSqPJTFJwjn4NJ1yQRnTkknNOId90CkhxAxlLKQGeNK3qFctK3OGcEmM0lRnUsRqGEshuVKUxlKWQ2HHAH2UhOdRKF9b3kqc3BR7sOij87bTypVW2X84DQ-68NGhi_oKoM6-ju-edp336MU91z-g3mb9x3xER-pus6jXnzxv_gIVyYcg |
| linkProvider | Elsevier |
| openUrl | ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.genre=article&rft.atitle=Engineering+a+BPEL+orchestration+engine+as+a+multi-agent+system&rft.jtitle=Science+of+computer+programming&rft.au=Viroli%2C+Mirko&rft.au=Denti%2C+Enrico&rft.au=Ricci%2C+Alessandro&rft.date=2007-05-15&rft.issn=0167-6423&rft.volume=66&rft.issue=3&rft.spage=226&rft.epage=245&rft_id=info:doi/10.1016%2Fj.scico.2007.01.008&rft.externalDBID=n%2Fa&rft.externalDocID=10_1016_j_scico_2007_01_008 |
| thumbnail_l | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/lc.gif&issn=0167-6423&client=summon |
| thumbnail_m | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/mc.gif&issn=0167-6423&client=summon |
| thumbnail_s | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/sc.gif&issn=0167-6423&client=summon |