Industrial Application of Formal Models Generated from Domain Specific Languages.
Jozef HoomanPublished in: Theory and Practice of Formal Methods (2016)
Keyphrases
- industrial applications
- formal models
- formal model
- rule based systems
- process model
- programming language
- domain specific languages
- industrial systems
- database
- artificial intelligence
- automatically generated
- business process
- systems engineering
- rule base
- general purpose
- knowledge representation
- np hard
- preprocessing
- web services
- data mining
- databases