Towards Executable Specifications for Microservices.
José Ghislain QuenumSamir AkninePublished in: SCC (2018)
Keyphrases
- formal specification
- attribute grammars
- control flow
- specification language
- process algebra
- context free grammars
- concurrent systems
- model checking
- functional requirements
- petri net
- data flow
- context free
- xml processing
- bounded model checking
- database
- design requirements
- artificial neural networks
- search algorithm
- real time