{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,28]],"date-time":"2025-03-28T03:34:34Z","timestamp":1743132874958,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":24,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540749738"},{"type":"electronic","value":"9783540749745"}],"license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009]]},"DOI":"10.1007\/978-3-540-93851-4_28","type":"book-chapter","created":{"date-parts":[[2009,1,13]],"date-time":"2009-01-13T02:18:17Z","timestamp":1231813097000},"page":"282-294","source":"Crossref","is-referenced-by-count":0,"title":["Design and Analysis of the Composed Telecom Services"],"prefix":"10.1007","author":[{"given":"Piergiorgio","family":"Bertoli","sequence":"first","affiliation":[]},{"given":"Laura","family":"Ferrari","sequence":"additional","affiliation":[]},{"given":"Raman","family":"Kazhamiakin","sequence":"additional","affiliation":[]},{"given":"Corrado","family":"Moiso","sequence":"additional","affiliation":[]},{"given":"Marco","family":"Pistore","sequence":"additional","affiliation":[]},{"given":"Ermes","family":"Thuegaz","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"2","key":"28_CR1","first-page":"80","volume":"13","author":"G. Turner","year":"1995","unstructured":"Turner, G.: Service Creation. BT Technology Journal\u00a013(2), 80\u201386 (1995)","journal-title":"BT Technology Journal"},{"key":"28_CR2","doi-asserted-by":"crossref","unstructured":"Kazhamiakin, R., Pistore, M., Santuari, L.: Analysis of Communication Models in Web Service Compositions. In: Proc. International World Wide Web Conference (WWW) (2006)","DOI":"10.1145\/1135777.1135819"},{"key":"28_CR3","doi-asserted-by":"crossref","unstructured":"Kazhamiakin, R., Pistore, M.: Static Verification of Control and Data in Web Service Compositions. In: Proc. International Conference on Web Services (ICWS) (2006)","DOI":"10.1109\/ICWS.2006.124"},{"key":"28_CR4","doi-asserted-by":"crossref","unstructured":"Kazhamiakin, R., Pandya, P.K., Pistore, M.: Representation, Verification, and Computation of Timed Properties in Web Service Compositions. In: Proc. International Conference on Web Services (ICWS) (2006)","DOI":"10.1109\/ICWS.2006.112"},{"key":"28_CR5","unstructured":"Parlay-X Group: 3GPP, Open Service Access (OSA) - Parlay X Web Services (Release 6)"},{"key":"28_CR6","unstructured":"OSA Parlay Group: 3GPP, Open Service Access (OSA) - Application Programming Interface (Release 6)"},{"key":"28_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"302","DOI":"10.1007\/11538394_20","volume-title":"Business Process Management","author":"A. Barros","year":"2005","unstructured":"Barros, A., Dumas, M., ter Hofstede, A.H.M.: Service interaction patterns. In: van der Aalst, W.M.P., Benatallah, B., Casati, F., Curbera, F. (eds.) BPM 2005. LNCS, vol.\u00a03649, pp. 302\u2013318. Springer, Heidelberg (2005)"},{"key":"28_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"188","DOI":"10.1007\/3-540-36189-8_15","volume-title":"Web Services, E-Business, and the Semantic Web","author":"X. Fu","year":"2002","unstructured":"Fu, X., Bultan, T., Su, J.: Formal verification of e-services and workflows. In: Bussler, C.J., McIlraith, S.A., Orlowska, M.E., Pernici, B., Yang, J. (eds.) CAiSE 2002 and WES 2002. LNCS, vol.\u00a02512, pp. 188\u2013202. Springer, Heidelberg (2002)"},{"key":"28_CR9","doi-asserted-by":"crossref","unstructured":"Cimatti, A., Clarke, E.M., Giunchiglia, F., Roveri, M.: NuSMV: a New Symbolic Model Checker. Int. Journal on Software Tools for Technology Transfer (STTT)\u00a02(4) (2000)","DOI":"10.1007\/s100090050046"},{"issue":"5","key":"28_CR10","doi-asserted-by":"publisher","first-page":"279","DOI":"10.1109\/32.588521","volume":"23","author":"G.J. Holzmann","year":"1997","unstructured":"Holzmann, G.J.: The Model Checker SPIN. Software Engineering\u00a023(5), 279\u2013295 (1997)","journal-title":"Software Engineering"},{"key":"28_CR11","volume-title":"Handbook of Theoretical Computer Science, Volume B: Formal Models and Semantics","author":"E.A. Emerson","year":"1990","unstructured":"Emerson, E.A.: Temporal and Modal Logic. In: van Leeuwen, J. (ed.) Handbook of Theoretical Computer Science, Volume B: Formal Models and Semantics. Elsevier, Amsterdam (1990)"},{"key":"28_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-58179-0_69","volume-title":"Computer Aided Verification","author":"D. Peled","year":"1994","unstructured":"Peled, D.: Combining Partal Order Reductions with On-the-fly Model Checking. In: Dill, D.L. (ed.) CAV 1994. LNCS, vol.\u00a0818. Springer, Heidelberg (1994)"},{"key":"28_CR13","doi-asserted-by":"crossref","unstructured":"Fu, X., Bultan, T., Su, J.: Analysis of Interacting BPEL Web Services. In: Proc. International World Wide Web Conference (WWW) (2004)","DOI":"10.1145\/988672.988756"},{"key":"28_CR14","doi-asserted-by":"crossref","unstructured":"Foster, H., Uchitel, S., Magee, J., Kramer, J.: Model-based verification of web service compositions. In: Proc. International Conference on Automated Software Engineering (ASE) (2003)","DOI":"10.1109\/ASE.2003.1240303"},{"key":"28_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"200","DOI":"10.1007\/978-3-540-39648-2_18","volume-title":"Conceptual Modeling - ER 2003","author":"P. Wohed","year":"2003","unstructured":"Wohed, P., van der Aalst, W.M.P., Dumas, M., ter Hofstede, A.H.M.: Analysis of web services composition languages: The case of BPEL4WS. In: Song, I.-Y., Liddle, S.W., Ling, T.-W., Scheuermann, P. (eds.) ER 2003. LNCS, vol.\u00a02813, pp. 200\u2013215. Springer, Heidelberg (2003)"},{"key":"28_CR16","unstructured":"Nakajima, S.: Model-Checking Verification for Reliable Web Wervice. In: Proc. OOPSLA Workshop on Object-Oriented Web Services (2002)"},{"key":"28_CR17","doi-asserted-by":"crossref","unstructured":"Ferrara, A.: Web Services: a Process Algebra Approach. In: Proc. of the International Conference on Service Oriented Computing (ICSOC), pp. 242\u2013251 (2004)","DOI":"10.1145\/1035167.1035202"},{"key":"28_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"38","DOI":"10.1007\/11841197_3","volume-title":"Web Services and Formal Methods","author":"M. Boreale","year":"2006","unstructured":"Boreale, M., Bruni, R., Caires, L., De Nicola, R., Lanese, I., Loreti, M., Martins, F., Montanari, U., Ravara, A., Sangiorgi, D., Vasconcelos, V., Zavattaro, G.: SCC: A Service Centered Calculus. In: Bravetti, M., N\u00fa\u00f1ez, M., Zavattaro, G. (eds.) WS-FM 2006. LNCS, vol.\u00a04184, pp. 38\u201357. Springer, Heidelberg (2006)"},{"key":"28_CR19","unstructured":"Schmidt, K., Stahl, C.: A petri net semantic for BPEL4WS \u2013 validation and application. In: Proceedings of the 11th Workshop on Algorithms and Tools for Petri Nets, pp. 1\u20136 (2004)"},{"key":"28_CR20","doi-asserted-by":"crossref","unstructured":"Zhang, J., Chung, J.Y., Chang, C.K., Kim, S.W.: WS-Net: A Petri-net Based Specification Model for Web Services. In: Proc. of the International Conference on Web Services (2004)","DOI":"10.1109\/ICWS.2004.1314766"},{"key":"28_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"188","DOI":"10.1007\/3-540-45089-0_18","volume-title":"Implementation and Application of Automata","author":"X. Fu","year":"2003","unstructured":"Fu, X., Bultan, T., Su, J.: Conversation protocols: A formalism for specification and verification of reactive electronic services. In: H. Ibarra, O., Dang, Z. (eds.) CIAA 2003. LNCS, vol.\u00a02759, pp. 188\u2013200. Springer, Heidelberg (2003)"},{"key":"28_CR22","doi-asserted-by":"crossref","unstructured":"D\u00edaz, G., Pardo, J.J., Cambronero, M., Valero, V., Cuartero, F.: Automatic Translation of WS-CDL Choreographies to Timed Automata. In: Proc. International Workshop on Web Services and Formal Methods (WS-FM) (2005)","DOI":"10.1007\/11549970_17"},{"key":"28_CR23","unstructured":"Benatallah, B., Casati, F., Ponge, J., Toumani, F.: On Temporal Abstractions of Web Service Protocols. In: Procs. of CAiSE Forum (2005)"},{"key":"28_CR24","doi-asserted-by":"crossref","unstructured":"Deutsch, A., Sui, L., Vianu, V.: Specification and Verification of Data-driven Web Services. In: PODS 2004: Proceedings of the 23rd ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, pp. 71\u201382 (2004)","DOI":"10.1145\/1055558.1055571"}],"container-title":["Lecture Notes in Computer Science","Service-Oriented Computing \u2013 ICSOC 2007"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-93851-4_28","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,17]],"date-time":"2019-05-17T01:50:25Z","timestamp":1558057825000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-93851-4_28"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783540749738","9783540749745"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-93851-4_28","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}