Formalization and verification of Kafka messaging mechanism using CSP.

Junya Xu Jiaqi Yin Huibiao Zhu Lili Xiao

Published in: Comput. Sci. Inf. Syst. (2023)

Keyphrases

constraint satisfaction problems
formal analysis
knowledge representation
constraint programming
database
data sets
neural network
multimedia
website
bayesian networks
objective function
access control
formal model
constraint propagation
selection mechanism