{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,23]],"date-time":"2025-03-23T19:10:24Z","timestamp":1742757024371,"version":"3.40.2"},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642288715"},{"type":"electronic","value":"9783642288722"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-28872-2_5","type":"book-chapter","created":{"date-parts":[[2012,3,22]],"date-time":"2012-03-22T20:48:16Z","timestamp":1332449296000},"page":"63-77","source":"Crossref","is-referenced-by-count":4,"title":["Consistency of Service Composition"],"prefix":"10.1007","author":[{"given":"Jos\u00e9 Luiz","family":"Fiadeiro","sequence":"first","affiliation":[]},{"given":"Ant\u00f3nia","family":"Lopes","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"4","key":"5_CR1","doi-asserted-by":"publisher","first-page":"181","DOI":"10.1016\/0020-0190(85)90056-0","volume":"21","author":"B. Alpern","year":"1985","unstructured":"Alpern, B., Schneider, F.B.: Defining liveness. Inf. Process. Lett.\u00a021(4), 181\u2013185 (1985)","journal-title":"Inf. Process. Lett."},{"issue":"3","key":"5_CR2","doi-asserted-by":"publisher","first-page":"117","DOI":"10.1007\/BF01782772","volume":"2","author":"B. Alpern","year":"1987","unstructured":"Alpern, B., Schneider, F.B.: Recognizing safety and liveness. Distributed Computing\u00a02(3), 117\u2013126 (1987)","journal-title":"Distributed Computing"},{"issue":"3","key":"5_CR3","doi-asserted-by":"publisher","first-page":"388","DOI":"10.1145\/377978.377990","volume":"2","author":"R. Alur","year":"2001","unstructured":"Alur, R., Etessami, K., Torre, S.L., Peled, D.: Parametric temporal logic for \u201cmodel measuring\u201d. ACM Trans. Comput. Log.\u00a02(3), 388\u2013407 (2001)","journal-title":"ACM Trans. Comput. Log."},{"key":"5_CR4","unstructured":"Baier, C., Katoen, J.-P.: Principles of model checking. MIT Press (2008)"},{"key":"5_CR5","doi-asserted-by":"crossref","unstructured":"Betin-Can, A., Bultan, T., Fu, X.: Design for verification for asynchronously communicating web services. In: Ellis, Hagino (eds.) [9], pp. 750\u2013759","DOI":"10.1145\/1060745.1060853"},{"key":"5_CR6","doi-asserted-by":"crossref","unstructured":"Beyer, D., Chakrabarti, A., Henzinger, T.A.: Web service interfaces. In: Ellis, Hagino (eds.) [9], pp. 148\u2013159","DOI":"10.1145\/1060745.1060770"},{"key":"5_CR7","doi-asserted-by":"crossref","unstructured":"Bultan, T., Fu, X., Hull, R., Su, J.: Conversation specification: a new approach to design and analysis of e-service composition. In: WWW, pp. 403\u2013410 (2003)","DOI":"10.1145\/775209.775210"},{"key":"5_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"148","DOI":"10.1007\/3-540-45449-7_11","volume-title":"Embedded Software","author":"L. Alfaro de","year":"2001","unstructured":"de Alfaro, L., Henzinger, T.A.: Interface Theories for Component-Based Design. In: Henzinger, T.A., Kirsch, C.M. (eds.) EMSOFT 2001. LNCS, vol.\u00a02211, pp. 148\u2013165. Springer, Heidelberg (2001)"},{"key":"5_CR9","unstructured":"Ellis, A., Hagino, T. (eds.): Proceedings of the 14th International Conference on World Wide Web, WWW 2005, Chiba, Japan, May 10-14. ACM (2005)"},{"key":"5_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"18","DOI":"10.1007\/978-3-642-19811-3_3","volume-title":"Fundamental Approaches to Software Engineering","author":"J.L. Fiadeiro","year":"2011","unstructured":"Fiadeiro, J.L., Lopes, A.: An Interface Theory for Service-Oriented Design. In: Giannakopoulou, D., Orejas, F. (eds.) FASE 2011. LNCS, vol.\u00a06603, pp. 18\u201333. Springer, Heidelberg (2011)"},{"issue":"1-2","key":"5_CR11","doi-asserted-by":"publisher","first-page":"19","DOI":"10.1016\/j.tcs.2004.07.004","volume":"328","author":"X. Fu","year":"2004","unstructured":"Fu, X., Bultan, T., Su, J.: Conversation protocols: a formalism for specification and verification of reactive electronic services. Theor. Comput. Sci.\u00a0328(1-2), 19\u201337 (2004)","journal-title":"Theor. Comput. Sci."},{"issue":"3","key":"5_CR12","doi-asserted-by":"publisher","first-page":"135","DOI":"10.1016\/0020-0190(92)90005-G","volume":"43","author":"T.A. Henzinger","year":"1992","unstructured":"Henzinger, T.A.: Sooner is safer than later. Inf. Process. Lett.\u00a043(3), 135\u2013141 (1992)","journal-title":"Inf. Process. Lett."},{"key":"5_CR13","doi-asserted-by":"crossref","unstructured":"Kazhamiakin, R., Pistore, M., Santuari, L.: Analysis of communication models in web service compositions. In: Carr, L., Roure, D.D., Iyengar, A., Goble, C.A., Dahlin, M. (eds.) WWW, pp. 267\u2013276. ACM (2006)","DOI":"10.1145\/1135777.1135819"},{"issue":"4","key":"5_CR14","doi-asserted-by":"publisher","first-page":"255","DOI":"10.1007\/BF01995674","volume":"2","author":"R. Koymans","year":"1990","unstructured":"Koymans, R.: Specifying real-time properties with metric temporal logic. Real-Time Systems\u00a02(4), 255\u2013299 (1990)","journal-title":"Real-Time Systems"},{"issue":"2","key":"5_CR15","doi-asserted-by":"publisher","first-page":"83","DOI":"10.1007\/s10703-009-0067-z","volume":"34","author":"O. Kupferman","year":"2009","unstructured":"Kupferman, O., Piterman, N., Vardi, M.Y.: From liveness to promptness. Formal Methods in System Design\u00a034(2), 83\u2013103 (2009)","journal-title":"Formal Methods in System Design"},{"key":"5_CR16","doi-asserted-by":"crossref","unstructured":"Martens, A.: Process oriented discovery of business partners. In: Chen, C.-S., Filipe, J., Seruca, I., Cordeiro, J. (eds.) ICEIS (3), pp. 57\u201364 (2005)","DOI":"10.5220\/0002527300570064"},{"key":"5_CR17","unstructured":"OSOA. Service component architecture: Building systems using a service oriented architecture (2005), White paper, http:\/\/www.osoa.org"},{"key":"5_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"411","DOI":"10.1007\/11691372_27","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"J. Ouaknine","year":"2006","unstructured":"Ouaknine, J., Worrell, J.: Safety Metric Temporal Logic Is Fully Decidable. In: Hermanns, H., Palsberg, J. (eds.) TACAS 2006. LNCS, vol.\u00a03920, pp. 411\u2013425. Springer, Heidelberg (2006)"},{"issue":"5","key":"5_CR19","doi-asserted-by":"publisher","first-page":"495","DOI":"10.1007\/BF01211865","volume":"6","author":"A.P. Sistla","year":"1994","unstructured":"Sistla, A.P.: Safety, liveness and fairness in temporal logic. Formal Asp. Comput.\u00a06(5), 495\u2013512 (1994)","journal-title":"Formal Asp. Comput."},{"key":"5_CR20","unstructured":"TC, O.W.: Web services business process execution language. Version 2.0. Technical report, OASIS (2007)"},{"issue":"1","key":"5_CR21","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1006\/inco.1994.1092","volume":"115","author":"M.Y. Vardi","year":"1994","unstructured":"Vardi, M.Y., Wolper, P.: Reasoning about infinite computations. Inf. Comput.\u00a0115(1), 1\u201337 (1994)","journal-title":"Inf. Comput."}],"container-title":["Lecture Notes in Computer Science","Fundamental Approaches to Software Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-28872-2_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,23]],"date-time":"2025-03-23T18:49:49Z","timestamp":1742755789000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-28872-2_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642288715","9783642288722"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-28872-2_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}