M-Modeler: a framework implementation for modeling m-commerce applications