VerChor: A Framework for the Design and Verification of Choreographies.
Matthias GüdemannPascal PoizatGwen SalaünLina YePublished in: IEEE Trans. Serv. Comput. (2016)
Keyphrases
- main contribution
- design principles
- design patterns
- computer aided
- conceptual framework
- data sets
- building blocks
- computational framework
- machine learning
- optimal design
- design tools
- design methodology
- engineering design
- embedded systems
- core components
- design theory
- computing paradigm
- database
- modular design
- software architecture
- lightweight
- knowledge based systems
- probabilistic model
- evolutionary algorithm
- user interface
- case study
- website
- feature selection
- social networks
- databases