{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,19]],"date-time":"2025-10-19T21:27:40Z","timestamp":1760909260866,"version":"3.40.3"},"publisher-location":"Cham","reference-count":22,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030869694"},{"type":"electronic","value":"9783030869700"}],"license":[{"start":{"date-parts":[[2021,1,1]],"date-time":"2021-01-01T00:00:00Z","timestamp":1609459200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2021,1,1]],"date-time":"2021-01-01T00:00:00Z","timestamp":1609459200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2021]]},"DOI":"10.1007\/978-3-030-86970-0_28","type":"book-chapter","created":{"date-parts":[[2021,9,10]],"date-time":"2021-09-10T06:03:57Z","timestamp":1631253837000},"page":"394-410","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["Generating Formal Software Architecture Descriptions from Semi-Formal SysML-Based Models: A Model-Driven Approach"],"prefix":"10.1007","author":[{"given":"Camila","family":"Ara\u00fajo","sequence":"first","affiliation":[]},{"given":"Thais","family":"Batista","sequence":"additional","affiliation":[]},{"given":"Everton","family":"Cavalcante","sequence":"additional","affiliation":[]},{"given":"Flavio","family":"Oquendo","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2021,9,11]]},"reference":[{"key":"28_CR1","unstructured":"ATL Developer Guide. https:\/\/wiki.eclipse.org\/ATL\/Developer_Guide"},{"key":"28_CR2","doi-asserted-by":"publisher","first-page":"171752","DOI":"10.1109\/ACCESS.2019.2953858","volume":"7","author":"C Araujo","year":"2019","unstructured":"Araujo, C., Cavalcante, E., Batista, T., Oliveira, M., Oquendo, F.: A research landscape on formal verification of software architecture description. IEEE Access 7, 171752\u2013171764 (2019)","journal-title":"IEEE Access"},{"key":"28_CR3","volume-title":"Modeling transformations using QVT Operational Mappings","author":"P Barendrecht","year":"2010","unstructured":"Barendrecht, P.: Modeling transformations using QVT Operational Mappings. Eindhoven University of Technology, The Netherlands (Apr), Tech. rep. (2010)"},{"key":"28_CR4","doi-asserted-by":"crossref","unstructured":"Cavalcante, E., Batista, T., Oquendo, F.: Supporting dynamic software architectures: from architectural description to implementation. In: 12th Working IEEE\/IFIP Conference on Software Architecture, pp. 31\u201340. IEEE, USA (2015)","DOI":"10.1109\/WICSA.2015.21"},{"key":"28_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"185","DOI":"10.1007\/978-3-319-48992-6_14","volume-title":"Software Architecture","author":"E Cavalcante","year":"2016","unstructured":"Cavalcante, E., Quilbeuf, J., Traonouez, L.-M., Oquendo, F., Batista, T., Legay, A.: Statistical model checking of dynamic software architectures. In: Tekinerdogan, B., Zdun, U., Babar, A. (eds.) ECSA 2016. LNCS, vol. 9839, pp. 185\u2013200. Springer, Cham (2016). https:\/\/doi.org\/10.1007\/978-3-319-48992-6_14"},{"key":"28_CR6","first-page":"101","volume-title":"ECSA 2020, LNCS","author":"F Dias","year":"2020","unstructured":"Dias, F., et al.: Empowering SysML-based software architecture description with formal verification: from SysADL to CSP. In: Jansen, A., et al. (eds.) ECSA 2020, LNCS, vol. 12292, pp. 101\u2013117. Springer, Switzerland (2020)"},{"key":"28_CR7","unstructured":"Drey, Z., Faucher, C., Fleurey, F., Mah\u00e9, V., Vojtisek, D.: Kermeta language - Reference Manual (2009). http:\/\/www.kermeta.org\/docs\/KerMeta-Manual.pdf"},{"key":"28_CR8","doi-asserted-by":"crossref","unstructured":"Enoiu, E.P., Marinescu, R., Seceleanu, C., Pettersson, P.: ViTAL: a verification tool for EAST-ADL models using UPPAAL PORT. In: 17th International Conference on Engineering of Complex Computer Systems, pp. 328\u2013337. IEEE, USA (2012)","DOI":"10.1109\/ICECCS20050.2012.6299228"},{"key":"28_CR9","doi-asserted-by":"crossref","unstructured":"Gomaa, H.: Software modeling and design: UML, use cases, patterns, and software architectures. Cambridge University Press (2011)","DOI":"10.1017\/CBO9780511779183"},{"key":"28_CR10","unstructured":"ISO\/IEC\/IEEE 42010: Systems and Software Engineering - Architecture Description. ISO, Switzerland (2011)"},{"key":"28_CR11","doi-asserted-by":"publisher","first-page":"128","DOI":"10.1007\/11663430_14","volume-title":"Satellite Events at the MoDELS 2005 Conference, LNCS","author":"F Jouault","year":"2006","unstructured":"Jouault, F., Kurtev, I.: Transforming models with ATL. In: Bruel, J.M. (ed.) Satellite Events at the MoDELS 2005 Conference, LNCS, vol. 3844, pp. 128\u2013138. Springer, Berlin (2006)"},{"key":"28_CR12","doi-asserted-by":"crossref","unstructured":"Leite, J., Batista, T., Oquendo, F., Silva, E., Santos, L., Cortez, V.: Designing and executing software architectures models using SysADL studio. In: 2018 IEEE International Conference on Software Architecture Companion, pp. 81\u201384. IEEE, USA (2018)","DOI":"10.1109\/ICSA-C.2018.00030"},{"issue":"6","key":"28_CR13","doi-asserted-by":"publisher","first-page":"869","DOI":"10.1109\/TSE.2012.74","volume":"39","author":"I Malavolta","year":"2013","unstructured":"Malavolta, I., Lago, P., Muccini, H., Pelliccione, P., Tang, A.: What industry needs from architectural languages: a survey. IEEE Trans. Softw. Eng. 39(6), 869\u2013891 (2013)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"28_CR14","doi-asserted-by":"crossref","unstructured":"Maraoui, R., Cariou, E.: A mediation based approach for formal verification of web services composition. In: 2017 International Conference on Engineering & MIS. IEEE, USA (2017)","DOI":"10.1109\/ICEMIS.2017.8272975"},{"key":"28_CR15","first-page":"1","volume-title":"Model-Driven Engineering for distributed real-time systems","author":"T Mens","year":"2013","unstructured":"Mens, T.: Model transformation: a survey of the state of the art. In: Babau, J.P., et al. (eds.) Model-Driven Engineering for distributed real-time systems, pp. 1\u201319. ISTE Ltd\/John Wiley & Sons Ltd, United Kingdom\/USA (2013)"},{"issue":"3","key":"28_CR16","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/986710.986728","volume":"29","author":"F Oquendo","year":"2004","unstructured":"Oquendo, F.: $$\\pi $$-ADL: an architecture description language based on the higher-order typed $$\\pi $$-calculus for specifying dynamic and mobile software architectures. ACM SIGSOFT Software Engineering Notes 29(3), 1\u201314 (2004)","journal-title":"ACM SIGSOFT Software Engineering Notes"},{"key":"28_CR17","series-title":"Undergraduate Topics in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-44339-3","volume-title":"Software Architecture in Action: Designing and executing architectural models with SysADL grounded on the OMG SysML Standard.","author":"F Oquendo","year":"2016","unstructured":"Oquendo, F., Leite, J., Batista, T.: Software Architecture in Action: Designing and executing architectural models with SysADL grounded on the OMG SysML Standard. UTCS, Springer, Cham (2016). https:\/\/doi.org\/10.1007\/978-3-319-44339-3"},{"key":"28_CR18","doi-asserted-by":"crossref","unstructured":"Ozkaya, M.: The analysis of architectural languages for the needs of practitioners. Softw. Pract. Experience 48(5), 985\u20131018 (2018)","DOI":"10.1002\/spe.2561"},{"key":"28_CR19","doi-asserted-by":"publisher","first-page":"15","DOI":"10.1016\/j.infsof.2017.10.008","volume":"95","author":"M Ozkaya","year":"2018","unstructured":"Ozkaya, M.: Do the informal and formal software modeling notations satisfy practitioners for software architecture modeling? Inf. Softw. Technol. 95, 15\u201333 (2018)","journal-title":"Inf. Softw. Technol."},{"key":"28_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"806","DOI":"10.1007\/978-3-319-47166-2_56","volume-title":"Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques","author":"J Quilbeuf","year":"2016","unstructured":"Quilbeuf, J., Cavalcante, E., Traonouez, L.-M., Oquendo, F., Batista, T., Legay, A.: A Logic for the Statistical Model Checking of Dynamic Software Architectures. In: Margaria, T., Steffen, B. (eds.) ISoLA 2016. LNCS, vol. 9952, pp. 806\u2013820. Springer, Cham (2016). https:\/\/doi.org\/10.1007\/978-3-319-47166-2_56"},{"key":"28_CR21","doi-asserted-by":"crossref","unstructured":"Taoufik, S.R., Tahar, B.M., Mourad, K.: Behavioral verification of UML2.0 software architecture. In: 12th International Conference on Semantics. Knowledge and Grids, pp. 115\u2013120. IEEE, USA (2016)","DOI":"10.1109\/SKG.2016.025"},{"issue":"2","key":"28_CR22","first-page":"1","volume":"11","author":"M Wimmer","year":"2012","unstructured":"Wimmer, M., et al.: Surveying rule inheritance in model-to-model transformation languages. J. Object Technol. 11(2), 1\u201346 (2012)","journal-title":"J. Object Technol."}],"container-title":["Lecture Notes in Computer Science","Computational Science and Its Applications \u2013 ICCSA 2021"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-86970-0_28","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,1,8]],"date-time":"2023-01-08T23:13:37Z","timestamp":1673219617000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-030-86970-0_28"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021]]},"ISBN":["9783030869694","9783030869700"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-86970-0_28","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2021]]},"assertion":[{"value":"11 September 2021","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"ICCSA","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Computational Science and Its Applications","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Cagliari","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Italy","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2021","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"13 September 2021","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"16 September 2021","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"21","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"iccsa2021","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/iccsa.org\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Single-blind","order":1,"name":"type","label":"Type","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"Customed version of CyberChair 4","order":2,"name":"conference_management_system","label":"Conference Management System","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"1588","order":3,"name":"number_of_submissions_sent_for_review","label":"Number of Submissions Sent for Review","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"466","order":4,"name":"number_of_full_papers_accepted","label":"Number of Full Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"18","order":5,"name":"number_of_short_papers_accepted","label":"Number of Short Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"29% - The value is computed by the equation \"Number of Full Papers Accepted \/ Number of Submissions Sent for Review * 100\" and then rounded to a whole number.","order":6,"name":"acceptance_rate_of_full_papers","label":"Acceptance Rate of Full Papers","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"2,5","order":7,"name":"average_number_of_reviews_per_paper","label":"Average Number of Reviews per Paper","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"8","order":8,"name":"average_number_of_papers_per_reviewer","label":"Average Number of Papers per Reviewer","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"Yes","order":9,"name":"external_reviewers_involved","label":"External Reviewers Involved","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}}]}}