Verifying compliance in process choreographies: Foundations, algorithms, and implementation.
Walid FdhilaDavid KnupleschStefanie Rinderle-MaManfred ReichertPublished in: Inf. Syst. (2022)
Keyphrases
- computational cost
- efficient implementation
- recently developed
- times faster
- computationally efficient
- learning algorithm
- theoretical analysis
- benchmark datasets
- orders of magnitude
- highly optimized
- data mining
- computational efficiency
- classification algorithm
- general purpose
- multi objective
- significant improvement
- database systems
- case study
- information retrieval