Specification of REST API Services for Modbus Protocol using Formal technique

With the advancements in technologies, there has been a growing trend to move from desktop applications towards web and mobile applications. This move was made possible through introduction of the RESTful Web Services. The benefits of such a move include minimal installation costs, automated upgrading for all users, and increased interactivity and universal access. Modbus is a serial communications protocol originally published by Modicon (now Schneider Electric) in 1979 for use with its programmable logic controllers (PLCs). Simple and robust, it has since become a de facto standard communication protocol, and it is now a commonly available means of connecting industrial electronic devices. This paper, demonstrates the advantages of providing RESTful interface to modbus protocol. We have used formal SDL (Specification and Description Language) to specify this framework and study their performance evaluation.