{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,2]],"date-time":"2025-07-02T22:43:36Z","timestamp":1751496216457,"version":"3.40.3"},"publisher-location":"Singapore","reference-count":18,"publisher":"Springer Singapore","isbn-type":[{"type":"print","value":"9789811359064"},{"type":"electronic","value":"9789811359071"}],"license":[{"start":{"date-parts":[[2019,1,1]],"date-time":"2019-01-01T00:00:00Z","timestamp":1546300800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2019]]},"DOI":"10.1007\/978-981-13-5907-1_41","type":"book-chapter","created":{"date-parts":[[2019,2,7]],"date-time":"2019-02-07T07:01:52Z","timestamp":1549522912000},"page":"381-389","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["A Generic Approach for the Verification of Static and Dynamic Behavioral Properties of SCDL\/WS-BPEL Service-Component Architectures"],"prefix":"10.1007","author":[{"given":"Taoufik","family":"Sakka Rouis","sequence":"first","affiliation":[]},{"given":"Mohamed Tahar","family":"Bhiri","sequence":"additional","affiliation":[]},{"given":"Mourad","family":"Kmimech","sequence":"additional","affiliation":[]},{"given":"Layth","family":"Sliman","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2019,2,8]]},"reference":[{"issue":"1","key":"41_CR1","doi-asserted-by":"publisher","first-page":"47","DOI":"10.1108\/14637150710721122","volume":"13","author":"O Barros","year":"2007","unstructured":"Barros, O.: Business process patterns and frameworks: reusing knowledge in process innovation. Bus. Process Manag. J. 13(1), 47\u201369 (2007)","journal-title":"Bus. Process Manag. J."},{"issue":"7","key":"41_CR2","doi-asserted-by":"publisher","first-page":"839","DOI":"10.3166\/tsi.31.839-868","volume":"31","author":"MT Bhiri","year":"2012","unstructured":"Bhiri, M.T., Fourati, F., Kmimech, M., Graiet, M.: Transformation exog\u00e8ne de Wright vers Ada. Technique et Science Informatiques 31(7), 839\u2013868 (2012)","journal-title":"Technique et Science Informatiques"},{"issue":"2","key":"41_CR3","first-page":"1","volume":"5","author":"IE Chama","year":"2014","unstructured":"Chama, I.E., Belala, N., Sa\u00efdouni, D.E.: Formalizing timed BPEL by D-LOTOS. IJERTCS J. 5(2), 1\u201321 (2014)","journal-title":"IJERTCS J."},{"key":"41_CR4","unstructured":"Foster, H., Uchitel, S., Magee, J., Kramer, J.: Model-based verification of web service compositions. In: Proceedings of 18th IEEE International Conference on Automated Software Engineering, Montreal, Canada, pp. 152\u2013163. IEEE, October 2003"},{"key":"41_CR5","doi-asserted-by":"crossref","unstructured":"Foster, H., Uchitel, S. Magee, J., Kramer, J., Magee, J.: Compatibility verification for web service choreography. In: Proceedings of the IEEE International Conference on Web Services, San Diego, CA, USA, pp. 738\u2013741. IEEE, June 2004","DOI":"10.1109\/ICWS.2004.1314806"},{"key":"41_CR6","unstructured":"Ma\u00e2lej, A.J., Lahami, M., Krichen, M., Jma\u00efel, M.: Distributed and resource-aware load testing of WS-BPEL compositions. In: ICEIS (2), pp. 29\u201338 (2018)"},{"key":"41_CR7","doi-asserted-by":"crossref","unstructured":"Haddad, I., Kmimech, M., Sakka Rouis, T., Bhiri, M.T.: Towards a practical approach to check service component architecture. In: 11th International Conference on Semantics, Knowledge and Grid, pp. 65\u201372. IEEE (2015)","DOI":"10.1109\/SKG.2015.38"},{"key":"41_CR8","doi-asserted-by":"crossref","unstructured":"Hamel, L.M., Graiet, G.M., Kmimech, M.: Formal modeling for verifying SCA composion. In: RCIS Conference, pp. 193\u2013204 (2015)","DOI":"10.1109\/RCIS.2015.7128880"},{"key":"41_CR9","unstructured":"https:\/\/sourceforge.net\/projects\/SCA2WrightToAda\n                    \n                   (2018)"},{"issue":"6","key":"41_CR10","doi-asserted-by":"publisher","first-page":"695","DOI":"10.1007\/s10009-014-0322-5","volume":"17","author":"D Hoang","year":"2015","unstructured":"Hoang, D., Moy, Y., Wallenburg, A., Chapman, R.: SPARK 2014 and GNATprove - A competition report from builders of an industrial-strength verifying compiler. Int. J. Softw. Tools Technol. Transf. 17(6), 695\u2013707 (2015)","journal-title":"Int. J. Softw. Tools Technol. Transf."},{"key":"41_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"37","DOI":"10.1007\/978-3-319-92432-8_3","volume-title":"Reliable Software Technologies \u2013 Ada-Europe 2018","author":"Maroua Maalej","year":"2018","unstructured":"Maalej, Maroua, Taft, Tucker, Moy, Yannick: Safe dynamic memory management in ada and SPARK. In: Casimiro, Ant\u00f3nio, Ferreira, Pedro M. (eds.) Ada-Europe 2018. LNCS, vol. 10873, pp. 37\u201352. Springer, Cham (2018). \n                    https:\/\/doi.org\/10.1007\/978-3-319-92432-8_3"},{"key":"41_CR12","doi-asserted-by":"crossref","first-page":"389","DOI":"10.1007\/978-3-319-15201-1_26","volume-title":"Software Engineering and Formal Methods","author":"Jos\u00e9 Antonio Mateo","year":"2015","unstructured":"Mateo, J.A., Ruiz, V.V., Maci\u00e0, H., D\u00edaz, G.: A coloured petri net approach to model and analyse stateful workflows based on WS-BPEL and WSRF. In: SEFM Workshops, pp. 389\u2013404 (2014)"},{"issue":"6","key":"41_CR13","doi-asserted-by":"publisher","first-page":"77","DOI":"10.1145\/267896.267904","volume":"22","author":"Gleb Naumovich","year":"1997","unstructured":"Naumovich, G., Avrunin, G.S., Clarke, L.A., Osterweil, L.J., Applying static analysis to software architectures\u2019. In: ACM SIGSOFT 1997, Software Engineering Notes, vol. 22(6), pp. 77\u201393 (1997)","journal-title":"ACM SIGSOFT Software Engineering Notes"},{"key":"41_CR14","unstructured":"OASIS. Service Component Architecture Assembly Model Specification Version 1.1. Oasis, July 2017. \n                    https:\/\/www.oasis-open.org\/standards"},{"key":"41_CR15","unstructured":"Sakka Rouis, T., Bhiri, M.T., Kmimech, M., Moussa, F.: Wr2Fdr Tool Maintenance for models Checking. In: SoMeT Conference, pp. 425\u2013440 (2017)"},{"key":"41_CR16","doi-asserted-by":"crossref","unstructured":"Strobl, S., Zoffi, M., Bernhart, M., Grechenig, T.: A tiered approach towards an incremental BPEL to BPMN 2.0 Migration. In: ICSME Conference, pp. 563\u2013567 (2016)","DOI":"10.1109\/ICSME.2016.41"},{"key":"41_CR17","doi-asserted-by":"crossref","unstructured":"Yang, Y., Tan, Q., Xiao, Y., Liu, F., Yu, J.: Transform BPEL workflow into hierarchical CP-nets to make tool support for verification. In: APWeb Conference, pp. 275\u2013284 (2006)","DOI":"10.1007\/11610113_25"},{"key":"41_CR18","doi-asserted-by":"crossref","unstructured":"Yeung, W.L.: Mapping WS-CDL and BPEL into CSP for behavioural specification and verification of web services. In: ECOWS, IEEE Computer, pp. 297\u2013305 (2006)","DOI":"10.1109\/ECOWS.2006.26"}],"container-title":["Communications in Computer and Information Science","Parallel and Distributed Computing, Applications and Technologies"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-981-13-5907-1_41","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,21]],"date-time":"2019-05-21T00:02:38Z","timestamp":1558396958000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-981-13-5907-1_41"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019]]},"ISBN":["9789811359064","9789811359071"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-981-13-5907-1_41","relation":{},"ISSN":["1865-0929","1865-0937"],"issn-type":[{"type":"print","value":"1865-0929"},{"type":"electronic","value":"1865-0937"}],"subject":[],"published":{"date-parts":[[2019]]},"assertion":[{"value":"8 February 2019","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"PDCAT","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Parallel and Distributed Computing: Applications and Technologies","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Jeju Island","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Korea (Republic of)","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2018","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"20 August 2018","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"22 August 2018","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"19","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"pdcat2018","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/www.pdcat2018.org\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}