{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T03:48:26Z","timestamp":1725594506073},"publisher-location":"Berlin, Heidelberg","reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642217586"},{"type":"electronic","value":"9783642217593"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"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":[[2011]]},"DOI":"10.1007\/978-3-642-21759-3_19","type":"book-chapter","created":{"date-parts":[[2011,6,30]],"date-time":"2011-06-30T13:18:45Z","timestamp":1309439925000},"page":"261-275","source":"Crossref","is-referenced-by-count":5,"title":["Verification of Timed BPEL 2.0 Models"],"prefix":"10.1007","author":[{"given":"Elie","family":"Fares","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jean-Paul","family":"Bodeveix","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mamoun","family":"Filali","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"19_CR1","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1109\/ICECCS.2009.48","volume-title":"Proceedings of the 2009 14th IEEE International Conference on Engineering of Complex Computer Systems, ICECCS 2009","author":"I. Ait-Sadoune","year":"2009","unstructured":"Ait-Sadoune, I., Ait-Ameur, Y.: A proof based approach for modelling and verifying web services compositions. In: Proceedings of the 2009 14th IEEE International Conference on Engineering of Complex Computer Systems, ICECCS 2009, pp. 1\u201310. IEEE Computer Society, Washington, DC, USA (2009)"},{"key":"19_CR2","doi-asserted-by":"crossref","unstructured":"Alur, R., Feder, T., Henzinger, T.A.: The benefits of relaxing punctuality (1996)","DOI":"10.1145\/227595.227602"},{"key":"19_CR3","unstructured":"Alves, A., Arkin, A., Askary, S., Bloch, B., Curbera, F., Goland, Y., Kartha, N., Sterling, K\u00f6nig, D., Mehta, V., Thatte, S., van der Rijn, D., Yendluri, P., Yiu, A.: Web Services Business Process Execution Language Version 2.0. OASIS (May 2006)"},{"key":"19_CR4","unstructured":"Berglund, A., Boag, S., Chamberlin, D., Fern\u00e1ndez, M.F., Kay, M., Robie, J., Sim\u00e9on, J.: XML Path Language (XPath) 2.0 (W3C Recommendation) (January 2007)"},{"key":"19_CR5","doi-asserted-by":"crossref","unstructured":"Berthomieu, B., Ribet, P.-O., Vernadat, F.: The tool TINA \u2013 construction of abstract state spaces for petri nets and time petri nets. International Journal of Production Research\u00a042 (2004)","DOI":"10.1080\/00207540412331312688"},{"key":"19_CR6","first-page":"411","volume-title":"Proceedings of the 21st International Conference on Software Engineering, ICSE 1999","author":"M.B. Dwyer","year":"1999","unstructured":"Dwyer, M.B., Avrunin, G.S., Corbett, J.C.: Patterns in property specifications for finite-state verification. In: Proceedings of the 21st International Conference on Software Engineering, ICSE 1999, pp. 411\u2013420. ACM, New York (1999)"},{"key":"19_CR7","unstructured":"Farail, P., Gaufillet, P., Peres, F., Bodeveix, J.-P., Filali, M., Berthomieu, B., Rodrigo, S., Vernadat, F., Garavel, H., Lang, F.: FIACRE: an intermediate language for model verification in the TOPCASED environment. In: European Congress on Embedded Real-Time Software (ERTS) (2008)"},{"key":"19_CR8","first-page":"242","volume-title":"ICSOC 2004: Proceedings of the 2nd International Conference on Service Oriented Computing","author":"A. Ferrara","year":"2004","unstructured":"Ferrara, A.: Web services: a process algebra approach. In: ICSOC 2004: Proceedings of the 2nd International Conference on Service Oriented Computing, pp. 242\u2013251. ACM Press, New York (2004)"},{"key":"19_CR9","doi-asserted-by":"crossref","first-page":"226","DOI":"10.1007\/BFb0031995","volume-title":"Real-Time: Theory in Practice","author":"Thomas A. Henzinger","year":"1992","unstructured":"Henzinger, T.A., Manna, Z., Pnueli, A.: Timed Transition Systems. In: REX Workshop, pp. 226\u2013251 (1991)"},{"key":"19_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"220","DOI":"10.1007\/11538394_15","volume-title":"Business Process Management","author":"S. Hinz","year":"2005","unstructured":"Hinz, S., Schmidt, K., Stahl, C.: Transforming BPEL to Petri Nets. In: van der Aalst, W.M.P., Benatallah, B., Casati, F., Curbera, F. (eds.) BPM 2005. LNCS, vol.\u00a03649, pp. 220\u2013235. Springer, Heidelberg (2005)"},{"key":"19_CR11","volume-title":"The SPIN Model Checker: Primer and Reference Manual","author":"G.J. Holzmann","year":"2003","unstructured":"Holzmann, G.J.: The SPIN Model Checker: Primer and Reference Manual. Addison-Wesley Professional, Reading (2003)"},{"key":"19_CR12","first-page":"497","volume-title":"Proceedings of the IEEE International Conference on Web Services","author":"R. Kazhamiakin","year":"2006","unstructured":"Kazhamiakin, R., Pandya, P., Pistore, M.: Representation, verification, and computation of timed properties in Web Service Compositions. In: Proceedings of the IEEE International Conference on Web Services, pp. 497\u2013504. IEEE Computer Society, Washington, DC, USA (2006)"},{"key":"19_CR13","series-title":"LNBIP","doi-asserted-by":"publisher","first-page":"94","DOI":"10.1007\/978-3-642-13051-9_9","volume-title":"Enterprise, Business-Process and Information Systems Modeling","author":"A. Lanz","year":"2010","unstructured":"Lanz, A., Weber, B., Reichert, M.: Workflow time patterns for process-aware information systems. In: Aalst, W., Mylopoulos, J., Sadeh, N.M., Shaw, M.J., Szyperski, C., Bider, I., Halpin, T., Krogstie, J., Nurcan, S., Proper, E., Schmidt, R., Ukor, R. (eds.) A Concurrent Pascal Compiler for Minicomputers. LNBIP, vol.\u00a050, pp. 94\u2013107. Springer, Heidelberg (2010)"},{"key":"19_CR14","unstructured":"Lohmann, N.: A feature-complete Petri net semantics for WS-BPEL 2.0. In: van Hee, K., Reisig, W., Wolf, K. (eds.) Proceedings of the Workshop on Formal Approaches to Business Processes and Web Services (FABPWS 2007), pp. 21\u201335. University of Podlasie (2007)"},{"key":"19_CR15","doi-asserted-by":"crossref","unstructured":"Mateescu, R., Rampacek, S.: Formal Modeling and Discrete-Time Analysis of BPEL Web Services. International Journal of Simulation and Process Modeling (2008)","DOI":"10.1504\/IJSPM.2008.023680"},{"key":"19_CR16","volume-title":"A Calculus of Communicating Systems","author":"R. Milner","year":"1982","unstructured":"Milner, R.: A Calculus of Communicating Systems. Springer-Verlag New York, Inc., Secaucus (1982)"},{"key":"19_CR17","unstructured":"Moreau, J.J., Chinnici, R., Ryman, A., Weerawarana, S.: Web Services Description Language (WSDL) version 2.0 part 1: Core language. Candidate recommendation, W3C (March 2006)"},{"key":"19_CR18","doi-asserted-by":"publisher","first-page":"89","DOI":"10.1016\/j.entcs.2005.07.038","volume":"151","author":"S. Nakajima","year":"2006","unstructured":"Nakajima, S.: Model-Checking Behavioral Specification of BPEL Applications. Electron. Notes Theor. Comput. Sci.\u00a0151, 89\u2013105 (2006)","journal-title":"Electron. Notes Theor. Comput. Sci."},{"key":"19_CR19","doi-asserted-by":"publisher","first-page":"33","DOI":"10.1016\/j.entcs.2005.07.035","volume":"151","author":"G. Pu","year":"2006","unstructured":"Pu, G., Zhao, X., Wang, S., Qiu, Z.: Towards the semantics and verification of BPEL4WS. Electron. Notes Theor. Comput. Sci.\u00a0151, 33\u201352 (2006)","journal-title":"Electron. Notes Theor. Comput. Sci."},{"key":"19_CR20","doi-asserted-by":"crossref","unstructured":"Qian, Y., Xu, Y., Wang, Z., Pu, G., Zhu, H., Cai, C.: Tool Support for BPEL Verification in ActiveBPEL Engine. In: 18th Australian Software Engineering Conference ASWEC 2007, pp. 90\u2013100 (April 2007)","DOI":"10.1109\/ASWEC.2007.50"},{"key":"19_CR21","doi-asserted-by":"crossref","unstructured":"Salaun, G., Bordeaux, L., Schaerf, M.: Describing and reasoning on web services using process algebra. In: IEEE International Conference on Web Services, p. 43 (2004)","DOI":"10.1109\/ICWS.2004.1314722"},{"key":"19_CR22","doi-asserted-by":"publisher","first-page":"92","DOI":"10.1109\/QSIC.2009.20","volume-title":"Proceedings of the 2009 Ninth International Conference on Quality Software, QSIC 2009","author":"W. Song","year":"2009","unstructured":"Song, W., Ma, X., Ye, C., Dou, W., L\u00fc, J.: Timed modeling and verification of BPEL processes using time petri nets. In: Proceedings of the 2009 Ninth International Conference on Quality Software, QSIC 2009, pp. 92\u201397. IEEE Computer Society, Washington, DC, USA (2009)"}],"container-title":["Lecture Notes in Business Information Processing","Enterprise, Business-Process and Information Systems Modeling"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-21759-3_19","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,12]],"date-time":"2019-06-12T15:26:20Z","timestamp":1560353180000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-21759-3_19"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642217586","9783642217593"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-21759-3_19","relation":{},"ISSN":["1865-1348","1865-1356"],"issn-type":[{"type":"print","value":"1865-1348"},{"type":"electronic","value":"1865-1356"}],"subject":[],"published":{"date-parts":[[2011]]}}}