{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T14:15:38Z","timestamp":1742912138893,"version":"3.40.3"},"publisher-location":"Singapore","reference-count":32,"publisher":"Springer Nature Singapore","isbn-type":[{"type":"print","value":"9789819608072"},{"type":"electronic","value":"9789819608089"}],"license":[{"start":{"date-parts":[[2024,12,7]],"date-time":"2024-12-07T00:00:00Z","timestamp":1733529600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2024,12,7]],"date-time":"2024-12-07T00:00:00Z","timestamp":1733529600000},"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":[[2025]]},"DOI":"10.1007\/978-981-96-0808-9_13","type":"book-chapter","created":{"date-parts":[[2024,12,6]],"date-time":"2024-12-06T22:48:11Z","timestamp":1733525291000},"page":"161-175","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["A Toolchain for\u00a0Checking Domain- and\u00a0Model-Driven Properties of\u00a0Jolie Microservices"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-3658-6395","authenticated-orcid":false,"given":"Saverio","family":"Giallorenzo","sequence":"first","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0003-4666-901X","authenticated-orcid":false,"given":"Fabrizio","family":"Montesi","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-0243-0480","authenticated-orcid":false,"given":"Marco","family":"Peressotti","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0003-0784-9245","authenticated-orcid":false,"given":"Florian","family":"Rademacher","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0003-1343-3553","authenticated-orcid":false,"given":"Sabine","family":"Sachweh","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-3588-5174","authenticated-orcid":false,"given":"Philip","family":"Wizenty","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2024,12,7]]},"reference":[{"issue":"2","key":"13_CR1","doi-asserted-by":"publisher","first-page":"33","DOI":"10.1109\/MC.2006.54","volume":"39","author":"K Balasubramanian","year":"2006","unstructured":"Balasubramanian, K., Gokhale, A.S., Karsai, G., Sztipanovits, J., Neema, S.: Developing applications using model-driven design environments. Computer 39(2), 33\u201340 (2006). https:\/\/doi.org\/10.1109\/MC.2006.54","journal-title":"Computer"},{"key":"13_CR2","doi-asserted-by":"publisher","unstructured":"Belguidoum, M., Gourari, A., Sehili, I.: MDMSD4IoT a model driven microservice development for IoT systems. In: Fournier-Viger, P., Yousef, A.H., and Bellatreche, L. (eds.) MEDI 2022. LNCS, vol. 13761, pp. 176\u2013189. Springer, Heidelberg (2022). https:\/\/doi.org\/10.1007\/978-3-031-21595-7_13","DOI":"10.1007\/978-3-031-21595-7_13"},{"key":"13_CR3","doi-asserted-by":"publisher","unstructured":"Bucchiarone, A., Soysal, K., Guidi, C.: A model-driven approach towards automatic migration to microservices. In: Bruel, J., Mazzara, M., and Meyer, B. (eds.) DEVOPS 2019. LNCS, vol. 12055, pp. 15\u201336. Springer, Heidelberg (2019). https:\/\/doi.org\/10.1007\/978-3-030-39306-9_2","DOI":"10.1007\/978-3-030-39306-9_2"},{"key":"13_CR4","doi-asserted-by":"crossref","unstructured":"Buckley, J., Mooney, S., Rosik, J., Ali, N.: JITTAC: a just-in-time tool for architectural consistency. In: 2013 35th International Conference on Software Engineering (ICSE), pp. 1291\u20131294 (2013)","DOI":"10.1109\/ICSE.2013.6606700"},{"key":"13_CR5","doi-asserted-by":"crossref","unstructured":"Caracciolo, A., Lungu, M.F., Nierstrasz, O.: A unified approach to architecture conformance checking. In: 2015 12th Working IEEE\/IFIP Conference on Software Architecture, pp. 41\u201350 (2015)","DOI":"10.1109\/WICSA.2015.11"},{"key":"13_CR6","doi-asserted-by":"crossref","unstructured":"Combemale, B., France, R.B., J\u00e9z\u00e9quel, J.-M., Rumpe, B., Steel, J., Vojtisek, D.: Engineering Modeling Languages: Turning Domain Knowledge into Tools. CRC Press (2017)","DOI":"10.1201\/b21841"},{"key":"13_CR7","unstructured":"Daigneau, R.: Service Design Patterns. Addison-Wesley (2012)"},{"key":"13_CR8","doi-asserted-by":"publisher","unstructured":"Dietl, W., Dietzel, S., Ernst, M.D., Muslu, K., Schiller, T.W.: Building and using pluggable type-checkers. In: Taylor, R.N., Gall, H.C., Medvidovic, N. (eds.) Proceedings of the 33rd International Conference on Software Engineering, ICSE 2011, Waikiki, Honolulu, 21\u201328 May 2011, pp. 681\u2013690. ACM (2011). https:\/\/doi.org\/10.1145\/1985793.1985889","DOI":"10.1145\/1985793.1985889"},{"key":"13_CR9","doi-asserted-by":"crossref","unstructured":"Dragoni, N., et al.: Microservices: yesterday, today, and tomorrow. In: Mazzara, M., Meyer, B. (eds.) Present and Ulterior Software Engineering, pp. 195\u2013216. Springer (2017)","DOI":"10.1007\/978-3-319-67425-4_12"},{"key":"13_CR10","doi-asserted-by":"publisher","first-page":"95","DOI":"10.1007\/978-3-319-74313-4_8","volume-title":"Perspectives of System Informatics","author":"N Dragoni","year":"2018","unstructured":"Dragoni, N., Lanese, I., Larsen, S.T., Mazzara, M., Mustafin, R., Safina, L.: Microservices: how to make your application scale. In: Petrenko, A.K., Voronkov, A. (eds.) Perspectives of System Informatics, pp. 95\u2013104. Springer, Cham (2018)"},{"key":"13_CR11","unstructured":"Evans, E.: Domain-Driven Design. Addison-Wesley (2004)"},{"key":"13_CR12","doi-asserted-by":"crossref","unstructured":"Freeman, T., Pfenning, F.: Refinement types for ML. In: Proceedings of the 1991 Conference on Programming Language Design and Implementation, pp. 268\u2013277 (1991)","DOI":"10.1145\/113445.113468"},{"key":"13_CR13","doi-asserted-by":"publisher","DOI":"10.1016\/J.SCICO.2023.102956","volume":"228","author":"S Giallorenzo","year":"2023","unstructured":"Giallorenzo, S., Montesi, F., Peressotti, M., Rademacher, F.: LEMMA2Jolie: a tool to generate microservice APIs from domain models. Sci. Comput. Program. 228, 102956 (2023). https:\/\/doi.org\/10.1016\/J.SCICO.2023.102956","journal-title":"Sci. Comput. Program."},{"key":"13_CR14","doi-asserted-by":"publisher","unstructured":"Giallorenzo, S., Montesi, F., Peressotti, M., Rademacher, F.: Model-driven code generation for microservices: service models. In: Dorai, G., et al. (eds.) Joint Post-proceedings of the Third and Fourth International Conference on Microservices (Microservices 2020\/2022). Open Access Series in Informatics (OASIcs), 6:1\u20136:17. Schloss Dagstuhl \u2013 Leibniz-Zentrum f\u00fcr Informatik, Dagstuhl (2023). https:\/\/doi.org\/10.4230\/OASIcs.Microservices.2020-2022.6","DOI":"10.4230\/OASIcs.Microservices.2020-2022.6"},{"key":"13_CR15","doi-asserted-by":"publisher","unstructured":"Giallorenzo, S., Montesi, F., Peressotti, M., Rademacher, F.: Model-driven generation of microservice interfaces: from LEMMA domain models to Jolie APIs. In: Beek, M.H. ter, Sirjani, M. (eds.) COORDINATION 2022, DisCoTec 2022. LNCS, vol. 13271, pp. 223\u2013240. Springer, Heidelberg (2022). https:\/\/doi.org\/10.1007\/978-3-031-08143-9_13","DOI":"10.1007\/978-3-031-08143-9_13"},{"key":"13_CR16","doi-asserted-by":"crossref","unstructured":"Giallorenzo, S., Montesi, F., Peressotti, M., Rademacher, F., Sachweh, S.: Jolie and LEMMA: model-driven engineering and programming languages meet on microservices. In: Coordination Models and Languages, pp. 276\u2013284. Springer (2021)","DOI":"10.1007\/978-3-030-78142-2_17"},{"key":"13_CR17","doi-asserted-by":"publisher","unstructured":"Giallorenzo, S., Montesi, F., Peressotti, M., Rademacher, F., Unwerawattana, N.: JoT: a Jolie framework for testing microservices. In: Jongmans, S., Lopes, A. (eds.) COORDINATION 2023, DisCoTec 2023. LNCS, vol. 13908, pp. 172\u2013191. Springer, Heidelberg (2023). https:\/\/doi.org\/10.1007\/978-3-031-35361-1_10","DOI":"10.1007\/978-3-031-35361-1_10"},{"key":"13_CR18","doi-asserted-by":"crossref","unstructured":"Knodel, J., Popescu, D.: A comparison of static architecture compliance checking approaches. In: 2007 Working IEEE\/IFIP Conference on Software Architecture (WICSA 2007), p. 12 (2007)","DOI":"10.1109\/WICSA.2007.1"},{"key":"13_CR19","doi-asserted-by":"publisher","unstructured":"Montesi, F., Carbone, M.: Programming services with correlation sets. In: Kappel, G., Maamar, Z., Nezhad, H.R.M. (eds.) ICSOC 2011. LNCS, vol. 7084, pp. 125\u2013141. Springer, Heidelberg (2011). https:\/\/doi.org\/10.1007\/978-3-642-25535-9_9","DOI":"10.1007\/978-3-642-25535-9_9"},{"key":"13_CR20","doi-asserted-by":"publisher","unstructured":"Montesi, F., Guidi, C., Zavattaro, G.: Service-oriented programming with Jolie. In: Bouguettaya, A., Sheng, Q.Z., Daniel, F. (eds.) Web Services Foundations, pp. 81\u2013107. Springer, New York (2014). https:\/\/doi.org\/10.1007\/978-1-4614-7518-7_4","DOI":"10.1007\/978-1-4614-7518-7_4"},{"key":"13_CR21","unstructured":"Newman, S.: Building Microservices: Designing Fine-Grained Systems. O\u2019Reilly (2015)"},{"key":"13_CR22","unstructured":"Oram, A.: Ballerina: A Language for Network-Distributed Applications. O\u2019Reilly (2019)"},{"issue":"5","key":"13_CR23","doi-asserted-by":"publisher","first-page":"82","DOI":"10.1109\/MS.2009.117","volume":"27","author":"L Passos","year":"2009","unstructured":"Passos, L., Terra, R., Valente, M.T., Diniz, R., Mendon\u010da, N.: Static architectureconformance checking: An illustrative overview. IEEE Softw. 27(5), 82\u201389 (2009)","journal-title":"IEEE Softw."},{"key":"13_CR24","doi-asserted-by":"publisher","DOI":"10.1016\/J.JSS.2022.111393","volume":"192","author":"F Ponce","year":"2022","unstructured":"Ponce, F., Soldani, J., Astudillo, H., Brogi, A.: Smells and refactorings for microservices security: a multivocal literature review. J. Syst. Softw. 192, 111393 (2022). https:\/\/doi.org\/10.1016\/J.JSS.2022.111393","journal-title":"J. Syst. Softw."},{"key":"13_CR25","unstructured":"Rademacher, F.: A Language Ecosystem for Modeling Microservice Architecture. PhD thesis, Universit\u00e4t Kassel (2022)"},{"key":"13_CR26","doi-asserted-by":"crossref","unstructured":"Rademacher, F., Sorgalla, J., Wizenty, P., Sachweh, S., Z\u00fcndorf, A.: Graphical and textual model-driven microservice development. In: Microservices: Science and Engineering, pp. 147\u2013179. Springer, Cham (2020)","DOI":"10.1007\/978-3-030-31646-4_7"},{"key":"13_CR27","doi-asserted-by":"crossref","unstructured":"Sinkala, Z.T., Herold, S.: InMap: automated interactive code-to-architecture mapping recommendations. In: 2021 IEEE 18th International Conference on Software Architecture (ICSA), pp. 173\u2013183 (2021)","DOI":"10.1109\/ICSA51549.2021.00024"},{"key":"13_CR28","doi-asserted-by":"publisher","first-page":"215","DOI":"10.1016\/j.jss.2018.09.082","volume":"146","author":"J Soldani","year":"2018","unstructured":"Soldani, J., Tamburri, D.A., Heuvel, W.-J.V.D.: The pains and gains of microservices: a systematic grey literature review. J. Syst. Softw. 146, 215\u2013232 (2018)","journal-title":"J. Syst. Softw."},{"issue":"8\u20139","key":"13_CR29","doi-asserted-by":"publisher","first-page":"1034","DOI":"10.1080\/17517575.2018.1460766","volume":"12","author":"B Terzi\u0107","year":"2018","unstructured":"Terzi\u0107, B., Dimitrieski, V., Kordi\u0107, S., Milosavljevi\u0107, G., Lukovi\u0107, I.: Development and evaluation of MicroBuilder: a model-driven tool for the specification of REST microservice software architectures. Enterpr. Inf. Syst. 12(8\u20139), 1034\u20131057 (2018)","journal-title":"Enterpr. Inf. Syst."},{"key":"13_CR30","doi-asserted-by":"crossref","unstructured":"Wizenty, P., et al.: Towards resolving security smells in microservices, model-driven. In: Fill, H., Mayo, F.J.D., Sinderen, M. van, Maciaszek, L.A. (eds.) Proceedings of the 18th International Conference on Software Technologies, ICSOFT 2023, 10\u201312 July 2023, pp. 15\u201326. SCITEPRESS (2023)","DOI":"10.5220\/0012049800003538"},{"key":"13_CR31","doi-asserted-by":"crossref","unstructured":"Zdun, U., Navarro, E., Leymann, F.: Ensuring and assessing architecture conformance to microservice decomposition patterns. In: Service-Oriented Computing: 15th International Conference, ICSOC 2017, Malaga, 13\u201316 November 2017, Proceedings, pp. 411\u2013429 (2017)","DOI":"10.1007\/978-3-319-69035-3_29"},{"key":"13_CR32","unstructured":"Zimmermann, O., Stocker, M., L\u00fcbke, D., Zdun, U., Pautasso, C.: Patterns for API Design: Simplifying Integration with Loosely Coupled Message Exchanges. Addison-Wesley (2023)"}],"container-title":["Lecture Notes in Computer Science","Service-Oriented Computing"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-981-96-0808-9_13","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,12,6]],"date-time":"2024-12-06T23:03:33Z","timestamp":1733526213000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-981-96-0808-9_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,12,7]]},"ISBN":["9789819608072","9789819608089"],"references-count":32,"URL":"https:\/\/doi.org\/10.1007\/978-981-96-0808-9_13","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2024,12,7]]},"assertion":[{"value":"7 December 2024","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"ICSOC","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Service-Oriented Computing","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Tunis","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Tunisia","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":"4 December 2024","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"7 December 2024","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"22","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"icsoc2024","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/icsoc2024.redcad.tn\/index.html","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}