{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,5]],"date-time":"2025-02-05T03:40:18Z","timestamp":1738726818817,"version":"3.37.0"},"reference-count":18,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2008,12,1]],"date-time":"2008-12-01T00:00:00Z","timestamp":1228089600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Front. Comput. Sci. China"],"published-print":{"date-parts":[[2008,12]]},"DOI":"10.1007\/s11704-008-0038-3","type":"journal-article","created":{"date-parts":[[2008,12,4]],"date-time":"2008-12-04T06:10:17Z","timestamp":1228371017000},"page":"398-412","source":"Crossref","is-referenced-by-count":0,"title":["Workflow-based semantics for peer-to-peer specifications"],"prefix":"10.1007","volume":"2","author":[{"given":"Antonio","family":"Brogi","sequence":"first","affiliation":[]},{"given":"Razvan","family":"Popescu","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2008,12,5]]},"reference":[{"issue":"4","key":"38_CR1","first-page":"161","volume":"31","author":"S. Ratnasamy","year":"2001","unstructured":"Ratnasamy S, Francis P, Handley M, et al. A scalable contentaddressable network. In: Proceedings of the International Conference of the Special Interest Group on Data Communication, California, United States, 2001, 31(4): 161\u2013172","journal-title":"Proceedings of the International Conference of the Special Interest Group on Data Communication"},{"key":"38_CR2","unstructured":"Albano M, Brogi A, Popescu R, et al. Towards secure middleware for embedded peer-to-peer systems: objectives and requirements. In: Proceedings of the 2nd Workshop on Requirements and Solutions for Pervasive Software Infrastructures. Innsbruck, Austria, 2007"},{"issue":"4","key":"38_CR3","doi-asserted-by":"crossref","first-page":"245","DOI":"10.1016\/j.is.2004.02.002","volume":"30","author":"A. W. M. P. van der","year":"2005","unstructured":"Wil M P van der Aalst, Arthur H M ter Hofstede. YAWL: yet another workflow language. Information Systems, 2005, 30(4): 245\u2013275","journal-title":"Information Systems"},{"key":"38_CR4","first-page":"475","volume-title":"Lecture Notes in Computer Science","author":"E. Verbeek","year":"2000","unstructured":"Verbeek E, Wil M P van der Aalst. Woflan 2.0: A petri-netbased workflow diagnosis tool. In: Nielsen M, Simpson D, eds. Lecture Notes in Computer Science. Berlin: Springer-Verlag, 2000, 1825: 475\u2013484."},{"key":"38_CR5","doi-asserted-by":"crossref","unstructured":"Benigni F, Brogi A, Buchholz J L, et al. Secure P2P programming on top of tuple spaces. In: Proceedings of the Workshop on Coordination Models and Applications: Knowledge in Pervasive Environments, Rome, Italy, 2008","DOI":"10.1109\/WETICE.2008.29"},{"issue":"4","key":"38_CR6","first-page":"5","volume":"194","author":"A. Brogi","year":"2008","unstructured":"Brogi A, Popescu R, Gutierrez F, et al. A service-oriented model for embedded peer-to-peer systems. In: Proceedings of the International Workshop on Foundations of Coordination Languages and Software Architecture, Electronic Notes in Theoretical Computer Science, 2008, 194(4):5\u201322","journal-title":"Proceedings of the International Workshop on Foundations of Coordination Languages and Software Architecture"},{"key":"38_CR7","doi-asserted-by":"crossref","unstructured":"Duran F, Gutierrez F, Lopez P, et al. A formalization of the SMEPP model in Maude. In: Proceedings of the 1st International Workshop on Middleware for Mobile Embedded Peer-to-Peer Systems, Trinity College Dublin, Ireland, 2008","DOI":"10.4108\/ICST.MOBIQUITOUS2008.3916"},{"key":"38_CR8","first-page":"47","volume":"114","author":"S. Alda","year":"2005","unstructured":"Alda S, Cremers A B. Towards composition management for component-based peer-to-peer architectures. In: Proceedings of Software Composition Workshop, affiliated to European Joint Conference on Theory and Practice of Software, Electronic Notes in Theoretical Computer Science, 2005, 114: 47\u201364","journal-title":"Proceedings of Software Composition Workshop, affiliated to European Joint Conference on Theory and Practice of Software, Electronic Notes in Theoretical Computer Science"},{"key":"38_CR9","doi-asserted-by":"crossref","unstructured":"Bisignano M, Modica G D, Tomarchio O. JMobiPeer: A middleware for mobile peer-to-peer computing in manets. In: Proceedings of the 25th International Conference on Distributed Computing Systems Workshops, 2005, 785\u2013791","DOI":"10.1109\/ICDCSW.2005.82"},{"key":"38_CR10","doi-asserted-by":"crossref","unstructured":"Gehlen G, Pham L. Mobile web services for peer-to-peer applications. In: Proceedings of the 2nd Consumer Communications and Networking Conference, 2005, 427\u2013433","DOI":"10.1109\/CCNC.2005.1405210"},{"key":"38_CR11","first-page":"1","volume":"3","author":"R. Handorean","year":"2006","unstructured":"Handorean R, Sen R, Hackmann G, et al. Supporting predictable service provision in manets via context aware session management. Journal of World-Systems Research, 2006, 3: 1\u201326","journal-title":"Journal of World-Systems Research"},{"key":"38_CR12","doi-asserted-by":"crossref","unstructured":"Lucchi R, Zavattaro G. WSSecSpaces: a secure data-driven coordination service for web services applications. In: Proceedings of Symposium on Applied Computing, 2004, 487\u2013491","DOI":"10.1145\/967900.968001"},{"key":"38_CR13","doi-asserted-by":"crossref","first-page":"107","DOI":"10.1007\/11841197_7","volume":"4184","author":"A. Brogi","year":"2006","unstructured":"Brogi A, Popescu R. From BPEL processes to YAWL workflows. In: Proceedings of 3rd Workshop on Web Service and Formal Methods, Lecture Notes in Computer Science, 2006, 4184: 107\u2013122","journal-title":"Proceedings of 3rd Workshop on Web Service and Formal Methods"},{"key":"38_CR14","unstructured":"Popescu R. Aggregation and adaptation of web services. VDM Verlag, Dr. M\u00fcller, 2008, ISBN: 383646280X"},{"key":"38_CR15","doi-asserted-by":"crossref","unstructured":"Maheshwari P, Kanhere S S, Parameswaran N. Serviceoriented middleware for peer-to-peer computing. In: Proceedings of the 3rd International Conference on Industry Informatics, 2005, 98\u2013103","DOI":"10.1109\/INDIN.2005.1560359"},{"key":"38_CR16","doi-asserted-by":"crossref","unstructured":"Arias-Fisteus J, Fern\u00e1ndez L S, Kloos C D. Formal verification of BPEL4WS business collaborations. In: Bauknecht K, Bichler M, Pr\u00f6ll B, eds. E-Commerce and Web Technologies. Lecture Notes in Compute Science, Springer, 2004, 3182: 76\u201385","DOI":"10.1007\/978-3-540-30077-9_8"},{"key":"38_CR17","doi-asserted-by":"crossref","first-page":"220","DOI":"10.1007\/11538394_15","volume":"3649","author":"S. Hinz","year":"2005","unstructured":"Hinz S, Schmidt K, Stahl C. Transforming BPEL to Petri Nets. In: Proceedings of the 3rd International Conference on Business Process Management, 2005, 3649: 220\u2013235","journal-title":"Proceedings of the 3rd International Conference on Business Process Management"},{"issue":"1","key":"38_CR18","first-page":"159","volume":"154","author":"J. C. J. C\u00e1mara","year":"2006","unstructured":"C\u00e1mara J C J, Canal C, Vallecillo A. Formalizing WSBPEL business processes using process algebra. In: Proceedings of the 4th International Workshop on the Foundations of Coordination Languages and Software Architectures, Electronic Notes in Theoretical Computer Science, 2006, 154(1): 159\u2013173","journal-title":"Proceedings of the 4th International Workshop on the Foundations of Coordination Languages and Software Architectures, Electronic Notes in Theoretical Computer Science"}],"container-title":["Frontiers of Computer Science in China"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11704-008-0038-3.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11704-008-0038-3\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11704-008-0038-3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,5]],"date-time":"2025-02-05T02:55:03Z","timestamp":1738724103000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11704-008-0038-3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,12]]},"references-count":18,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2008,12]]}},"alternative-id":["38"],"URL":"https:\/\/doi.org\/10.1007\/s11704-008-0038-3","relation":{},"ISSN":["1673-7350","1673-7466"],"issn-type":[{"type":"print","value":"1673-7350"},{"type":"electronic","value":"1673-7466"}],"subject":[],"published":{"date-parts":[[2008,12]]}}}