A consistency checking approach for system architecture.

Xiaokai Xia Jing Shi Zhiqiang Fan Zhongliang Ai Yancen Dong

Published in: SysCon (2016)

Keyphrases

consistency checking
stochastic search
temporal reasoning
query answering
temporal constraints
dynamic environments
software architecture