Control flow graphs as a representation language.
Bruce A. CotaDouglas G. FritzRobert G. SargentPublished in: WSC (1994)
Keyphrases
- representation language
- control flow
- data flow
- knowledge representation
- background knowledge
- process model
- first order logic
- software testing
- workflow management systems
- inductive logic programming
- formal language
- business processes
- training data
- data sets
- formal semantics
- databases
- software development
- object oriented
- modeling language
- metadata
- search engine
- artificial intelligence