Bigraphical model of service composition in ubiquitous computing environments
Huaiguang Wu, Guoqing Wu, Wan Li · 2010
Based on service interaction patterns and the Bigraphical Reactive Systems (BRSs) due to Milner and coworkers, we give a bigraphical reactive system (WRS) of service composition in ubiquitous computing environments. In particular, six reaction rules is described by bigraphs and related language. Finally, an example is given and the future work is discussed.