On Verification of Workflow and Planning Domain Models Using Attribute Grammars.

Roman Barták Tomás Dvorák

Published in: MICAI (1) (2016)

Keyphrases

domain models
attribute grammars
domain knowledge
process model
description language
knowledge structures
context free
xml processing
context free grammars
heuristic search
planning problems
model checking
petri net
knowledge base
data mining
data management
expert systems
web services
artificial intelligence