Reliable mobile application modeling based on open API

Today, the expectations placed on the mobile environment is getting high to the point that users want access to the internet at any time and in any place, exceeding functionality of simple voice chat and SMS to include search, service, and blogging. Amidst this kind of change, big companies such as Microsoft, Symbian, Google, and Apple are jumping into the mobile platform market, and open platforms and open APIs are being introduced left and right. In step with this, countless applications are being developed using open APIs. Open APIs allow developers to develop services closely tied to the device more easily. However, generally there are many difficulties when constraints from application requirements are considered in the design stage when developing applications using open APIs. In this paper, constraints when using open APIs in the modeling stage are defined, and code generation technique for which reliability verification through an appropriate model is possible is proposed. By verifying the reliability by applying the proposed methodology to existing applications developed using open APIs, the proposed methodology was validated.