A Toolchain for Checking Domain- and Model-Driven Properties of Jolie Microservices

Saverio Giallorenzo; Fabrizio Montesi; Marco Peressotti; Florian Rademacher; Sabine Sachweh; Philip Wizenty

doi:10.1007/978-981-96-0808-9_13

A Toolchain for Checking Domain- and Model-Driven Properties of Jolie Microservices

Saverio Giallorenzo
, Fabrizio Montesi
, Marco Peressotti
, Florian Rademacher
, Sabine Sachweh
, Philip Wizenty^*

^*Kontaktforfatter

University of Bologna
codecentric AG
University of Applied Sciences and Arts Dortmund

Publikation: Kapitel i bog/rapport/konference-proceeding › Konferencebidrag i proceedings › Forskning › peer review

Abstract

We present Jolie Checker Toolchain (JCT), a plugin-based toolchain for model-code consistency and compliance analysis aimed at helping developers ensure that evolving implementations of Jolie microservices remain aligned with their intended architectural design—specified with domain- and model-driven engineering approaches like LEMMA and MDSL. One of JCT’s strengths lies in providing a uniform surface for plugin development, based on the analysis of abstract syntax trees, that leverages existing code generation tools, framing checks as correspondence relations between the expected and actual programs. We present two JCT plugins to respectively check the consistency of domain-driven design annotations on Jolie APIs and verify Jolie code conformity to a given LEMMA data model. We illustrate both plugins via a use case drawn from the Lakeside Mutual architecture.

Originalsprog	Engelsk
Titel	Service-Oriented Computing - 22nd International Conference, ICSOC 2024, Proceedings
Redaktører	Walid Gaaloul, Michael Sheng, Qi Yu, Sami Yangui
Forlag	Springer Science+Business Media
Publikationsdato	2024
Sider	161-175
ISBN (Trykt)	9789819608072
ISBN (Elektronisk)	978-981-96-0808-9_13
DOI	https://doi.org/10.1007/978-981-96-0808-9_13
Status	Udgivet - 2024
Begivenhed	22nd International Conference on Service-Oriented Computing, ICSOC 2024 - Tunis, Tunesien Varighed: 3. dec. 2024 → 6. dec. 2024

Konference

Konference	22nd International Conference on Service-Oriented Computing, ICSOC 2024
Land/Område	Tunesien
By	Tunis
Periode	03/12/2024 → 06/12/2024

Navn	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Vol/bind	15405 LNCS
ISSN	0302-9743

Dokumenter og links

10.1007/978-981-96-0808-9_13

SDU link

Tjek adgangen til materialet i Syddansk Universitetsbiblioteks søgemaskine

1 Afsluttet

Choco: Choco: Choreographies for connected IT systems
Montesi, F. (PI)
Villum Fonden
01/05/2020 → 30/06/2025
Projekter: Projekt › Private fonde

Citationsformater

Giallorenzo, S., Montesi, F., Peressotti, M., Rademacher, F., Sachweh, S., & Wizenty, P. (2024). A Toolchain for Checking Domain- and Model-Driven Properties of Jolie Microservices. I W. Gaaloul, M. Sheng, Q. Yu, & S. Yangui (red.), Service-Oriented Computing - 22nd International Conference, ICSOC 2024, Proceedings (s. 161-175). Springer Science+Business Media. https://doi.org/10.1007/978-981-96-0808-9_13

Giallorenzo, Saverio ; Montesi, Fabrizio ; Peressotti, Marco et al. / A Toolchain for Checking Domain- and Model-Driven Properties of Jolie Microservices. Service-Oriented Computing - 22nd International Conference, ICSOC 2024, Proceedings. red. / Walid Gaaloul ; Michael Sheng ; Qi Yu ; Sami Yangui. Springer Science+Business Media, 2024. s. 161-175 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 15405 LNCS).

@inproceedings{cbe7d386d5e84a98a2a0b590f75f459e,

title = "A Toolchain for Checking Domain- and Model-Driven Properties of Jolie Microservices",

abstract = "We present Jolie Checker Toolchain (JCT), a plugin-based toolchain for model-code consistency and compliance analysis aimed at helping developers ensure that evolving implementations of Jolie microservices remain aligned with their intended architectural design—specified with domain- and model-driven engineering approaches like LEMMA and MDSL. One of JCT{\textquoteright}s strengths lies in providing a uniform surface for plugin development, based on the analysis of abstract syntax trees, that leverages existing code generation tools, framing checks as correspondence relations between the expected and actual programs. We present two JCT plugins to respectively check the consistency of domain-driven design annotations on Jolie APIs and verify Jolie code conformity to a given LEMMA data model. We illustrate both plugins via a use case drawn from the Lakeside Mutual architecture.",

author = "Saverio Giallorenzo and Fabrizio Montesi and Marco Peressotti and Florian Rademacher and Sabine Sachweh and Philip Wizenty",

year = "2024",

doi = "10.1007/978-981-96-0808-9\_13",

language = "English",

isbn = "9789819608072",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer Science+Business Media",

pages = "161--175",

editor = "Walid Gaaloul and Michael Sheng and Qi Yu and Sami Yangui",

booktitle = "Service-Oriented Computing - 22nd International Conference, ICSOC 2024, Proceedings",

address = "United States",

note = "22nd International Conference on Service-Oriented Computing, ICSOC 2024 ; Conference date: 03-12-2024 Through 06-12-2024",

}

