Debugging Paxos in the UML Multiverse.
Matthias PasquierCiprian TeodorovFrédéric JouaultMatthias BrunLoïc LagadecPublished in: MoDELS (Companion) (2023)
Keyphrases
- commit protocols
- database design
- metamodel
- modeling language
- uml models
- sequence diagrams
- formal methods
- software systems
- distributed database systems
- software development
- tensor factorization
- uml diagrams
- distributed databases
- model based diagnosis
- conceptual modeling
- object oriented
- software engineering
- uml class diagrams
- class diagram
- unified modeling language
- data mining