Reifying Concurrency for Executable Metamodeling.
Benoît CombemaleJulien De AntoniMatias Vara LarsenFrédéric MalletOlivier BaraisBenoit BaudryRobert B. FrancePublished in: SLE (2013)
Keyphrases
- metamodel
- concurrency control
- data flow
- database systems
- control flow
- formal specification
- design rationale
- software systems
- real time
- neural network
- artificial intelligence
- nested transactions
- case study
- dynamic allocation
- transaction processing
- distributed databases
- multiscale
- bayesian networks
- knowledge base
- computer vision
- databases