{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T13:51:50Z","timestamp":1725889910056},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540388623"},{"type":"electronic","value":"9783540388654"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11841197_12","type":"book-chapter","created":{"date-parts":[[2006,9,11]],"date-time":"2006-09-11T07:59:47Z","timestamp":1157961587000},"page":"178-192","source":"Crossref","is-referenced-by-count":8,"title":["Analysis and Verification of Time Requirements Applied to the Web Services Composition"],"prefix":"10.1007","author":[{"given":"Gregorio","family":"D\u00edaz","sequence":"first","affiliation":[]},{"given":"Mar\u00eda-Emilia","family":"Cambronero","sequence":"additional","affiliation":[]},{"given":"M. Llanos","family":"Tobarra","sequence":"additional","affiliation":[]},{"given":"Valent\u00edn","family":"Valero","sequence":"additional","affiliation":[]},{"given":"Fernando","family":"Cuartero","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"12_CR1","unstructured":"van Lamsweerde, A., Dardenne, A., Fickas, S.: Goal-directed requirements acquisition, p. 350"},{"key":"12_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0032042","volume-title":"Automata, Languages and Programming","author":"R. Alur","year":"1990","unstructured":"Alur, R., Dill, D.: Automata for modeling real\u2013time systems. In: Paterson, M. (ed.) ICALP 1990. LNCS, vol.\u00a0443. Springer, Heidelberg (1990)"},{"key":"12_CR3","doi-asserted-by":"crossref","unstructured":"Bengtsson, J., Yi, W.: Timed automata: Semantics, algorithms and tools. In: Reisig, W., Rozenberg, G. (eds.) Lecture Notes on Concurrency and Petri Nets. Springer, Heidelberg (2004)","DOI":"10.1007\/978-3-540-27755-2_3"},{"key":"12_CR4","doi-asserted-by":"publisher","first-page":"831","DOI":"10.1145\/1066677.1066867","volume-title":"SAC 2005: Proceedings of the 2005 ACM symposium on Applied computing","author":"M. Bravetti","year":"2005","unstructured":"Bravetti, M., Guidi, C., Lucchi, R., Zavattaro, G.: Supporting e-commerce systems formalization with choreography languages. In: SAC 2005, pp. 831\u2013835. ACM Press, New York (2005)"},{"key":"12_CR5","doi-asserted-by":"publisher","first-page":"800","DOI":"10.1145\/967900.968065","volume-title":"SAC 2004: Proceedings of the 2004 ACM symposium on Applied computing","author":"M. Bravetti","year":"2004","unstructured":"Bravetti, M., Lucchi, R., Zavattaro, G., Gorrieri, R.: Web services for e-commerce: guaranteeing security access and quality of service. In: SAC 2004, pp. 800\u2013806. ACM Press, New York (2004)"},{"key":"12_CR6","unstructured":"Rifaut, A., Molderez, J.F., van Lamsweerde, A., Ponsard, C., Massonet, P., Tran Van, H.: Early verification and validation of mission critical systems. In: Ninth International Workshop on Formal Methods for Industrial Critical Systems (2004)"},{"key":"12_CR7","volume-title":"Model Checking","author":"E.M. Clarke Jr.","year":"1999","unstructured":"Clarke Jr., E.M., Grumberg, O., Peled, D.A.: Model Checking. MIT Press, Cambridge (1999)"},{"key":"12_CR8","doi-asserted-by":"crossref","unstructured":"Darimont, R., van Lamsweerde, A.: Formal refinement patterns for goaldriven requirements elaboration. In: Ninth International Workshop on Formal Methods for Industrial Critical Systemse, FSE-4 - 4th ACM Symp. on the Foundations of Software Engineering (October 1996)","DOI":"10.1145\/239098.239131"},{"key":"12_CR9","doi-asserted-by":"publisher","first-page":"789","DOI":"10.1145\/967900.968063","volume-title":"SAC 2004: Proceedings of the 2004 ACM symposium on Applied computing","author":"G. D\u00edaz","year":"2004","unstructured":"D\u00edaz, G., Cuartero, F., Ruiz, V.V., Pelayo, F.L.: Automatic verification of the tls handshake protocol. In: SAC 2004: Proceedings of the 2004 ACM symposium on Applied computing, pp. 789\u2013794. ACM Press, New York (2004)"},{"key":"12_CR10","first-page":"815","volume-title":"SAC 2005: Proceedings of the 2005 ACM symposium on Applied computing","author":"G. D\u00edaz","year":"2006","unstructured":"D\u00edaz, G., Larsen, K.G., Pardo, J.J., Cuartero, F., Valero, V.: An approach to handle real time and probabilistic behaviors in e-commerce: validating the set protocol. In: SAC 2005: Proceedings of the 2005 ACM symposium on Applied computing, pp. 815\u2013820. ACM Press, New York (2006)"},{"key":"12_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"230","DOI":"10.1007\/11549970_17","volume-title":"Formal Techniques for Computer Systems and Business Processes","author":"G. Diaz","year":"2005","unstructured":"Diaz, G., Pardo, J.-J., Cambronero, M.-E., Valero, V., Cuartero, F.: Automatic translation of WS-CDL choreographies to timed automata. In: Bravetti, M., Kloul, L., Zavattaro, G. (eds.) EPEW\/WS-FM 2005. LNCS, vol.\u00a03670, pp. 230\u2013242. Springer, Heidelberg (2005)"},{"key":"12_CR12","unstructured":"Kavantzas, N., et al.: Web service choreography description language (wscdl) 1.0, http:\/\/www.w3.org\/TR\/ws-cdl-10\/"},{"key":"12_CR13","volume-title":"Formal Methods for Real-Time Computing","author":"C. Heitmeyer","year":"1996","unstructured":"Heitmeyer, C., Mandrioli, D.: Formal Methods for Real-Time Computing. John Wiley & Sons, Chichester (1996)"},{"issue":"1","key":"12_CR14","doi-asserted-by":"publisher","first-page":"63","DOI":"10.1145\/602382.602403","volume":"50","author":"T. Hoare","year":"2003","unstructured":"Hoare, T.: The verifying compiler: A grand challenge for computing research. J. ACM\u00a050(1), 63\u201369 (2003)","journal-title":"J. ACM"},{"key":"12_CR15","doi-asserted-by":"crossref","unstructured":"Larsen, K., Pettersson, P., Yi, W.: Uppaal in a nutshell. Journal on Software Tools for Technology Transfer\u00a01 (1997)","DOI":"10.1007\/s100090050010"},{"key":"12_CR16","doi-asserted-by":"publisher","first-page":"76","DOI":"10.1109\/REAL.1995.495198","volume-title":"Proc. of the 16th IEEE Real-Time Systems Symposium","author":"K.G. Larsen","year":"1995","unstructured":"Larsen, K.G., Pettersson, P., Yi, W.: Compositional and Symbolic Model-Checking of Real-Time Systems. In: Proc. of the 16th IEEE Real-Time Systems Symposium, pp. 76\u201387. IEEE Computer Society Press, Los Alamitos (1995)"},{"key":"12_CR17","first-page":"319","volume-title":"13th Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems (ECBS 2006)","author":"E. Navarro","year":"2006","unstructured":"Navarro, E., Sanchez, P., Letelier, P., Pastor, J.A., Ramos, I.: A goal-oriented approach for safety requirements specification. In: 13th Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems (ECBS 2006), pp. 319\u2013326. IEEE Computer Society, Los Alamitos (2006)"},{"key":"12_CR18","doi-asserted-by":"crossref","unstructured":"Alur, C.C.R., Dill, D.L.: Model-checking in dense real-time. Journal of Information and Computation (1993)","DOI":"10.1006\/inco.1993.1024"},{"key":"12_CR19","unstructured":"Sifakis, J., Henzinger, T.A., Nicollin, X., Yovine, S.: Symbolic model checking for real-time systems. In: Proceedings of the IEEE Conference on Logics in Computer Science (LICS) (1992)"},{"key":"12_CR20","doi-asserted-by":"crossref","unstructured":"van Lamsweerde, A.: Requirements engineering in the year 2000: a research perspective. In: International Conference on Software Engineering, p. 519 (2000)","DOI":"10.1145\/337180.337184"}],"container-title":["Lecture Notes in Computer Science","Web Services and Formal Methods"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11841197_12.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T19:40:41Z","timestamp":1605642041000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11841197_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540388623","9783540388654"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/11841197_12","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}