Towards Generating Elastic Microservices: A Declarative Specification for Consistent Elasticity Configurations.

Floriment Klinaku Vincenzo Ferme

Published in: SEAA (2018)

Keyphrases

high level
elastic properties
attribute grammars
knowledge representation
formal verification
real world
search engine
case study
user defined
finite element
soft tissue
formal specification
consistency constraints
configuration space