An Approach based on Bigraphical Reactive Systems to Check Architectural Instance Conforming to its Style.

Zhiming Chang XinJun Mao Zhichang Qi

Published in: TASE (2007)

Keyphrases

reactive systems
temporal logic
model checking
information flow
petri net
formal methods
control flow
state machines
database
software architecture
high level
social networks
knowledge based systems
decision making
architectural design
real world
databases