Formalization and Verification of REST Architecture in Viewpoints.
Yiting TangXi WuHuibiao ZhuJian GuoPublished in: HASE (2015)
Keyphrases
- formal model
- software architecture
- viewpoint
- management system
- model checking
- real time
- knowledge representation
- d objects
- real world
- reference model
- formal analysis
- distributed architecture
- asynchronous circuits
- artificial neural networks
- multi view
- genetic algorithm
- database
- associative memory
- data flow
- signature verification
- master slave