Specification of REST API Services for Modbus Protocol using Formal technique.
M. JayasankarAnandi GiridharanPublished in: EAI Endorsed Trans. Cloud Syst. (2017)
Keyphrases
- protocol specification
- formal specification
- communication protocols
- formal methods
- formal analysis
- google maps
- web services
- formal language
- service oriented
- application programming interface
- high level
- mashup
- lightweight
- mobile services
- service composition
- service providers
- specification languages
- reactive systems
- communication protocol
- mobile payment
- requirements specification
- transaction processing systems
- operational semantics
- context aware
- service discovery
- ubiquitous computing
- information services
- specification language
- resource reservation
- end users
- open source
- colored petri nets
- user privacy
- mobility management
- tcp ip
- third party
- client server architecture
- mobile networks
- message delivery
- automated trust negotiation