Verification of ArchiMate process specifications based on deductive temporal reasoning.

Radoslaw Klimek Piotr Szwed

Published in: FedCSIS (2013)

Keyphrases

temporal reasoning
temporal constraints
temporal information
spatial reasoning
context aware
qualitative and quantitative
low level
model checking
reasoning tasks
event calculus
series parallel
temporal knowledge
simple temporal
temporal constraint networks