{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,3]],"date-time":"2025-07-03T04:21:58Z","timestamp":1751516518439,"version":"3.41.0"},"publisher-location":"Cham","reference-count":20,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319763477"},{"type":"electronic","value":"9783319763484"}],"license":[{"start":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T00:00:00Z","timestamp":1514764800000},"content-version":"unspecified","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":[[2018]]},"DOI":"10.1007\/978-3-319-76348-4_2","type":"book-chapter","created":{"date-parts":[[2018,3,21]],"date-time":"2018-03-21T15:10:42Z","timestamp":1521645042000},"page":"10-20","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["UML2ADA for Early Verification of Concurrency Inside the UML2.0 Atomic Components"],"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":[[2018,3,22]]},"reference":[{"doi-asserted-by":"crossref","unstructured":"Han, J.: A comprehensive interface definition framework for software components. In: Asia Pacific Software Engineering Conference, pp. 110\u2013117. IEEE Computer Society (1998)","key":"2_CR1","DOI":"10.1109\/APSEC.1998.733601"},{"doi-asserted-by":"crossref","unstructured":"Naumovich, G., Avrunin, G.S., Clarke, L.A., Osterweil, L.J.: Applying static analysis to software architectures. In: ACM SIGSOFT 1997 Softw. Eng. Notes 22(6), pp. 77\u201393 (1997)","key":"2_CR2","DOI":"10.1007\/3-540-63531-9_8"},{"doi-asserted-by":"crossref","unstructured":"Ruiz, J.F., Comar, C., Moy, Y.: Source code as the key artifact in requirement-based development: the case of ada 2012. In: Ada-Europe 2012, pp. 49\u201359 (2012)","key":"2_CR3","DOI":"10.1007\/978-3-642-30598-6_4"},{"doi-asserted-by":"crossref","unstructured":"Pedro, A.M., Pereira D., Pinho, L.M., Pinto, J.S.: Towards a runtime verification framework for the ada programming language. In: Ada-Europe, pp. 58\u201373 (2014)","key":"2_CR4","DOI":"10.1007\/978-3-319-08311-7_6"},{"doi-asserted-by":"crossref","unstructured":"Sakka Rouis, T., Bhiri, M.T., Kmimech, M., Moussa, F.: A contractual approach for the verification of UML2.0 software architectures. Appareats Int. J. Comput. Appl. Technol. 57(1) (2018)","key":"2_CR5","DOI":"10.1504\/IJCAT.2018.090030"},{"key":"2_CR6","doi-asserted-by":"crossref","first-page":"40","DOI":"10.1109\/2.161279","volume":"25","author":"B Meyer","year":"1992","unstructured":"Meyer, B.: Applying design by contract. IEEE Comput. 25, 40\u201351 (1992)","journal-title":"IEEE Comput."},{"unstructured":"Luong, H.V., Courbis, A.L., Lambolais, T., Phan, T.: IDCM: un outil d\u2019analyse de composants et d\u2019architectures d\u00e9di\u00e9 \u00e0 la construction incr\u00e9mentale. 11\u00e8mes Journ\u00e9es Francophones sur les Approches Formelles dans l\u2019Assistance au D\u00e9veloppement de Logiciels, Grenoble, France, pp. 50\u201353, January 2012","key":"2_CR7"},{"unstructured":"Lambolais, T., Courbis, A.L., Luong, H.V.: Raffinement de mod\u00e8les comportementaux UML, v\u00e9rification des relations d\u2019implantation et d\u2019extension sur les machines d\u2019\u00e9tats, AFADL 2009, France, 14 p. (2009)","key":"2_CR8"},{"doi-asserted-by":"crossref","unstructured":"Sakka Rouis T., Bhiri M.T., Kmimech, M.: Behavioral verification of UML2.0\/PoSM components. In: Proceeding in 15th International SoMeT, Larnaca, Cyprus, pp. 246\u2013257, 12\u201314 September 2016","key":"2_CR9","DOI":"10.3233\/978-1-61499-674-3-246"},{"unstructured":"Sakka Rouis, T., Bhiri, M.T., Kmimech, M., Moussa, F.: Wr2Fdr tool maintenance for models checking. In: Proceeding in 16th International SoMeT Conference. Kitakyushu, Japan, pp. 425\u2013440 (2017)","key":"2_CR10"},{"unstructured":"Hammal, Y.: Towards checking protocol conformance of active components. Int. J. Softw. Eng. Appl. 5(2) (2011)","key":"2_CR11"},{"unstructured":"Thuan, T.N., Anh, T.V.V., Ha, N.V.: Consistency between UCM and PSMs in component models. In: IEEE International Conference on Research, Innovation and Vision for the Future in Computing and Communication Technologies, Ho Chi Minh City (2008)","key":"2_CR12"},{"doi-asserted-by":"crossref","unstructured":"Ng, M.Y., Butler, M.: Towards formalizing UML state diagrams in CSP. In: SEFM, pp. 138\u2013147. IEEE (2003)","key":"2_CR13","DOI":"10.1109\/SEFM.2003.1236215"},{"doi-asserted-by":"crossref","unstructured":"Jacobs, J., Simpson, A.C.: On a process algebraic representation of sequence diagrams. In: SaFoMe 2014. LNCS, vol. 8938, pp. 71\u201385 (2014)","key":"2_CR14","DOI":"10.1007\/978-3-319-15201-1_5"},{"doi-asserted-by":"crossref","unstructured":"Dong, X., Philbert, N., Zongtian, L., Wei, L.: Towards formalizing UML activity diagrams in CSP. In: ISCSCT, pp. 450\u2013453. IEEE (2008)","key":"2_CR15","DOI":"10.1109\/ISCSCT.2008.379"},{"unstructured":"Taft, S.T., Duff, R.A., Brukardt, R.L., Ploedereder, E., Leroy, P.: Ada 2005 Reference Manual. Language and Standard Libraries: International Standard ISO\/IEC 8652\/1995(E) with Technical Corrigendum 1 and Amendment 1. Springer, New York (2007)","key":"2_CR16"},{"issue":"4","key":"2_CR17","doi-asserted-by":"crossref","first-page":"386","DOI":"10.1145\/606612.606614","volume":"11","author":"M Bernardo","year":"2002","unstructured":"Bernardo, M., Ciancarini, P., Donatiello, L.: Architecting families of software systems with process algebras. ACM Trans. Softw. Eng. Methodol. 11(4), 386\u2013426 (2002)","journal-title":"ACM Trans. Softw. Eng. Methodol."},{"unstructured":"Bhiri, M.T., Sakka Rouis, T., Kmimech, M.: Checking non-functional properties of UML2.0 components assembly. In: IEEE WETICE Conference, Tunisia, pp. 278\u2013283 (2013)","key":"2_CR18"},{"unstructured":"Dwyer, M.B., Pasarean, S.C., Corbett J.C.: Translating ADA programs for Model checking: A tutorial. Technical Report 1998\u201312, Kansas State University","key":"2_CR19"},{"issue":"1","key":"2_CR20","doi-asserted-by":"crossref","first-page":"140","DOI":"10.1147\/sj.411.0140","volume":"41","author":"JM Cobleigh","year":"2002","unstructured":"Cobleigh, J.M., Clarke, L.A., Osterweil, L.J.: FLAVERS: a finite state verification technique for software systems. IBM Syst. J. 41(1), 140\u2013165 (2002)","journal-title":"IBM Syst. J."}],"container-title":["Advances in Intelligent Systems and Computing","Intelligent Systems Design and Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-76348-4_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,7,2]],"date-time":"2025-07-02T22:25:54Z","timestamp":1751495154000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-76348-4_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018]]},"ISBN":["9783319763477","9783319763484"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-76348-4_2","relation":{},"ISSN":["2194-5357","2194-5365"],"issn-type":[{"type":"print","value":"2194-5357"},{"type":"electronic","value":"2194-5365"}],"subject":[],"published":{"date-parts":[[2018]]}}}