Author(s)

Tu Xiang, Yang Qifeng, Song Ping

Corresponding Author

Tu Xiang

Abstract

Formal description method is an important approach to guarantee the accuracy of issue description. Interface management is an effective method to enhance interface efficiency among integration units. This paper proposed the conception of multi-transactions interface, and through formal modeling to the management process of multi-transactions-oriented interface, formulated the Multi-Transactions-Oriented Interface Management Model. The MTOIMM includes five aspects: Subjects Model, Transactions Model, Issues Library Model, Solutions Library Model and Multi-Transactions Interface Model. Finally, verifies the effectiveness of the MTOIMM used in the interface management of O2O online payment system.

Keywords

Interface Management, Multi-transactions Interface, Formal Method.