Testing Careflow Process Execution Conformance by Translating a Graphical Language to Computational Logic.
Federico ChesaniPaola MelloMarco MontaliSergio StorariPublished in: AIME (2007)
Keyphrases
- computational logic
- process execution
- business processes
- business process
- logic programming
- multi agent systems
- early days
- inductive logic programming
- management science
- programming language
- natural language
- logic programs
- future directions
- general purpose
- data management
- business process management
- process management
- web services
- expert systems
- artificial intelligence
- program synthesis
- information systems