Towards Formalizing Microservices Architectural Patterns with Event-B.

Sebastián Vergara Laura González Raúl Ruggia

Published in: ICSA Companion (2020)

Keyphrases

temporal patterns
event streams
frequent patterns
pattern analysis
event types
hidden markov models
database systems
sequential patterns
event detection
pattern discovery
machine learning
high level
event driven
event sequences
temporal structure
complex patterns
event logs
temporal events
social networks