{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,4]],"date-time":"2022-04-04T17:09:34Z","timestamp":1649092174669},"reference-count":24,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2012,9,4]],"date-time":"2012-09-04T00:00:00Z","timestamp":1346716800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Innovations Syst Softw Eng"],"published-print":{"date-parts":[[2012,12]]},"DOI":"10.1007\/s11334-012-0190-7","type":"journal-article","created":{"date-parts":[[2012,9,3]],"date-time":"2012-09-03T14:58:12Z","timestamp":1346684292000},"page":"301-308","source":"Crossref","is-referenced-by-count":5,"title":["Service substitutability analysis based on behavior automata"],"prefix":"10.1007","volume":"8","author":[{"given":"Hongmin","family":"Ren","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jin","family":"Liu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2012,9,4]]},"reference":[{"issue":"2","key":"190_CR1","doi-asserted-by":"crossref","first-page":"84","DOI":"10.1109\/TNSM.2007.070901","volume":"4","author":"FA Samimi","year":"2007","unstructured":"Samimi FA, McKinley PK et\u00a0al (2007) Service clouds: distributed infrastructure for adaptive communication services. IEEE Trans Netw Serv Manag 4(2): 84\u201395","journal-title":"IEEE Trans Netw Serv Manag"},{"issue":"6","key":"190_CR2","doi-asserted-by":"crossref","first-page":"468","DOI":"10.1007\/978-3-642-00328-8_47","volume":"17","author":"L Ardissono","year":"2009","unstructured":"Ardissono L, Bocconi S et\u00a0al (2009) Enhancing Web service composition by means of diagnosis. Lect Notes in Bus Inf Process 17(6): 468\u2013479","journal-title":"Lect Notes in Bus Inf Process"},{"key":"190_CR3","unstructured":"Baresi L, Ghezzi C, Guinea S (2004) Towards self-healing service compositions. In: Proceedings of first conference on the principles of software engineering, New York, pp 27\u201346"},{"issue":"9","key":"190_CR4","doi-asserted-by":"crossref","first-page":"819","DOI":"10.1016\/j.datak.2009.02.012","volume":"68","author":"C Stahl","year":"2009","unstructured":"Stahl C, Wolf K (2009) Deciding service composition and substitutability using extended operating guidelines. Data Knowl Eng 68(9): 819\u2013833","journal-title":"Data Knowl Eng"},{"key":"190_CR5","doi-asserted-by":"crossref","unstructured":"Li X, Fan Y, Jiang F (2007) A classification of service composition mismatches to support service mediation. In: Proceedings of the 6th international conference on grid and cooperative computing, Urumchi, pp 315\u2013321","DOI":"10.1109\/GCC.2007.1"},{"issue":"2","key":"190_CR6","doi-asserted-by":"crossref","first-page":"223","DOI":"10.1142\/S0218194008003647","volume":"18","author":"HS Chae","year":"2008","unstructured":"Chae HS, Lee JS, Bae J (2008) An approach to checking behavioral compatibility between Web services. Int J Softw Eng Knowl Eng 18(2): 223\u2013241","journal-title":"Int J Softw Eng Knowl Eng"},{"issue":"11","key":"190_CR7","doi-asserted-by":"crossref","first-page":"2768","DOI":"10.3724\/SP.J.1001.2010.03780","volume":"21","author":"JZ Zhang","year":"2010","unstructured":"Zhang JZ, Ren HM et\u00a0al (2010) Automatic machine components based on behavioral analysis and verification can be substituted. J Softw 21(11): 2768\u20132781","journal-title":"J Softw"},{"issue":"11","key":"190_CR8","doi-asserted-by":"crossref","first-page":"1056","DOI":"10.1109\/TSE.2002.1049404","volume":"28","author":"F Plasil","year":"2002","unstructured":"Plasil F, Visnovsky S (2002) Behavior protocols for software components. IEEE Trans Softw Eng 28(11): 1056\u20131076","journal-title":"IEEE Trans Softw Eng"},{"key":"190_CR9","doi-asserted-by":"crossref","unstructured":"Wegner P, Zdonik SB (1988) Inheritance as an incremental modification mechanism or what like is and isn\u2019t like. In: Proceedings of the European conferene on object oriented programming (ECOOP), pp 55\u201377","DOI":"10.1007\/3-540-45910-3_4"},{"issue":"4","key":"190_CR10","doi-asserted-by":"crossref","first-page":"333","DOI":"10.1145\/261640.261641","volume":"6","author":"AM Zaremski","year":"1997","unstructured":"Zaremski AM, Wing JM (1997) Specification matching of software components. ACM Trans Softw Eng Methodol 6(4): 333\u2013369","journal-title":"ACM Trans Softw Eng Methodol"},{"key":"190_CR11","unstructured":"Vallecillo A, Hemkndez J, Troya JM (2000) Component interoperability. Technical report, Universidad de Malaga"},{"issue":"1816","key":"190_CR12","doi-asserted-by":"crossref","first-page":"469","DOI":"10.1007\/3-540-45499-3_33","volume":"2000","author":"C Fischer","year":"2000","unstructured":"Fischer C, Wehrheim H (2000) Behavioral subtyping relations for object oriented formalisms. Lect Notes Comput Sci 2000(1816): 469\u2013483","journal-title":"Lect Notes Comput Sci"},{"key":"190_CR13","volume-title":"Component software: beyond object-oriented programming","author":"C Szyporski","year":"1998","unstructured":"Szyporski C (1998) Component software: beyond object-oriented programming. ACM Press, Addison Wesley"},{"key":"190_CR14","unstructured":"Brada P (2003) Specification-based component substitutability and revision identification. Ph.D. Thesis, Charles University, Prague"},{"key":"190_CR15","unstructured":"Chaki S, Clarke E, Sharygina N, Sinha N (2005) Dynamic component substitutability analysis. In: Proceedings of the FM, pp 512\u2013528."},{"key":"190_CR16","unstructured":"Chaki S, Ivers J, Sharygina N (2004) Verification of evolving software. In: Proceedings of 3rd workshop on specification and verification of component-based systems"},{"issue":"10","key":"190_CR17","doi-asserted-by":"crossref","first-page":"898","DOI":"10.1016\/j.scico.2010.02.004","volume":"75","author":"PC Heam","year":"2010","unstructured":"Heam PC, Kouchnarenko O et\u00a0al (2010) Component simulation-based substitutivity managing QoS and composition issues. Sci Comput Program 75(10): 898\u2013917","journal-title":"Sci Comput Program"},{"key":"190_CR18","doi-asserted-by":"crossref","unstructured":"Pathak J, Basu S, Honavar V (2007) On context-specific substitutability of web services. In: Proceedings of IEEE international conference on Web services, Salt Lake City, pp 192\u2013199","DOI":"10.1109\/ICWS.2007.134"},{"key":"190_CR19","doi-asserted-by":"crossref","unstructured":"Zhou ZB, Gaaloul W et\u00a0al (2011) Assessing the replaceability of service protocols in mediated service interactions. Future Gener Comput Syst. doi: 10.1016\/j.future.2011.08.007","DOI":"10.1016\/j.future.2011.08.007"},{"issue":"1","key":"190_CR20","first-page":"1","volume":"5","author":"MH Beek","year":"2007","unstructured":"Beek MH, Bucchiarone A, Gnesi S (2007) Formal methods for service composition. Ann Math Comput Teleinf 5(1): 1\u201310","journal-title":"Ann Math Comput Teleinf"},{"key":"190_CR21","doi-asserted-by":"crossref","unstructured":"Beyer D, Chakrabarti A, Henzinger TA, Seshia SA (2007) An application of web-service interfaces. In: Proceedings of ICWS, pp 831\u2013838","DOI":"10.1109\/ICWS.2007.32"},{"key":"190_CR22","unstructured":"Alfaro LD, Henzinger TA (2001) Interface automata. In: Proceedings of foundations of software engineering. ACM, pp 109\u2013120"},{"key":"190_CR23","unstructured":"Brim L et\u00a0al (2005) Component-interaction automata as a verification-oriented component-based system specification. In: Proceedings of SAVCBS 2005, pp 31\u201338"},{"key":"190_CR24","unstructured":"Attie PC, Lynch NA (2003) Dynamic input\/output automata: a formal model for dynamic systems. Technical report, MIT CSAIL"}],"container-title":["Innovations in Systems and Software Engineering"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11334-012-0190-7.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11334-012-0190-7\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11334-012-0190-7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,7,13]],"date-time":"2020-07-13T04:25:26Z","timestamp":1594614326000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11334-012-0190-7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,9,4]]},"references-count":24,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2012,12]]}},"alternative-id":["190"],"URL":"https:\/\/doi.org\/10.1007\/s11334-012-0190-7","relation":{},"ISSN":["1614-5046","1614-5054"],"issn-type":[{"value":"1614-5046","type":"print"},{"value":"1614-5054","type":"electronic"}],"subject":[],"published":{"date-parts":[[2012,9,4]]}}}