{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,3,30]],"date-time":"2022-03-30T17:54:56Z","timestamp":1648662896086},"reference-count":42,"publisher":"Elsevier BV","issue":"3","license":[{"start":{"date-parts":[[2013,2,1]],"date-time":"2013-02-01T00:00:00Z","timestamp":1359676800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Decision Support Systems"],"published-print":{"date-parts":[[2013,2]]},"DOI":"10.1016\/j.dss.2012.12.017","type":"journal-article","created":{"date-parts":[[2012,12,23]],"date-time":"2012-12-23T21:15:42Z","timestamp":1356297342000},"page":"1463-1476","source":"Crossref","is-referenced-by-count":6,"title":["Reliable Web service selection in choreographed environments"],"prefix":"10.1016","volume":"54","author":[{"given":"San-Yih","family":"Hwang","sequence":"first","affiliation":[]},{"given":"Chien-Hsiang","family":"Lee","sequence":"additional","affiliation":[]}],"member":"78","reference":[{"key":"10.1016\/j.dss.2012.12.017_bb0010","series-title":"4th International Conference on Service-Oriented Computing (ICSOC 2006)","first-page":"339","article-title":"A Priori Conformance Verification for Guaranteeing Interoperability in Open Environments","author":"Baldoni","year":"2006"},{"issue":"4","key":"10.1016\/j.dss.2012.12.017_bb0015","doi-asserted-by":"crossref","first-page":"247","DOI":"10.1504\/IJBPIM.2007.017751","article-title":"Reasoning on choreographies and capability requirements","volume":"2","author":"Baldoni","year":"2007","journal-title":"International Journal of Business Process Integration and Management"},{"key":"10.1016\/j.dss.2012.12.017_bb0020","series-title":"Emerging Web Services Technology","first-page":"5","article-title":"Service Selection by Choreography-Driven Matching","author":"Baldoni","year":"2008"},{"key":"10.1016\/j.dss.2012.12.017_bb0005","series-title":"8th International Conference on Autonomous Agents and Multiagent Systems","first-page":"843","article-title":"Choice, Interoperability, and Conformance in Interaction Protocols and Service Choreographies","author":"Baldoni","year":"2009"},{"key":"10.1016\/j.dss.2012.12.017_bb0025","series-title":"2007 IEEE International Conference on Web Services (ICWS 2007)","first-page":"86","article-title":"Improved Matchmaking Algorithm for Semantic Web Services Based on Bipartite Gaph Matching","author":"Bellur","year":"2007"},{"key":"10.1016\/j.dss.2012.12.017_bb0030","series-title":"Test and Analysis of Web Services","first-page":"57","article-title":"Analyzing Conversations: Realizability, Synchronizability, and Verification","author":"Bultan","year":"2007"},{"issue":"3","key":"10.1016\/j.dss.2012.12.017_bb0035","doi-asserted-by":"crossref","first-page":"63","DOI":"10.4018\/jwsr.2004070104","article-title":"Towards a framework for agent-enabled semantic Web service composition","volume":"1","author":"Ermolayev","year":"2004","journal-title":"International Journal of Web Services Research"},{"key":"10.1016\/j.dss.2012.12.017_bb0040","series-title":"2004 IEEE International Conference on Web Services (ICWS 2004)","first-page":"738","article-title":"Compatibility Verification for Web Service Choreography","author":"Foster","year":"2004"},{"key":"10.1016\/j.dss.2012.12.017_bb0045","series-title":"2006 Advanced International Conference on Telecommunication and International Conference on Internet and Web Applications and Services","article-title":"Model-Based Analysis of Obligations in Web Service Choreography","author":"Foster","year":"2006"},{"issue":"3","key":"10.1016\/j.dss.2012.12.017_bb0050","doi-asserted-by":"crossref","first-page":"43","DOI":"10.1109\/MIC.2006.64","article-title":"Reliability prediction for service-oriented computing environments","volume":"10","author":"Grassi","year":"2006","journal-title":"IEEE Internet Computing"},{"key":"10.1016\/j.dss.2012.12.017_bb0055","series-title":"2009 IEEE International Conference on Web Services (ICWS 2009)","first-page":"213","article-title":"Timed Model Checking Based Approach for Web Services Analysis","author":"Guermouche","year":"2009"},{"key":"10.1016\/j.dss.2012.12.017_bb0060","series-title":"2010 6th World Congress on Services (SERVICES-1","first-page":"479","article-title":"Real-Time Service-Oriented Distributed Governance","author":"Huang","year":"2010"},{"issue":"2","key":"10.1016\/j.dss.2012.12.017_bb0075","doi-asserted-by":"crossref","first-page":"104","DOI":"10.1109\/TSC.2008.2","article-title":"Dynamic Web service selection for reliable Web service composition","volume":"1","author":"Hwang","year":"2008","journal-title":"IEEE Transactions on Services Computing"},{"key":"10.1016\/j.dss.2012.12.017_bb0070","series-title":"2010 IEEE International Conference on Web Services (ICWS 2010)","first-page":"115","article-title":"Web Services Selection in Support of Reliable Web Service Choreography","author":"Hwang","year":"2010"},{"key":"10.1016\/j.dss.2012.12.017_bb0065","series-title":"2011 IEEE International Conference on Service Oriented Computing and Applications (SOCA 2011)","article-title":"Verifying Web Services in a Choreography Environment","author":"Hwang","year":"2011"},{"key":"10.1016\/j.dss.2012.12.017_bb0080","series-title":"Autonomic Networking","first-page":"159","article-title":"An Approach to Integrated Semantic Service Discovery","author":"Jiang","year":"2006"},{"key":"10.1016\/j.dss.2012.12.017_bb0085","author":"Kavantzas"},{"key":"10.1016\/j.dss.2012.12.017_bb0090","series-title":"6th International Conference on Electrical Engineering\/Electronics, Computer, Telecommunications and Information Technology (ECTI-CON 2009)","first-page":"731","article-title":"A Client Perceived QoS Model for Web Services Selection","author":"Kulnarattana","year":"2009"},{"issue":"5","key":"10.1016\/j.dss.2012.12.017_bb0095","doi-asserted-by":"crossref","first-page":"686","DOI":"10.1109\/TKDE.2005.82","article-title":"Toward an agent-based and context-oriented approach for Web services composition","volume":"17","author":"Maamar","year":"2005","journal-title":"IEEE Transactions on Knowledge and Data Engineering"},{"issue":"6","key":"10.1016\/j.dss.2012.12.017_bb0100","doi-asserted-by":"crossref","first-page":"72","DOI":"10.1109\/MIC.2002.1067740","article-title":"QoS issues in Web services","volume":"6","author":"Menasce","year":"2002","journal-title":"IEEE Internet Computing"},{"key":"10.1016\/j.dss.2012.12.017_bb0105","series-title":"2008 IEEE International Conference on Services Computing (SCC 2008)","first-page":"395","article-title":"Optimum Decentralized Choreography for Web Services Composition","author":"Mitra","year":"2008"},{"issue":"1","key":"10.1016\/j.dss.2012.12.017_bb0110","doi-asserted-by":"crossref","DOI":"10.1145\/1658373.1658376","article-title":"Declarative Specification and Verification of Service Choreographies","volume":"4","author":"Montali","year":"2009","journal-title":"ACM Transactions on the Web"},{"key":"10.1016\/j.dss.2012.12.017_bb0115","series-title":"The IEEE\/WIC\/ACM International Conference on Intelligent Agent Technology (IAT 2006)","first-page":"73","article-title":"Towards Agent-Based Coalition Formation for Service Composition","author":"Muller","year":"2006"},{"key":"10.1016\/j.dss.2012.12.017_bb0120","series-title":"Linear Algebra with Applications","author":"Nakos","year":"1998"},{"key":"10.1016\/j.dss.2012.12.017_bb0125","series-title":"1st International Semantic Web Conference (ISWC 2002)","first-page":"333","article-title":"Semantic Matching of Web Services Capabilities","author":"Paolucci","year":"2002"},{"key":"10.1016\/j.dss.2012.12.017_bb0130","series-title":"Petri Net Theory and the Modeling of Systems","author":"Peterson","year":"1981"},{"key":"10.1016\/j.dss.2012.12.017_bb0135","series-title":"14th International Conference on Computer Aided Verification (CAV 2002)","first-page":"299","article-title":"Conformance Checking for Models of Asynchronous Message Passing Software","author":"Rajamani","year":"2002"},{"issue":"1","key":"10.1016\/j.dss.2012.12.017_bb0140","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/844357.844360","article-title":"A model for Web services discovery with QoS","volume":"4","author":"Ran","year":"2003","journal-title":"SIGecom Exchanges"},{"key":"10.1016\/j.dss.2012.12.017_bb0145","series-title":"Automata, computability and complexity: theory and applications","first-page":"149","article-title":"Manipulating and Simplifying Regular Expressions","author":"Rich","year":"2008"},{"key":"10.1016\/j.dss.2012.12.017_bb0150","series-title":"2009 IEEE International Conference on Web Services (ICWS 2009)","first-page":"1","article-title":"The SCIFC Model for Information Flow Control in Web Service Composition","author":"She","year":"2009"},{"key":"10.1016\/j.dss.2012.12.017_bb0155","series-title":"Introduction to the Theory of Computation","author":"Sipser","year":"1996"},{"issue":"1","key":"10.1016\/j.dss.2012.12.017_bb0160","doi-asserted-by":"crossref","first-page":"243","DOI":"10.1016\/j.dss.2006.09.011","article-title":"Syndicating Web services: a QoS and user-driven approach","volume":"43","author":"Sun","year":"2007","journal-title":"Decision Support Systems"},{"key":"10.1016\/j.dss.2012.12.017_bb0165","series-title":"2005 Australian Software Engineering Conference (ASWEC 2005)","first-page":"202","article-title":"Automatic Measurement of a QoS Metric for Web Service Recommendation","author":"Thio","year":"2005"},{"issue":"12","key":"10.1016\/j.dss.2012.12.017_bb0170","doi-asserted-by":"crossref","first-page":"2008","DOI":"10.1109\/TPDS.2011.127","article-title":"A distributed algorithm for Web service composition based on service agent model","volume":"22","author":"Tong","year":"2011","journal-title":"IEEE Transactions on Parallel and Distributed Systems"},{"key":"10.1016\/j.dss.2012.12.017_bb0175","series-title":"19th Australian Conference on Software Engineering (ASWEC 2008)","first-page":"412","article-title":"An Empirical Approach for Semantic Web Services Discovery","author":"Wu","year":"2008"},{"key":"10.1016\/j.dss.2012.12.017_bb0180","series-title":"2010 10th International Conference on Quality Software (ICSQ 2010)","first-page":"441","article-title":"A Probabilistic QoS Model-Checking for Dynamic Routing Protocol","author":"Yang","year":"2010"},{"issue":"1","key":"10.1016\/j.dss.2012.12.017_bb0185","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/1232722.1232728","article-title":"Efficient algorithms for Web services selection with end-to-end QoS constraints","volume":"1","author":"Yu","year":"2007","journal-title":"ACM Transactions on the Web"},{"key":"10.1016\/j.dss.2012.12.017_bb0190","series-title":"12th International Conference on World Wide Web (WWW 2003)","first-page":"411","article-title":"Quality Driven Web Services Composition","author":"Zeng","year":"2003"},{"issue":"5","key":"10.1016\/j.dss.2012.12.017_bb0195","doi-asserted-by":"crossref","first-page":"311","DOI":"10.1109\/TSE.2004.11","article-title":"QoS-aware middleware for Web services composition","volume":"30","author":"Zeng","year":"2004","journal-title":"IEEE Transactions on Software Engineering"},{"key":"10.1016\/j.dss.2012.12.017_bb0205","series-title":"3rd International Workshop on Web Services and Formal Methods (WSFM'06","article-title":"Towards the Formal Model and Verification of Web Services Choreography Description Language","author":"Zhao","year":"2006"},{"key":"10.1016\/j.dss.2012.12.017_bb0200","series-title":"2007 IEEE International Conference on e-Business Engineering (ICEBE 2007)","first-page":"607","article-title":"A QoS View of Web Service Choreography","author":"Zhao","year":"2007"},{"issue":"1","key":"10.1016\/j.dss.2012.12.017_bb0210","doi-asserted-by":"crossref","first-page":"9","DOI":"10.1016\/j.dss.2004.04.008","article-title":"Developing web services choreography standards\u2014the case of REST vs. SOAP","volume":"40","author":"zur Muehlen","year":"2005","journal-title":"Decision Support Systems"}],"container-title":["Decision Support Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0167923612003831?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0167923612003831?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,7,7]],"date-time":"2019-07-07T15:07:49Z","timestamp":1562512069000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0167923612003831"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,2]]},"references-count":42,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2013,2]]}},"alternative-id":["S0167923612003831"],"URL":"https:\/\/doi.org\/10.1016\/j.dss.2012.12.017","relation":{},"ISSN":["0167-9236"],"issn-type":[{"value":"0167-9236","type":"print"}],"subject":[],"published":{"date-parts":[[2013,2]]}}}