{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T15:16:37Z","timestamp":1743002197216,"version":"3.40.3"},"publisher-location":"Cham","reference-count":16,"publisher":"Springer Nature Switzerland","isbn-type":[{"type":"print","value":"9783031709456"},{"type":"electronic","value":"9783031712463"}],"license":[{"start":{"date-parts":[[2024,1,1]],"date-time":"2024-01-01T00:00:00Z","timestamp":1704067200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2024,1,1]],"date-time":"2024-01-01T00:00:00Z","timestamp":1704067200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2024]]},"DOI":"10.1007\/978-3-031-71246-3_4","type":"book-chapter","created":{"date-parts":[[2024,8,31]],"date-time":"2024-08-31T16:03:02Z","timestamp":1725120182000},"page":"30-38","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Semantics Enhancing Model Transformation for\u00a0Automated Constraint Validation of\u00a0Palladio Software Architecture to\u00a0MontiArc Models"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0009-0006-3746-0694","authenticated-orcid":false,"given":"Sebastian","family":"Weber","sequence":"first","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-4527-211X","authenticated-orcid":false,"given":"J\u00f6rg","family":"Hen\u00df","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0009-0005-0031-1938","authenticated-orcid":false,"given":"Bahareh","family":"Taghavi","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0009-0001-5775-2225","authenticated-orcid":false,"given":"Thomas","family":"Weber","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-6636-9375","authenticated-orcid":false,"given":"Sebastian","family":"St\u00fcber","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0009-0006-5740-8439","authenticated-orcid":false,"given":"Adrian","family":"Marin","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-2147-1966","authenticated-orcid":false,"given":"Bernhard","family":"Rumpe","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0003-0779-9444","authenticated-orcid":false,"given":"Robert","family":"Heinrich","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2024,9,1]]},"reference":[{"key":"4_CR1","unstructured":"Barrett, C., Stump, A., Tinelli, C., et\u00a0al.: The SMT-lib standard: version 2.0. In: Proceedings of the 8th International Workshop on Satisfiability Modulo Theories (Edinburgh, UK), vol.\u00a013, p.\u00a014 (2010)"},{"key":"4_CR2","doi-asserted-by":"publisher","unstructured":"Broy, M., St\u00f8len, K.: Specification and Development of Interactive Systems. Focus on Streams, Interfaces and Refinement. Springer, Heidelberg (2001). https:\/\/doi.org\/10.1007\/978-1-4613-0091-5","DOI":"10.1007\/978-1-4613-0091-5"},{"key":"4_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"337","DOI":"10.1007\/978-3-540-78800-3_24","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"L de Moura","year":"2008","unstructured":"de Moura, L., Bj\u00f8rner, N.: Z3: an efficient SMT solver. In: Ramakrishnan, C.R., Rehof, J. (eds.) TACAS 2008. LNCS, vol. 4963, pp. 337\u2013340. Springer, Heidelberg (2008). https:\/\/doi.org\/10.1007\/978-3-540-78800-3_24"},{"key":"4_CR4","unstructured":"Haber, A.: MontiArc - Architectural Modeling and Simulation of Interactive Distributed Systems. Aachener Informatik-Berichte, Software Engineering, Band 24, Shaker Verlag (2016)"},{"issue":"10","key":"4_CR5","doi-asserted-by":"publisher","first-page":"64","DOI":"10.1109\/MC.2004.172","volume":"37","author":"D Harel","year":"2004","unstructured":"Harel, D., Rumpe, B.: Meaningful modeling: what\u2019s the semantics of \u201csemantics\u2019\u2019? IEEE Comput. J. 37(10), 64\u201372 (2004)","journal-title":"IEEE Comput. J."},{"issue":"4","key":"4_CR6","doi-asserted-by":"publisher","first-page":"775","DOI":"10.1109\/TSE.2019.2903797","volume":"47","author":"R Heinrich","year":"2021","unstructured":"Heinrich, R., Strittmatter, M., Reussner, R.H.: A layered reference architecture for metamodels to tailor quality modeling and analysis. IEEE Trans. Software Eng. 47(4), 775\u2013800 (2021)","journal-title":"IEEE Trans. Software Eng."},{"key":"4_CR7","doi-asserted-by":"crossref","unstructured":"Heinrich, R., et al.: The palladio-bench for modeling and simulating software architectures. In: Proceedings of the 40th International Conference on Software Engineering: Companion Proceedings, pp. 37\u201340 (2018)","DOI":"10.1145\/3183440.3183474"},{"key":"4_CR8","unstructured":"H\u00f6lldobler, K., Kautz, O., Rumpe, B.: MontiCore Language Workbench and Library Handbook: Edition 2021. Aachener Informatik-Berichte, Software Engineering, Band 48, Shaker Verlag (2021)"},{"key":"4_CR9","unstructured":"Kati\u0107, J., Klinaku, F., Becker, S.: The slingshot simulator: an extensible event-driven PCM simulator (poster) (2021)"},{"key":"4_CR10","unstructured":"Kausch, H., Pfeiffer, M., Raco, D., Rath, A., Rumpe, B., Schweiger, A.: A theory for event-driven specifications using focus and MontiArc on the example of a data link uplink feed system. In: Groher, I., Vogel, T. (eds.) Software Engineering 2023 Workshops, pp. 169\u2013188. Gesellschaft f\u00fcr Informatik e.V. (2023)"},{"key":"4_CR11","unstructured":"Kausch, H., Pfeiffer, M., Raco, D., Rumpe, B.: An approach for logic-based knowledge representation and automated reasoning over underspecification and refinement in safety-critical cyber-physical systems. In: Hebig, R., Heinrich, R. (eds.) Combined Proceedings of the Workshops at Software Engineering 2020, vol.\u00a02581. CEUR Workshop Proceedings (2020)"},{"key":"4_CR12","doi-asserted-by":"crossref","unstructured":"Kausch, H., Pfeiffer, M., Raco, D., Rumpe, B.: MontiBelle - toolbox for a model-based development and verification of distributed critical systems for compliance with functional safety. In: AIAA Scitech 2020 Forum. American Institute of Aeronautics and Astronautics (2020)","DOI":"10.2514\/6.2020-0671"},{"issue":"9","key":"4_CR13","doi-asserted-by":"publisher","first-page":"68","DOI":"10.1145\/83880.84464","volume":"33","author":"B Meyer","year":"1990","unstructured":"Meyer, B.: Lessons from the design of the eiffel libraries. Commun. ACM 33(9), 68\u201388 (1990)","journal-title":"Commun. ACM"},{"key":"4_CR14","doi-asserted-by":"publisher","unstructured":"Nipkow, T., Paulson, L.C., Wenzel, M.: Isabelle\/HOL: A Proof Assistant for Higher-Order Logic. Lecture Notes in Artificial Intelligence, vol.\u00a02283. Springer, Heidelberg (2002). https:\/\/doi.org\/10.1007\/3-540-45949-9","DOI":"10.1007\/3-540-45949-9"},{"key":"4_CR15","unstructured":"Reussner, R.H., Becker, S., Happe, J., Heinrich, R., Koziolek, A.: Modeling and Simulating Software Architectures: The Palladio Approach. MIT Press, Cambridge (2016)"},{"key":"4_CR16","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-33933-7","volume-title":"Modeling with UML: Language, Concepts, Methods","author":"B Rumpe","year":"2016","unstructured":"Rumpe, B.: Modeling with UML: Language, Concepts, Methods. Springer, Cham (2016). https:\/\/doi.org\/10.1007\/978-3-319-33933-7"}],"container-title":["Lecture Notes in Computer Science","Software Architecture. ECSA 2024 Tracks and Workshops"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-71246-3_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,8,31]],"date-time":"2024-08-31T16:03:09Z","timestamp":1725120189000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-71246-3_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024]]},"ISBN":["9783031709456","9783031712463"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-71246-3_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2024]]},"assertion":[{"value":"1 September 2024","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"ECSA","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"European Conference on Software Architecture","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Luxembourg City","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Luxembourg","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2024","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"1 September 2024","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"5 September 2024","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"18","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"ecsa2024","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}