Automated Reasoning for Derivation of Model-Driven SPLs.
Hugo ArboledaJuan Francisco DíazVictor VargasJean-Claude RoyerPublished in: SPLC Workshops (2010)
Keyphrases
- model driven
- automated reasoning
- data driven
- service oriented
- knowledge representation
- theorem prover
- probabilistic reasoning
- theorem proving
- metamodel
- reasoning tasks
- data integration
- model driven engineering
- model driven development
- service oriented architecture
- constraint satisfaction
- distributed systems
- multi agent
- bayesian networks
- high level
- web services