Fully verifying transformation contracts for declarative ATL.

Bentley James Oakes Javier Troya Levi Lucio Manuel Wimmer

Published in: MoDELS (2015)

Keyphrases

model checking
temporal logic
multi agent systems
supply chain
alternating time temporal logic
knowledge representation
domain independent
transformation rules
database
real world
information retrieval
verification method
decision making
high level
multiscale
declarative language