MODELS 2024
Sun 22 - Fri 27 September 2024 Linz, Austria
Thu 26 Sep 2024 15:45 - 16:03 at HS 7 - Applications (2) Chair(s): Timothy Lethbridge

Cross-organizational, blockchain-based distributed ledger networks in general, and those based on Hyperledger Fabric in particular, have an architecture which can be adapted to specific application requirements. However, network design can be a particularly challenging task, as the connection between architectural and deployment decisions and extra-functional properties can be subtle and the requirements may contradict each other, requiring trade-offs.

In this paper, we propose a model-based distributed ledger architecture design approach which enables expert exploration of design options. We capture key requirements and define architecture fragments using partial modelling. We enumerate qualitatively different architectural candidates by graph generation. We evaluate and rank order candidates in logic solver tooling. As a result, our approach provides generative architectures for distributed ledger networks by enabling efficient exploration of design alternatives.

▶ Open example from paper in the Refinery online graph generator

Example generated blockchain architecture

Thu 26 Sep

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

15:45 - 17:30
Applications (2)Tools and Demonstrations / Technical Track / Journal-First at HS 7
Chair(s): Timothy Lethbridge University of Ottawa
15:45
18m
Talk
Requirement-Driven Generation of Distributed Ledger ArchitecturesFT
Technical Track
Noor Mohammed Sabr Al-Gburi Budapest University of Technology and Economics, András Földvári , Kristóf Marussy Budapest University of Technology and Economics, Oszkár Semeráth Budapest University of Technology and Economics, Imre Kocsis
Pre-print
16:06
18m
Paper
FloBP: a model-driven approach for developing and executing IoT-enhanced business processes
Journal-First
Arianna Fedeli University of Camerino, Fabrizio Fornari University of Camerino, Italy, Andrea Polini , Barbara Re University of Camerino, Victoria Torres Universitat Politècnica de València, Pedro Valderas Universitat Politècnica de València
Link to publication DOI
16:27
18m
Talk
EpiMDE: A Model Driven Engineering Platform for Epidemiological ModelingPT
Technical Track
Bruno Curzi-Laliberté , Marios-Eleftherios Fokaefs , Michalis Famelis Université de Montréal, Mohammad Hamdaqa Polytechnique Montréal
16:48
18m
Talk
AutoMW: Model-based Automated Medical WritingPT
Technical Track
Asha Rajbhoj TCS Research, Ajim Pathan TCS Research, Tanay Sant , Vinay Kulkarni Tata Consultancy Services Research, Padmalata Nistala , Rajesh Pandey , Sabarinathan Narasimhan , Geetha Thiagarajan
17:09
18m
Talk
Nautilus: Implementation of an Evolution Approach for Graph Databases
Tools and Demonstrations
Dominique Hausler University of Regensburg, Meike Klettke Universität Rostock