Automatic distributed code generation from formal models of asynchronous processes interacting by multiway rendezvous.
Hugues EvrardFrédéric LangPublished in: J. Log. Algebraic Methods Program. (2017)
Keyphrases
- formal models
- code generation
- process model
- code generator
- rule based systems
- distributed systems
- software development
- formal model
- multi agent
- application development
- design patterns
- lightweight
- knowledge base
- formal specification
- business processes
- rapid prototyping
- software reuse
- databases
- knowledge representation