Login / Signup

An Event-B formal model for a system reconfiguration pattern and its instantiation: application to Web services compensation.

Yamine Aït AmeurGuillaume BabinMarc Pantel
Published in: Serv. Oriented Comput. Appl. (2021)
Keyphrases
  • formal model
  • web services
  • security patterns
  • event detection
  • automatic discovery
  • formal models
  • service architecture