Abstract:With more and more problems of parking in life, the design of aided parking based on ubiquitous computing has appeared. The designs of practical problems in life need to be proved theoretically. According to the demand of aided parking's process and compatibility, we use π-calculus theory such as grammar and operation semantic to model the component of aided parking's behavior and validate the compatibility of the component of aided parking. Combining π-calculus theory with practice realize a computer combination of theory and practice.