{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,30]],"date-time":"2025-01-30T06:08:52Z","timestamp":1738217332968,"version":"3.34.0"},"publisher-location":"Berlin, Heidelberg","reference-count":35,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540792291"},{"type":"electronic","value":"9783540792307"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-79230-7_9","type":"book-chapter","created":{"date-parts":[[2008,4,12]],"date-time":"2008-04-12T06:53:23Z","timestamp":1207983203000},"page":"124-138","source":"Crossref","is-referenced-by-count":5,"title":["Synthesis of Web Services Orchestrators in a Timed Setting"],"prefix":"10.1007","author":[{"given":"Fabio","family":"Martinelli","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ilaria","family":"Matteucci","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"9_CR1","first-page":"421","volume":"0","author":"L. Bao","year":"2006","unstructured":"Bao, L., Zhang, W., Zhang, X.: Describing and verifying web service using ccs. pdcat\u00a00, 421\u2013426 (2006)","journal-title":"pdcat"},{"issue":"1","key":"9_CR2","doi-asserted-by":"publisher","first-page":"159","DOI":"10.1016\/j.entcs.2005.12.038","volume":"154","author":"J. C\u00e1mara","year":"2006","unstructured":"C\u00e1mara, J., Canal, C., Cubo, J., Vallecillo, A.: Formalizing wsbpel business processes using process algebra. Electr. Notes Theor. Comput. Sci.\u00a0154(1), 159\u2013173 (2006)","journal-title":"Electr. Notes Theor. Comput. Sci."},{"key":"9_CR3","doi-asserted-by":"publisher","first-page":"43","DOI":"10.1109\/ICWS.2004.1314722","volume-title":"ICWS 2004: Proceedings of the IEEE International Conference on Web Services (ICWS 2004)","author":"G. Salaun","year":"2004","unstructured":"Salaun, G., Bordeaux, L., Schaerf, M.: Describing and reasoning on web services using process algebra. In: ICWS 2004: Proceedings of the IEEE International Conference on Web Services (ICWS 2004), Washington, DC, USA, p. 43. IEEE Computer Society Press, Los Alamitos (2004)"},{"key":"9_CR4","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1016\/j.entcs.2004.02.023","volume":"105","author":"M. Baldoni","year":"2004","unstructured":"Baldoni, M., Baroglio, C., Martelli, A., Patti, V.: Reasoning about interaction protocols for web service composition. Electr. Notes Theor. Comput. Sci.\u00a0105, 21\u201336 (2004)","journal-title":"Electr. Notes Theor. Comput. Sci."},{"key":"9_CR5","doi-asserted-by":"publisher","first-page":"242","DOI":"10.1145\/1035167.1035202","volume-title":"ICSOC","author":"A. Ferrara","year":"2004","unstructured":"Ferrara, A.: Web services: a process algebra approach. In: Aiello, M., Aoyama, M., Curbera, F., Papazoglou, M.P. (eds.) ICSOC, pp. 242\u2013251. ACM, New York (2004)"},{"key":"9_CR6","volume-title":"Communicating and mobile systems: the \u03c0-calculus","author":"R. Milner","year":"1999","unstructured":"Milner, R.: Communicating and mobile systems: the \u03c0-calculus. Cambridge University Press, Cambridge (1999)"},{"key":"9_CR7","doi-asserted-by":"crossref","first-page":"398","DOI":"10.1109\/LICS.1995.523274","volume-title":"Proceedings of 10th Annual IEEE Symposium on Logic in Computer Science","author":"H.R. Andersen","year":"1995","unstructured":"Andersen, H.R.: Partial model checking (extended abstract). In: Proceedings of 10th Annual IEEE Symposium on Logic in Computer Science, pp. 398\u2013407. IEEE Computer Society Press, Los Alamitos (1995)"},{"key":"9_CR8","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1016\/j.entcs.2006.08.029","volume":"179","author":"F. Martinelli","year":"2007","unstructured":"Martinelli, F., Matteucci, I.: Through modeling to synthesis of security automata. Electr. Notes Theor. Comput. Sci.\u00a0179, 31\u201346 (2007)","journal-title":"Electr. Notes Theor. Comput. Sci."},{"key":"9_CR9","doi-asserted-by":"publisher","first-page":"101","DOI":"10.1016\/j.entcs.2007.03.025","volume":"186","author":"I. Matteucci","year":"2007","unstructured":"Matteucci, I.: Automated synthesis of enforcing mechanisms for security properties in a timed setting. Electr. Notes Theor. Comput. Sci.\u00a0186, 101\u2013120 (2007)","journal-title":"Electr. Notes Theor. Comput. Sci."},{"key":"9_CR10","first-page":"44","volume-title":"Proceedings of CSFW 1998","author":"F. Martinelli","year":"1998","unstructured":"Martinelli, F.: Partial model checking and theorem proving for ensuring security properties. In: Proceedings of CSFW 1998, pp. 44\u201352. IEEE press, Los Alamitos (1998)"},{"key":"9_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"62","DOI":"10.1007\/11431053_5","volume-title":"The Semantic Web: Research and Applications","author":"M. Pistore","year":"2005","unstructured":"Pistore, M., Roberti, P., Traverso, P.: Process-level composition of executable web services: on-the-fly versus once-for-all composition. In: G\u00f3mez-P\u00e9rez, A., Euzenat, J. (eds.) ESWC 2005. LNCS, vol.\u00a03532, pp. 62\u201377. Springer, Heidelberg (2005)"},{"key":"9_CR12","volume-title":"PCSFW: Proceedings of The 13th Computer Security Foundations Workshop","author":"R. Focardi","year":"2000","unstructured":"Focardi, R., Gorrieri, R., Martinelli, F.: Information flow analysis in a discrete-time process algebra. In: PCSFW: Proceedings of The 13th Computer Security Foundations Workshop, IEEE Computer Society Press, Los Alamitos (2000)"},{"issue":"1-3","key":"9_CR13","doi-asserted-by":"publisher","first-page":"23","DOI":"10.1016\/j.scico.2004.01.001","volume":"50","author":"R. Gorrieri","year":"2004","unstructured":"Gorrieri, R., Martinelli, F.: A simple framework for real-time cryptographic protocol analysis with compositional proof rules. Sci. Comput. Program.\u00a050(1-3), 23\u201349 (2004)","journal-title":"Sci. Comput. Program."},{"key":"9_CR14","doi-asserted-by":"crossref","unstructured":"Asarin, E., Dima, C.: Balanced timed regular expressions. Electr. Notes Theor. Comput. Sci.\u00a068(5) (2002)","DOI":"10.1016\/S1571-0661(04)80518-8"},{"issue":"3-4","key":"9_CR15","doi-asserted-by":"crossref","first-page":"168","DOI":"10.1007\/s10207-004-0037-9","volume":"2","author":"R. Gorrieri","year":"2004","unstructured":"Gorrieri, R., Lanotte, R., Maggiolo-Schettini, A., Martinelli, F., Tini, S., Tronci, E.: Automated analysis of timed security: a case study on web privacy. Int. J. Inf. Sec.\u00a02(3-4), 168\u2013186 (2004)","journal-title":"Int. J. Inf. Sec."},{"key":"9_CR16","doi-asserted-by":"crossref","unstructured":"Andersen, H.: Verification of Temporal Properties of Concurrent Systems. PhD thesis, Department of Computer Science, Aarhus University, Denmark (1993)","DOI":"10.7146\/dpb.v22i445.6762"},{"key":"9_CR17","unstructured":"Andrews, T., Curbera, F., Dholakia, H., Goland, Y., Klein, J., Leymann, K.L.F., Roller, D., Smith, D., Thatte, S., Trickovic, I., Weerawarana, S.: Specification: Business process execution language for web services version 1.1 (2003)"},{"issue":"4","key":"9_CR18","doi-asserted-by":"crossref","first-page":"377","DOI":"10.3233\/FI-1999-38403","volume":"38","author":"F. Corradini","year":"1999","unstructured":"Corradini, F., D\u2019Ortenzio, D., Inverardi, P.: On the relationships among four timed process algebras. Fundam. Inform.\u00a038(4), 377\u2013395 (1999)","journal-title":"Fundam. Inform."},{"key":"9_CR19","first-page":"33","volume-title":"FORTE 1990: Proceedings of the IFIP TC6\/WG6.1 Third International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols","author":"M. Hennessy","year":"1991","unstructured":"Hennessy, M., Regan, T.: A temporal process algebra. In: FORTE 1990: Proceedings of the IFIP TC6\/WG6.1 Third International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols, pp. 33\u201348. North-Holland, Amsterdam (1991)"},{"key":"9_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0000494","volume-title":"Algebraic Methodology and Software Technology","author":"I. Ulidowski","year":"1997","unstructured":"Ulidowski, I., Yuen, S.: Extending process languages with time. In: Johnson, M. (ed.) AMAST 1997. LNCS, vol.\u00a01349, Springer, Heidelberg (1997)"},{"issue":"1","key":"9_CR21","doi-asserted-by":"publisher","first-page":"2","DOI":"10.1006\/inco.1993.1024","volume":"104","author":"R. Alur","year":"1993","unstructured":"Alur, R., Courcoubetis, C., Dill, D.: Model-checking in dense real-time. Inf. Comput.\u00a0104(1), 2\u201334 (1993)","journal-title":"Inf. Comput."},{"issue":"3","key":"9_CR22","doi-asserted-by":"publisher","first-page":"249","DOI":"10.1016\/0890-5401(89)90031-X","volume":"81","author":"R.S. Street","year":"1989","unstructured":"Street, R.S., Emerson, E.A.: An automata theoretic procedure for the propositional \u03bc-calculus. Information and Computation\u00a081(3), 249\u2013264 (1989)","journal-title":"Information and Computation"},{"key":"9_CR23","unstructured":"Walukiewicz, I.: A Complete Deductive System for the \u03bc-Calculus. PhD thesis, Institute of Informatics, Warsaw University (1993)"},{"key":"9_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"112","DOI":"10.1007\/978-3-540-75227-1_8","volume-title":"Formal Aspects in Security and Trust","author":"I. Matteucci","year":"2007","unstructured":"Matteucci, I.: A tool for the synthesis of controller programs. In: Dimitrakos, T., Martinelli, F., Ryan, P.Y.A., Schneider, S. (eds.) FAST 2006. LNCS, vol.\u00a04691, pp. 112\u2013126. Springer, Heidelberg (2007)"},{"key":"9_CR25","series-title":"Lecture Notes in Computer Science","volume-title":"Formal Methods for Open Object-Based Distributed Systems","author":"W. Reisig","year":"2005","unstructured":"Reisig, W.: Modeling- and analysis techniques for web services and business processes. In: Steffen, M., Zavattaro, G. (eds.) FMOODS 2005. LNCS, vol.\u00a03535, Springer, Heidelberg (2005)"},{"key":"9_CR26","doi-asserted-by":"crossref","unstructured":"Bartoletti, M., Degano, P., Ferrari, G.L.: Types and effects for secure service orchestration. In: Proc. 19th Computer Security Foundations Workshop (CSFW) (2006)","DOI":"10.1109\/CSFW.2006.31"},{"key":"9_CR27","unstructured":"Bartoletti, M., Degano, P., Ferrari, G.L.: Plans for service composition. In: Workshop on Issues in the Theory of Security (WITS) (2006)"},{"key":"9_CR28","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/11768869_1","volume-title":"Formal Methods for Open Object-Based Distributed Systems","author":"M. Bartoletti","year":"2006","unstructured":"Bartoletti, M., Degano, P., Ferrari, G.L.: Security issues in service composition. In: Gorrieri, R., Wehrheim, H. (eds.) FMOODS 2006. LNCS, vol.\u00a04037, Springer, Heidelberg (2006)"},{"key":"9_CR29","first-page":"2","volume-title":"ICAPS","author":"M. Pistore","year":"2005","unstructured":"Pistore, M., Traverso, P., Bertoli, P.: Automated composition of web services by planning in asynchronous domains. In: Biundo, S., Myers, K.L., Rajan, K. (eds.) ICAPS, pp. 2\u201311. AAAI, Menlo Park (2005)"},{"key":"9_CR30","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"228","DOI":"10.1007\/11596141_18","volume-title":"Service-Oriented Computing - ICSOC 2005","author":"N. Busi","year":"2005","unstructured":"Busi, N., Gorrieri, R., Guidi, C., Lucchi, R., Zavattaro, G.: Choreography and orchestration: A synergic approach for system design. In: Benatallah, B., Casati, F., Traverso, P. (eds.) ICSOC 2005. LNCS, vol.\u00a03826, pp. 228\u2013240. Springer, Heidelberg (2005)"},{"key":"9_CR31","doi-asserted-by":"publisher","first-page":"840","DOI":"10.1109\/ARES.2006.134","volume-title":"ARES \u201906: Proceedings of the First International Conference on Availability, Reliability and Security (ARES 2006)","author":"R. Kazhamiakin","year":"2006","unstructured":"Kazhamiakin, R., Pandya, P., Pistore, M.: Timed modelling and analysis inweb service compositions. In: ARES \u201906: Proceedings of the First International Conference on Availability, Reliability and Security (ARES 2006), Washington, DC, USA, pp. 840\u2013846. IEEE Computer Society Press, Los Alamitos (2006)"},{"key":"9_CR32","doi-asserted-by":"crossref","unstructured":"Benatallah, B., Casati, F., Ponge, J., Toumani, F.: Compatibility and replaceability analysis for timed web service protocols. In: BDA (2005)","DOI":"10.1007\/978-3-540-30464-7_40"},{"key":"9_CR33","unstructured":"Benatallah, B., Casati, F., Ponge, J., Toumani, F.: On temporal abstractions of web service protocols. In: Belo, O., Eder, J. (eds.) CAiSE Short Paper Proceedings. CEUR Workshop Proceedings, vol.\u00a0161 (2005), CEUR-WS.org"},{"key":"9_CR34","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"226","DOI":"10.1007\/11901433_13","volume-title":"Formal Methods and Software Engineering","author":"J.S. Dong","year":"2006","unstructured":"Dong, J.S., Liu, Y., Sun, J., Zhang, X.: Verification of computation orchestration via timed automata. In: Liu, Z., He, J. (eds.) ICFEM 2006. LNCS, vol.\u00a04260, pp. 226\u2013245. Springer, Heidelberg (2006)"},{"key":"9_CR35","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-71316-6_4","volume-title":"Programming Languages and Systems","author":"A. Lapadula","year":"2007","unstructured":"Lapadula, A., Pugliese, R., Tiezzi, F.: A calculus for orchestration of web services. In: De Nicola, R. (ed.) ESOP 2007. LNCS, vol.\u00a04421, Springer, Heidelberg (2007)"}],"container-title":["Lecture Notes in Computer Science","Web Services and Formal Methods"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-79230-7_9.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,29]],"date-time":"2025-01-29T17:29:42Z","timestamp":1738171782000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-79230-7_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540792291","9783540792307"],"references-count":35,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-79230-7_9","relation":{},"subject":[]}}