Giallorenzo, S, Montesi, F , Peressotti, M, Rademacher, F, Sachweh, S & Wizenty, P 2024, A Toolchain for Checking Domain- and Model-Driven Properties of Jolie Microservices. i W Gaaloul, M Sheng, Q Yu & S Yangui (red), Service-Oriented Computing - 22nd International Conference, ICSOC 2024, Proceedings. Springer Science+Business Media, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), bind 15405 LNCS, s. 161-175, 22nd International Conference on Service-Oriented Computing, ICSOC 2024, Tunis, Tunesien, 03/12/2024. https://doi.org/10.1007/978-981-96-0808-9_13

A Toolchain for Checking Domain- and Model-Driven Properties of Jolie Microservices. / Giallorenzo, Saverio; Montesi, Fabrizio ; Peressotti, Marco et al.
Service-Oriented Computing - 22nd International Conference, ICSOC 2024, Proceedings. red. / Walid Gaaloul; Michael Sheng; Qi Yu; Sami Yangui. Springer Science+Business Media, 2024. s. 161-175 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 15405 LNCS).

Publikation: Kapitel i bog/rapport/konference-proceeding › Konferencebidrag i proceedings › Forskning › peer review

TY - GEN

T1 - A Toolchain for Checking Domain- and Model-Driven Properties of Jolie Microservices

AU - Giallorenzo, Saverio

AU - Montesi, Fabrizio

AU - Peressotti, Marco

AU - Rademacher, Florian

AU - Sachweh, Sabine

AU - Wizenty, Philip

PY - 2024

Y1 - 2024

N2 - We present Jolie Checker Toolchain (JCT), a plugin-based toolchain for model-code consistency and compliance analysis aimed at helping developers ensure that evolving implementations of Jolie microservices remain aligned with their intended architectural design—specified with domain- and model-driven engineering approaches like LEMMA and MDSL. One of JCT’s strengths lies in providing a uniform surface for plugin development, based on the analysis of abstract syntax trees, that leverages existing code generation tools, framing checks as correspondence relations between the expected and actual programs. We present two JCT plugins to respectively check the consistency of domain-driven design annotations on Jolie APIs and verify Jolie code conformity to a given LEMMA data model. We illustrate both plugins via a use case drawn from the Lakeside Mutual architecture.

AB - We present Jolie Checker Toolchain (JCT), a plugin-based toolchain for model-code consistency and compliance analysis aimed at helping developers ensure that evolving implementations of Jolie microservices remain aligned with their intended architectural design—specified with domain- and model-driven engineering approaches like LEMMA and MDSL. One of JCT’s strengths lies in providing a uniform surface for plugin development, based on the analysis of abstract syntax trees, that leverages existing code generation tools, framing checks as correspondence relations between the expected and actual programs. We present two JCT plugins to respectively check the consistency of domain-driven design annotations on Jolie APIs and verify Jolie code conformity to a given LEMMA data model. We illustrate both plugins via a use case drawn from the Lakeside Mutual architecture.

U2 - 10.1007/978-981-96-0808-9_13

DO - 10.1007/978-981-96-0808-9_13

M3 - Article in proceedings

AN - SCOPUS:85213050639

SN - 9789819608072

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 161

EP - 175

BT - Service-Oriented Computing - 22nd International Conference, ICSOC 2024, Proceedings

A2 - Gaaloul, Walid

A2 - Sheng, Michael

A2 - Yu, Qi

A2 - Yangui, Sami

PB - Springer Science+Business Media

T2 - 22nd International Conference on Service-Oriented Computing, ICSOC 2024

Y2 - 3 December 2024 through 6 December 2024

ER -

Giallorenzo S, Montesi F , Peressotti M, Rademacher F, Sachweh S, Wizenty P. A Toolchain for Checking Domain- and Model-Driven Properties of Jolie Microservices. I Gaaloul W, Sheng M, Yu Q, Yangui S, red., Service-Oriented Computing - 22nd International Conference, ICSOC 2024, Proceedings. Springer Science+Business Media. 2024. s. 161-175. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 15405 LNCS). doi: 10.1007/978-981-96-0808-9_13

A Toolchain for Checking Domain- and Model-Driven Properties of Jolie Microservices

Abstract

Konference

Dokumenter og links

SDU link

Fingeraftryk

Relaterede projekter

Choco: Choco: Choreographies for connected IT systems

Citationsformater