Towards Automated Generation of Data Models for the ECHONET Lite Protocol.
Van Cu PhamYasuo TanPublished in: GCCE (2021)
Keyphrases
- data model
- databases
- semi automated
- object oriented
- database systems
- data integration
- relational model
- coloured petri nets
- formal analysis
- data modeling
- data types
- query language
- fully automated
- lightweight
- relational databases
- generation method
- communication protocol
- database integration
- functional dependencies
- automated analysis
- elliptic curve
- cryptographic protocols
- protocol specification
- database