{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T04:20:15Z","timestamp":1742962815165,"version":"3.40.3"},"reference-count":28,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2012,4,13]],"date-time":"2012-04-13T00:00:00Z","timestamp":1334275200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Int J Softw Tools Technol Transfer"],"published-print":{"date-parts":[[2013,4]]},"DOI":"10.1007\/s10009-012-0231-4","type":"journal-article","created":{"date-parts":[[2012,4,12]],"date-time":"2012-04-12T21:03:14Z","timestamp":1334264594000},"page":"125-147","source":"Crossref","is-referenced-by-count":8,"title":["Model-checking web services business activity protocols"],"prefix":"10.1007","volume":"15","author":[{"suffix":"Jr.","given":"Abinoam P.","family":"Marques","sequence":"first","affiliation":[]},{"given":"Anders P.","family":"Ravn","sequence":"additional","affiliation":[]},{"given":"Ji\u0159\u00ed","family":"Srba","sequence":"additional","affiliation":[]},{"given":"Saleem","family":"Vighio","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2012,4,13]]},"reference":[{"issue":"6","key":"231_CR1","doi-asserted-by":"publisher","first-page":"1267","DOI":"10.1145\/195613.195651","volume":"41","author":"Y. Afek","year":"1994","unstructured":"Afek Y., Attiya H., Fekete A., Fischer M., Lynch N., Mansour Y., Wang D.-W., Zuck L.: Reliable communication over unreliable channels. J. ACM 41(6), 1267\u20131297 (1994)","journal-title":"J. ACM"},{"key":"231_CR2","doi-asserted-by":"publisher","first-page":"226","DOI":"10.1007\/BF01872848","volume":"2","author":"K.R. Apt","year":"1988","unstructured":"Apt K.R., Francez N., Katz S.: Appraising fairness in languages for distributed programming. Distrib. Comput. 2, 226\u2013241 (1988)","journal-title":"Distrib. Comput."},{"key":"231_CR3","unstructured":"Barghouti N., Nounou N., Yemini Y.: An integrated protocol development environment. In: Protocol Specification Testing and Verification VI, pp. 63\u201369. North-Holland, Amsterdam (1987)"},{"key":"231_CR4","doi-asserted-by":"crossref","unstructured":"Behrmann G., David A., Larsen K.G.: A tutorial on UPPAAL. In: Proceedings of the 4th International School on Formal Methods for the Design of Computer, Communication, and Software Systems (SFM-RT\u201904). LNCS, vol. 3185, pp. 200\u2013236. Springer, Berlin (2004)","DOI":"10.1007\/978-3-540-30080-9_7"},{"issue":"2","key":"231_CR5","doi-asserted-by":"publisher","first-page":"323","DOI":"10.1145\/322374.322380","volume":"30","author":"D. Brand","year":"1983","unstructured":"Brand D., Zafiropulo P.: On communicating finite-state machines. J. ACM 30(2), 323\u2013342 (1983)","journal-title":"J. ACM"},{"key":"231_CR6","doi-asserted-by":"publisher","first-page":"129","DOI":"10.1007\/BF02277857","volume":"7","author":"A. Finkel","year":"1994","unstructured":"Finkel A.: Decidability of the termination problem for completely specified protocols. Distrib. Comput. 7, 129\u2013135 (1994)","journal-title":"Distrib. Comput."},{"key":"231_CR7","volume-title":"Transaction Processing: Concepts and Techniques","author":"J. Gray","year":"1993","unstructured":"Gray J., Reuter A.: Transaction Processing: Concepts and Techniques. Morgan Kaufmann, Menlo Park (1993)"},{"key":"231_CR8","unstructured":"Greenfield P., Kuo D., Nepal S., Fekete A.: Consistency for web services applications. In: VLDB \u201905: proceedings of the 31st international conference on very large data bases, pp. 1199\u20131203. VLDB Endowment (2005)"},{"issue":"1","key":"231_CR9","doi-asserted-by":"publisher","first-page":"34","DOI":"10.1016\/j.jlap.2006.05.004","volume":"70","author":"J.E. Johnson","year":"2007","unstructured":"Johnson J.E., Langworthy D.E., Lamport L., Vogt F.H.: Formal specification of a web services protocol. J. Logic. Algebraic Program. 70(1), 34\u201352 (2007)","journal-title":"J. Logic. Algebraic Program."},{"key":"231_CR10","volume-title":"Specifying Systems","author":"L. Lamport","year":"2003","unstructured":"Lamport L.: Specifying Systems. Addison-Wesley, Reading (2003)"},{"key":"231_CR11","unstructured":"Lohmann N.: Communication models for services. In: Proceedings of ZEUS\u201910, vol. 563 of CEUR Workshop Proceedings, pp. 9\u201316. CEUR-WS.org (2010)"},{"key":"231_CR12","unstructured":"Marques A.P. Jr., Ravn A.P., Srba J., Vighio S.: Tool supported analysis of web services protocols. In: Proceedings of the 5th International Workshop of Harnessing Theories for Tool Support in Software (TTSS\u201911), pp. 50\u201364 (2011)"},{"key":"231_CR13","unstructured":"Marques A.P., Ravn A.P., Srba J., Vighio S.: The tool csv2uppaal. http:\/\/csv2uppaal.github.com\/csv2uppaal\/ . Accessed 6 April 2012"},{"key":"231_CR14","volume-title":"Business Process Execution Language for Web Services","author":"B. Mathew","year":"2006","unstructured":"Mathew B., Juric M., Sarang P.: Business Process Execution Language for Web Services, 2nd edn. Packt Publishing, Birmingham (2006)","edition":"2"},{"key":"231_CR15","doi-asserted-by":"publisher","first-page":"93","DOI":"10.1145\/250707.239114","volume":"21","author":"G.N. Naumovich","year":"1996","unstructured":"Naumovich G.N., Clarke L.A., Osterweil L.J.: Verification of communication protocols using data flow analysis. SIGSOFT Softw. Eng. Notes 21, 93\u2013105 (1996)","journal-title":"SIGSOFT Softw. Eng. Notes"},{"key":"231_CR16","unstructured":"Newcomer E., Robinson I. (chairs): Web services atomic transaction (WS-atomic transaction) version 1.2 (2009). http:\/\/docs.oasis-open.org\/ws-tx\/wstx-wsat-1.2-spec.html . Accessed 6 April 2012"},{"key":"231_CR17","unstructured":"Newcomer E., Robinson I. (chairs): Web services business activity (WS-businessactivity) version 1.2 (2009). http:\/\/docs.oasis-open.org\/ws-tx\/wstx-wsba-1.2-spec-os\/wstx-wsba-1.2-spec-os.html . Accessed 6 April 2012"},{"key":"231_CR18","unstructured":"Newcomer E., Robinson I. (chairs): Web services coordination (WS-coordination) version 1.2 (2009). http:\/\/docs.oasis-open.org\/ws-tx\/wstx-wscoor-1.2-spec-os\/wstx-wscoor-1.2-spec-os.html . Accessed 6 April 2012"},{"issue":"1","key":"231_CR19","doi-asserted-by":"publisher","first-page":"131","DOI":"10.1006\/inco.1994.1083","volume":"114","author":"X. Nicollin","year":"1994","unstructured":"Nicollin X., Sifakis J.: The algebra of timed processes, ATP: theory and application. Inf. Comput. 114(1), 131\u2013178 (1994)","journal-title":"Inf. Comput."},{"key":"231_CR20","unstructured":"OASIS. Discussion forum, report on error trace in BAwCC (2011). http:\/\/markmail.org\/message\/xgnyonkihfif5vz2 . Accessed 6 April 2012"},{"key":"231_CR21","unstructured":"Ravn A.P., Srba J., Vighio S.: UPPAAL model of the WS-BA protocol. http:\/\/www.uppaal.org . Accessed 6 April 2012"},{"key":"231_CR22","doi-asserted-by":"crossref","unstructured":"Ravn A.P., Srba J., Vighio S.: A formal analysis of the web services atomic transaction protocol with UPPAAL. In: Proceedings of the 4th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISOLA\u201910). LNCS, vol. 6416, pp. 579\u2013593. Springer, Berlin (2010)","DOI":"10.1007\/978-3-642-16558-0_47"},{"key":"231_CR23","doi-asserted-by":"crossref","unstructured":"Ravn A.P., Srba J., Vighio S.: Modelling and verification of web services business activity protocol. In: Abdulla, P.A., Leino, K.R.M. (eds) Proceedings of TACAS\u201911. LNCS, vol. 6605, pp. 357\u2013371. Springer, Berlin (2011)","DOI":"10.1007\/978-3-642-19835-9_32"},{"key":"231_CR24","unstructured":"Robinson I.: Answer in WS-BA discussion forum, July 14th (2010). http:\/\/markmail.org\/message\/wriewgkboaaxw66z . Accessed 6 April 2012"},{"key":"231_CR25","doi-asserted-by":"publisher","first-page":"251","DOI":"10.1016\/S0020-0190(01)00337-4","volume":"83","author":"Ph. Schnoebelen","year":"2002","unstructured":"Schnoebelen Ph.: Verifying lossy channel systems has nonprimitive recursive complexity. Inf. Process. Lett. 83, 251\u2013261 (2002)","journal-title":"Inf. Process. Lett."},{"key":"231_CR26","unstructured":"UPPAAL. http:\/\/www.uppaal.com . Accessed 6 April 2012"},{"key":"231_CR27","doi-asserted-by":"crossref","unstructured":"Vogt F.H., Zambrovski S., Gruschko B., Furniss P., Green A: Implementing web service protocols in SOA: WS-coordination and WS-businessactivity. In: Proceedings of the Seventh IEEE International Conference on E-Commerce Technology Workshops(CECW\u201905), pp. 21\u201328. IEEE Computer Society, New york (2005)","DOI":"10.1109\/CECW.2005.12"},{"key":"231_CR28","unstructured":"Vuong S.T., Hui D.D., Cowan D.D.: Valira\u2014a tool for protocol validation via reachability analysis. In: Protocol Specification, Testing and Verification VI, pp. 35\u201341. North-Holland, Amsterdam (1987)"}],"container-title":["International Journal on Software Tools for Technology Transfer"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10009-012-0231-4.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10009-012-0231-4\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10009-012-0231-4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10009-012-0231-4.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T20:12:28Z","timestamp":1742933548000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10009-012-0231-4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,4,13]]},"references-count":28,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2013,4]]}},"alternative-id":["231"],"URL":"https:\/\/doi.org\/10.1007\/s10009-012-0231-4","relation":{},"ISSN":["1433-2779","1433-2787"],"issn-type":[{"type":"print","value":"1433-2779"},{"type":"electronic","value":"1433-2787"}],"subject":[],"published":{"date-parts":[[2012,4,13]]}}}