{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T05:59:47Z","timestamp":1729663187019,"version":"3.28.0"},"reference-count":38,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012,6]]},"DOI":"10.1109\/dest.2012.6227907","type":"proceedings-article","created":{"date-parts":[[2012,7,10]],"date-time":"2012-07-10T17:37:25Z","timestamp":1341941845000},"page":"1-6","source":"Crossref","is-referenced-by-count":0,"title":["An animation tool for exploring transactions in a DE"],"prefix":"10.1109","author":[{"given":"Sotiris","family":"Moschoyiannis","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Paul J.","family":"Krause","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Pavlos","family":"Georgiou","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"19","doi-asserted-by":"crossref","first-page":"285","DOI":"10.1007\/BFb0013025","article-title":"Basic notions of trace theory","volume":"354","author":"mazurkiewicz","year":"1988","journal-title":"Workshop on Linear Time Branching Time Partial Order in Logics and Models for Concurrency"},{"key":"35","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4471-0933-4"},{"key":"17","doi-asserted-by":"publisher","DOI":"10.1109\/DEST.2009.5276716"},{"journal-title":"Web Services Architecture","year":"2009","key":"36"},{"key":"18","first-page":"251","article-title":"Towards a web of models: A rule-driven RESTful architecture for distributed applications","volume":"6403","author":"marinos","year":"2010","journal-title":"Proceedings RuleML 2010"},{"journal-title":"RESTful Web Services","year":"2007","author":"richardson","key":"33"},{"key":"15","first-page":"282","article-title":"Foundations of web transactions","volume":"3441","author":"lavene","year":"2005","journal-title":"Proceedings FoSSaCS'05"},{"key":"34","doi-asserted-by":"publisher","DOI":"10.1093\/comjnl\/28.5.449"},{"key":"16","article-title":"Web Services Transactions: Past, present, and future","author":"little","year":"2003","journal-title":"XML Conference & Exposition"},{"journal-title":"Communicating Sequential Processes","year":"1985","author":"hoare","key":"13"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1109\/DEST.2009.5276757"},{"journal-title":"Web Services Choreography Description Language (WSCDL)","year":"2006","key":"37"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2006.10.046"},{"journal-title":"Web Service Choreography Interface (WSCI) 1 0","year":"2002","key":"38"},{"year":"0","key":"12"},{"journal-title":"Calculus of Communicating Systems","year":"1989","author":"milner","key":"21"},{"key":"20","doi-asserted-by":"crossref","first-page":"23","DOI":"10.4156\/jdcta.vol4.issue8.3","article-title":"Verifying web services composition based on interface automata using SPIN","volume":"4","author":"mei","year":"2010","journal-title":"International Journal of Digital Content Technology and its Applications"},{"key":"22","article-title":"True concurrency in long-running transactions for digital ecosystems","author":"moschoyiannis","year":"2012","journal-title":"Fundamenta Informaticae"},{"key":"23","article-title":"A coordination model for distributed transactions in digital ecosystems","author":"moschoyiannis","year":"2007","journal-title":"IEEE Digital Ecosystems and Technologies (IEEE-DEST'07)"},{"key":"24","doi-asserted-by":"publisher","DOI":"10.1109\/DEST.2008.4635168"},{"key":"25","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2010.06.005"},{"key":"26","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(81)90112-2"},{"journal-title":"Business Transaction Protocol (BTP)","year":"2002","key":"27"},{"journal-title":"Web Services Business Process Execution Language (WSBPEL) Version 2 0","year":"2005","key":"28"},{"journal-title":"Web Services Transaction (Ws-Tx)","year":"0","key":"29"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.4018\/978-1-59140-575-7.ch041"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1109\/DEST.2007.372005"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1145\/38714.38742"},{"key":"1","first-page":"124","article-title":"A calculus for long-running transactions","volume":"2884","author":"bocchi","year":"2003","journal-title":"Proceedings FMOODS'03"},{"key":"30","doi-asserted-by":"publisher","DOI":"10.1109\/WISE.2003.1254461"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1109\/WETICE.2005.57"},{"key":"6","first-page":"79","article-title":"Information technology for small and medium-sized tourims enterprises: Adaptation and benefits","volume":"2","author":"buhalis","year":"1999","journal-title":"Information Technology and Tourism"},{"key":"32","article-title":"Non-sequential processes","author":"petri","year":"1977","journal-title":"GMD-ISF Report 77 05"},{"key":"5","doi-asserted-by":"crossref","first-page":"209","DOI":"10.1145\/1047659.1040323","article-title":"Theoretical foundations for compensations in flow composition languages","author":"bruni","year":"2005","journal-title":"ACM SIGPLAN"},{"key":"31","doi-asserted-by":"publisher","DOI":"10.1142\/S0218843008001816"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2004.05.007"},{"key":"9","first-page":"87","article-title":"An Operational Semantics for StAC, al language or modelling long-running business transactions","volume":"2949","author":"butler","year":"2004","journal-title":"COORDINATION'04"},{"key":"8","first-page":"133","article-title":"Trace semantics for long- running transactions","volume":"3525","author":"butler","year":"2005","journal-title":"25 Years of CSP"}],"event":{"name":"2012 6th IEEE International Conference on Digital Ecosystems and Technologies (DEST) - Complex Environment Engineering","start":{"date-parts":[[2012,6,18]]},"location":"Campione d'Italia, Italy","end":{"date-parts":[[2012,6,20]]}},"container-title":["2012 6th IEEE International Conference on Digital Ecosystems and Technologies (DEST)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/6222390\/6227884\/06227907.pdf?arnumber=6227907","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,20]],"date-time":"2017-06-20T17:11:19Z","timestamp":1497978679000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6227907\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,6]]},"references-count":38,"URL":"https:\/\/doi.org\/10.1109\/dest.2012.6227907","relation":{},"subject":[],"published":{"date-parts":[[2012,6]]}}}