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

Zhiming Chang XinJun Mao Zhichang Qi An Approach based on Bigraphical Reactive Systems to Check Architectural Instance Conforming to its Style. 57-66 2007 conf/tase/2007 TASE http://doi.ieeecomputersociety.org/10.1109/TASE.2007.9 db/conf/tase/tase2007.html#ChangMQ07