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

Zhiming Chang, XinJun Mao, Zhichang Qi

Browse the full TASE paper archive.