Keyphrases
- reactive systems
- model driven development
- model driven
- temporal logic
- software design
- model checking
- petri net
- information flow
- formal methods
- software development
- business processes
- service oriented
- service oriented architecture
- modeling language
- control flow
- real time systems
- software engineering
- business applications
- data driven
- knowledge representation
- commercial software
- platform independent
- modeling framework
- artificial intelligence
- real time
- business process
- machine learning
- knowledge base
- database systems
- data flow
- multi agent systems
- database