Bigraphical model of service composition in ubiquitous computing environments

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.