{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,29]],"date-time":"2024-10-29T09:48:49Z","timestamp":1730195329021,"version":"3.28.0"},"reference-count":36,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015,11]]},"DOI":"10.1109\/aiccsa.2015.7507161","type":"proceedings-article","created":{"date-parts":[[2016,8,12]],"date-time":"2016-08-12T00:26:39Z","timestamp":1470961599000},"page":"1-8","source":"Crossref","is-referenced-by-count":0,"title":["An abstract machine for integrating heterogeneous web applications"],"prefix":"10.1109","author":[{"given":"Marcio A.","family":"Macedo","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Daniel A. S.","family":"Carvalho","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Martin A.","family":"Musicante","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alberto","family":"Pardo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Umberto S.","family":"Costa","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"article-title":"Networkx","year":"2015","author":"hagberg","key":"ref33"},{"article-title":"Ply, python lex-yacc (2001)","year":"2015","author":"beazley","key":"ref32"},{"article-title":"Python","year":"2015","author":"foundation","key":"ref31"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-71289-3_20"},{"article-title":"Introducing Windows Workflow Foundation","year":"2012","author":"chappell","key":"ref36"},{"article-title":"PEWS-RT: A runtime system for PEWS","year":"2013","author":"medeiros","key":"ref35"},{"article-title":"A Graph Reduction Machine for Web Service Compositions","year":"2012","author":"da silva carvalho","key":"ref34"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/SSDM.2004.1311241"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1093\/nar\/gkt328"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/APSCC.2007.36"},{"key":"ref13","article-title":"Formalization, verification and restructuring of bpel models with pi calculus and model checking","author":"xu","year":"2006","journal-title":"IBM Research Report Computer Science"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/ICWS.2004.1314753"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1007\/11549970_23"},{"key":"ref16","first-page":"122","article-title":"A Formal Semantics for the Business Process Execution Language for Web Services","author":"farahbod","year":"2005","journal-title":"WSMDEIS"},{"journal-title":"Complete Abstract Operational Semantics for the Web Service Business Process Execution Language","year":"2005","author":"fahland","key":"ref17"},{"key":"ref18","first-page":"1","article-title":"A Petri net semantic for BPEL4WS - validation and application","author":"schmidt","year":"2004","journal-title":"Proceedings of the 11th Workshop on Algorithms and Tools for Petri Nets"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2004.11.011"},{"article-title":"The Java Virtual Machine Specification","year":"2013","author":"lindholm","key":"ref28"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1524\/itit.2011.9070"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1145\/989393.989409"},{"journal-title":"Tech Rep","article-title":"Business Process Model and Notation (BPMN) Version 2.0","year":"2011","key":"ref3"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1145\/1327452.1327492"},{"journal-title":"Compilers Principles Techniques and Tools (2nd Edition)","year":"2006","author":"aho","key":"ref29"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1145\/1721654.1721672"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-04244-2_25"},{"article-title":"Hadoop powered by","year":"2014","author":"foundation","key":"ref7"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-02138-1_1"},{"key":"ref9","first-page":"1098","article-title":"A comparison of using Taverna and BPEL in building scientific workflows: the case of caGrid","volume":"22","author":"tan","year":"2010","journal-title":"Concurrency and Computation Practice and Experience"},{"journal-title":"Tech Rep","article-title":"Web Services Business Process Execution Language Version 2.0","year":"2007","key":"ref1"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-00945-7_5"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-11503-5_2"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.4204\/EPTCS.36.2"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1145\/2480362.2480676"},{"journal-title":"Apache Oozie","year":"2014","author":"islam","key":"ref23"},{"article-title":"Semantics and Pragmatics of Lambda-calculus","year":"1971","author":"wadsworth","key":"ref26"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1023\/A:1022883727209"}],"event":{"name":"2015 IEEE\/ACS 12th International Conference of Computer Systems and Applications (AICCSA)","start":{"date-parts":[[2015,11,17]]},"location":"Marrakech, Morocco","end":{"date-parts":[[2015,11,20]]}},"container-title":["2015 IEEE\/ACS 12th International Conference of Computer Systems and Applications (AICCSA)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7502233\/7507087\/07507161.pdf?arnumber=7507161","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,17]],"date-time":"2017-03-17T16:50:43Z","timestamp":1489769443000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7507161\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,11]]},"references-count":36,"URL":"https:\/\/doi.org\/10.1109\/aiccsa.2015.7507161","relation":{},"subject":[],"published":{"date-parts":[[2015,11]]}}}