Architectural style-based modeling and simulation of middleware for mobile systems / Ping Guo