Formalizing Microservices Patterns with Event-B: The Case of Service Registry.
Sebastián VergaraLaura GonzálezRaúl RuggiaPublished in: ICSOC Workshops (2023)
Keyphrases
- web services
- service discovery
- service providers
- temporal patterns
- event streams
- temporal events
- event detection
- metadata
- information services
- data mining techniques
- pattern mining
- service oriented
- design patterns
- management system
- end users
- world wide
- event sequences
- video sequences
- similar patterns
- sensor web
- data mining