Designing and Verifying Communication Protocols Using Model Driven Architecture and Spin Model Checker.
Prabhu Shankar KaliappanHartmut KönigVishnu Kumar KaliappanPublished in: CSSE (2) (2008)
Keyphrases
- communication protocols
- model checking
- model checker
- model driven architecture
- formal verification
- temporal logic
- platform independent
- software development
- formal methods
- formal specification
- software engineering
- metamodel
- model driven
- description language
- communication protocol
- modeling language
- development process
- test suite
- inter related
- communication networks
- set theory
- software process
- business process modeling
- database systems
- machine learning
- ai planning
- specification language
- reverse engineering
- partial order
- binary decision diagrams
- process model