A knowledge Transaction Processing Language and Model for Mobile Application