{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,11]],"date-time":"2025-10-11T17:10:46Z","timestamp":1760202646504,"version":"3.40.4"},"reference-count":31,"publisher":"Springer Science and Business Media LLC","issue":"12","license":[{"start":{"date-parts":[[2012,12,1]],"date-time":"2012-12-01T00:00:00Z","timestamp":1354320000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Sci. China Inf. Sci."],"published-print":{"date-parts":[[2012,12]]},"DOI":"10.1007\/s11432-012-4744-y","type":"journal-article","created":{"date-parts":[[2012,12,28]],"date-time":"2012-12-28T07:46:59Z","timestamp":1356680819000},"page":"2738-2756","source":"Crossref","is-referenced-by-count":9,"title":["Modeling and analyzing mixed communications in service-oriented trustworthy software"],"prefix":"10.1007","volume":"55","author":[{"given":"JianMin","family":"Jiang","sequence":"first","affiliation":[]},{"given":"Shi","family":"Zhang","sequence":"additional","affiliation":[]},{"given":"Ping","family":"Gong","sequence":"additional","affiliation":[]},{"given":"Zhong","family":"Hong","sequence":"additional","affiliation":[]},{"given":"HouGuang","family":"Yue","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2012,12,29]]},"reference":[{"key":"4744_CR1","doi-asserted-by":"crossref","unstructured":"Berardi D, Calvanese D, De Giacomo G, et al. Automatic composition of e-services that export their behavior. In: Orlowska M E, Weerawarana S, Papazoglou M P, et al., eds. Proceedings of First International Conference on Service Oriented Computing (ICSOC), Trento, 2003. 43\u201358","DOI":"10.1007\/978-3-540-24593-3_4"},{"key":"4744_CR2","doi-asserted-by":"crossref","first-page":"323","DOI":"10.1145\/322374.322380","volume":"30","author":"D. Brand","year":"1983","unstructured":"Brand D, Zafiropulo P. On communicating finite-state machines. J ACM, 1983, 30: 323\u2013342","journal-title":"J ACM"},{"key":"4744_CR3","doi-asserted-by":"crossref","first-page":"25","DOI":"10.1016\/0169-7552(87)90085-7","volume":"14","author":"T. Bolognesi","year":"1987","unstructured":"Bolognesi T, Brinksma E. Introduction to the ISO specification language LOTOS. Comput Netw ISDN Syst, 1987, 14: 25\u201359","journal-title":"Comput Netw ISDN Syst"},{"key":"4744_CR4","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-10235-3","volume-title":"A Calculus of Communicating Systems","author":"R. Milner","year":"1980","unstructured":"Milner R. A Calculus of Communicating Systems. Lect Notes Comput Sci, Vol. 92. New York: Springer-Verlag, 1980"},{"key":"4744_CR5","volume-title":"Communicating Sequential Processes","author":"C. A. R. Hoare","year":"1985","unstructured":"Hoare C A R. Communicating Sequential Processes. Englewood Cliffs, New Jersey: Prentice-Hall, 1985"},{"key":"4744_CR6","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0890-5401(92)90008-4","volume":"100","author":"R. Milner","year":"1992","unstructured":"Milner R, Parrow J, Walker D. A calculus of mobile processes, parts I and II. Inf Comput, 1992, 100: 1\u201377","journal-title":"Inf Comput"},{"key":"4744_CR7","doi-asserted-by":"crossref","unstructured":"Lynch N A, Tuttle M R. Hierarchical correctness proofs for distributed algorithms. In: Schneider F B, ed. Proceedings of the Sixth Annual ACM Symposium on Principles of Distributed Computing, Vancouver, 1987. 137\u2013151","DOI":"10.1145\/41840.41852"},{"key":"4744_CR8","doi-asserted-by":"crossref","first-page":"109","DOI":"10.1145\/503209.503226","volume-title":"ESEC\/FSE 2001","author":"L. Alfaro De","year":"2001","unstructured":"De Alfaro L, Henzinger T A. Interface automata. In: ESEC\/FSE 2001. Vienna: ACM, 2001. 109\u2013120"},{"key":"4744_CR9","doi-asserted-by":"crossref","first-page":"623","DOI":"10.1109\/TSE.2003.1214326","volume":"29","author":"R. Alur","year":"2003","unstructured":"Alur R, Etessami K, Yannakakis M. Inference of message sequence charts. IEEE Trans Softw Eng, 2003, 29: 623\u2013633","journal-title":"IEEE Trans Softw Eng"},{"key":"4744_CR10","volume-title":"The Unified Modeling Language Reference Manual","author":"J. Rumbaugh","year":"2004","unstructured":"Rumbaugh J, Jacobson I, Booch G. The Unified Modeling Language Reference Manual, 2nd ed. Berkeley: Addison-Wesley, 2004","edition":"2nd ed."},{"key":"4744_CR11","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. Behavior protocols for software components. IEEE Trans Softw Eng, 2002, 28: 1056\u20131076","journal-title":"IEEE Trans Softw Eng"},{"key":"4744_CR12","first-page":"35","volume-title":"WICSA 1999","author":"J. Magee","year":"1999","unstructured":"Magee J, Kramer J, Giannakopoulou D. Behaviour analysis of software architectures. In: WICSA 1999. Deventer: Kluwer, 1999. 35\u201350"},{"key":"4744_CR13","doi-asserted-by":"crossref","first-page":"292","DOI":"10.1145\/244795.244801","volume":"19","author":"D. M. Yellin","year":"1997","unstructured":"Yellin D M, Strom R E. Protocol specifications and component adaptors. ACM Trans Program Lang Syst, 1997, 19: 292\u2013333","journal-title":"ACM Trans Program Lang Syst"},{"key":"4744_CR14","doi-asserted-by":"crossref","first-page":"546","DOI":"10.1109\/TSE.2008.31","volume":"34","author":"C. Canal","year":"2008","unstructured":"Canal C, Poizat P, Sala\u00fcn G. Model-based adaptation of behavioural mismatching components. IEEE Trans Softw Eng, 2008, 34: 546\u2013563","journal-title":"IEEE Trans Softw Eng"},{"key":"4744_CR15","doi-asserted-by":"crossref","first-page":"353","DOI":"10.1016\/0304-3975(94)00172-F","volume":"138","author":"M. Hennessy","year":"1995","unstructured":"Hennessy M, Lin H. Symbolic bisimulations. Theor Comput Sci, 1995, 138: 353\u2013389","journal-title":"Theor Comput Sci"},{"key":"4744_CR16","first-page":"1","volume-title":"Handbook of Logic in Computer Science, Vol. 4: Semantic Modelling","author":"G. Winskel","year":"1995","unstructured":"Winskel G, Nielsen M. Models for concurrency. In: Handbook of Logic in Computer Science, Vol. 4: Semantic Modelling. Oxford: Oxford Science Publications, 1995. 1\u2013148"},{"key":"4744_CR17","unstructured":"Jordan D, Evdemon J, eds. Web services business process execution language version 2.0. http:\/\/docs.oasisopen.org\/wsbpel\/2.0\/wsbpel-specification-draft.pdf"},{"key":"4744_CR18","doi-asserted-by":"crossref","first-page":"442","DOI":"10.1109\/APSCC.2011.81","volume-title":"2011 IEEE Asia-Pacific Services Computing Conference","author":"J. Jiang","year":"2011","unstructured":"Jiang J, Zhang S, Gong P, et al. Message dependency-based adaptation of services. In: Park J J, Nikolaou C, Cao J N, eds. 2011 IEEE Asia-Pacific Services Computing Conference. Jeju: IEEE, 2011. 442\u2013449"},{"key":"4744_CR19","first-page":"213","volume-title":"Proceedings of the 9th International School on Formal Methods for the Design of Computer, Communication, and Software Systems (SFM 2009)","author":"L. Padovani","year":"2009","unstructured":"Padovani L. Contract-based discovery and adaptation of web services. In: Bernardo M, Padovani L, Zavattaro G, eds. Proceedings of the 9th International School on Formal Methods for the Design of Computer, Communication, and Software Systems (SFM 2009). Berlin: Springer-Verlag, 2009. 213\u2013260"},{"key":"4744_CR20","doi-asserted-by":"crossref","first-page":"16","DOI":"10.1007\/978-3-540-85238-4_2","volume-title":"Proceedings of Mathematical Foundations of Computer Science (MFCS 2008)","author":"R. Glabbeek van","year":"2008","unstructured":"van Glabbeek R, Goltz U, Schicke J W. On synchronous and asynchronous interaction in distributed systems. In: Ochmanski E, Tyszkiewicz J, eds. Proceedings of Mathematical Foundations of Computer Science (MFCS 2008). Torun: Springer-Verlag, 2008. 16\u201335"},{"key":"4744_CR21","doi-asserted-by":"crossref","first-page":"1042","DOI":"10.1109\/TSE.2005.141","volume":"31","author":"X. Fu","year":"2005","unstructured":"Fu X, Bultan T, Su J. Synchronizability of conversations among web services. IEEE Trans Softw Eng, 2005, 31: 1042\u20131055","journal-title":"IEEE Trans Softw Eng"},{"key":"4744_CR22","doi-asserted-by":"crossref","unstructured":"Kazhamiakin R, Pistore M, Santuari L. Analysis of communication models in Web service compositions. In: Carr L, de Roure D, Iyengar A, et al., eds. Proceedings of the 15th international conference on World Wide Web (www 2006), Edinburgh, 2006. 267\u2013276","DOI":"10.1145\/1135777.1135819"},{"key":"4744_CR23","unstructured":"Schmidt K. Controllability of open workflow nets. In: Desel J, Frank U, eds. Proceedings of the Workshop of Enterprise Modelling and Information Systems Architectures, Klagenfurt, 2005. 236\u2013249"},{"key":"4744_CR24","doi-asserted-by":"crossref","unstructured":"Decker G, Weske M. Local enforceability in interaction Petri nets. In: Alonso G, Dadam P, Rosemann M, eds. Proceedings of 5th International Conference on Business Process Management (BPM), Brisbane, 2007. 305\u2013319","DOI":"10.1007\/978-3-540-75183-0_22"},{"key":"4744_CR25","doi-asserted-by":"crossref","first-page":"203","DOI":"10.1016\/j.tcs.2005.09.068","volume":"351","author":"J. K. Filipe","year":"2006","unstructured":"Filipe J K. Modelling concurrent interactions. Theor Comput Sci, 2006, 351: 203\u2013220","journal-title":"Theor Comput Sci"},{"key":"4744_CR26","doi-asserted-by":"crossref","first-page":"81","DOI":"10.1145\/633642.803973","volume":"4","author":"T. Agerwala","year":"1973","unstructured":"Agerwala T, Flynn M. Comments on capabilities, limitations and correctness of Petri nets. Comput Archit News, 1973, 4: 81\u201386","journal-title":"Comput Archit News"},{"key":"4744_CR27","doi-asserted-by":"crossref","unstructured":"G\u00f6ssler G, Sifakis J. Composition for component-based modeling. In: de Boer F S, Bonsangue M M, Graf S, et al., eds. Proceedings of First International Symposium on Formal Methods for Components and Objects (FMCO 2002), Leiden, 2002. 443\u2013466","DOI":"10.1007\/978-3-540-39656-7_19"},{"key":"4744_CR28","doi-asserted-by":"crossref","unstructured":"Basu A, Bozga M, Sifakis J. Modeling heterogeneous real-time systems in BIP. In: Proceedings of Fourth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2006), Pune, 2006. 3\u201312","DOI":"10.1109\/SEFM.2006.27"},{"key":"4744_CR29","doi-asserted-by":"crossref","unstructured":"Brogi A, Popescu R. Automated generation of BPEL adapters. In: Dan A, Lamersdorf W, eds. Proceedings of 4th International Conference Service-Oriented Computing (ICSOC 2006), Chicago, 2006. 27\u201339","DOI":"10.1007\/11948148_3"},{"key":"4744_CR30","unstructured":"Lohmann N. Communication models for services. In: Gierds C, S\u00fcrmeli J, eds. Proceedings of 2nd Central-European Workshop on Services and Their Composition (ZEUS 2010), Berlin, 2010. 9\u201316"},{"key":"4744_CR31","doi-asserted-by":"crossref","unstructured":"Sala\u00fcn G. Analysis and verification of service interaction protocols\u2014a brief survey. In: Sala\u00fcn G, Fu X, Hall\u00e9 S, eds. Proceedings of the 4th International Workshop on Testing, Analysis and Verification of Web Software, Antwerp, 2010. 75\u201386","DOI":"10.4204\/EPTCS.35.7"}],"container-title":["Science China Information Sciences"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11432-012-4744-y.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11432-012-4744-y\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11432-012-4744-y","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,4,29]],"date-time":"2025-04-29T15:17:47Z","timestamp":1745939867000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11432-012-4744-y"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,12]]},"references-count":31,"journal-issue":{"issue":"12","published-print":{"date-parts":[[2012,12]]}},"alternative-id":["4744"],"URL":"https:\/\/doi.org\/10.1007\/s11432-012-4744-y","relation":{},"ISSN":["1674-733X","1869-1919"],"issn-type":[{"type":"print","value":"1674-733X"},{"type":"electronic","value":"1869-1919"}],"subject":[],"published":{"date-parts":[[2012,12]]}}}