Designing and verifying communication protocols using model driven architecture and spin model checker

Proceedings - International Conference on Computer Science and Software Engineering, CSSE 2008

Volumn 2, Issue , 2008, Pages 227-230

  Kaliappan, Prabhu Shankar ^a   Koenig, Hartmut ^a   Kaliappan, Vishnu Kumar ^b  

^a BRANDENBURG UNIVERSITY OF TECHNOLOGY   (Germany)

^b Konkuk University   (South Korea)

Author keywords

Communication protocols; Protocol verification; SPIN tool; UML modeling

Indexed keywords

COMMUNICATION PROTOCOLS; DEVELOPED MODEL; INFORMATION SHARING; LIVELOCK FREEDOM; MODEL DRIVEN ARCHITECTURES; PROMELA; PROTOCOL VERIFICATION; RAPID DEVELOPMENT; SEQUENCE DIAGRAMS; SPIN MODELS; SPIN TOOL; UML MODEL; UML MODELING; UML STATE MACHINE;

COMMUNICATION; COMPUTER SCIENCE; EMBEDDED SYSTEMS; MODEL CHECKING; SOFTWARE ARCHITECTURE; UNIFIED MODELING LANGUAGE;

NETWORK ARCHITECTURE;

EID: 79551627183     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/CSSE.2008.976     Document Type: Conference Paper

References (13)

1. C. Werner: UML Profile for Communicating Systems. Ph.D thesis, Univ. of Göttingen, Department fo Computer Science, 2006.
2. Unified Modeling Language, The official homepage of UML, Object Management Group, http.//www.uml.org.
3. Protocol Meta Language, http://www.dai-arc.polito.it/dai-arc/manual/ tools/j cat/main/node168.html.
4. G.J. Holzmann: The model checker SPIN. IEEE Trans, on Software. Eng., 23 (1997)5:279-295.
5. eXample Data Transfer (XDT) Protocol, http://www.protocol-engineering.tu- cottbus.de/index-xdt.htm
6. M. Farid, G. Patrice, and B. Mourad: Verifying UML Diagrams with Model Checking: A Rewriting Logic Based Approach. Seventh Int. Conference on Quality Software (QSIC 2007), 2007, pp. 356-362.
7. th Annual Int. Computer Software and Applications Conference, 2002.
8. th IEEE Int. Conference on Automated Software Engineering (ASE'99), 1999, pp. 102 -109.
9. th IEEE International Conference and Workshop on the Engineering of Computer-Based Systems (ECBS'04), 2004, pp. 337-346.
10. Model Driven Architecture: A Technical Perspective, Architecture Board MDA Drafting Team, Document Number ab/2001-02-04, ftp://ftp.omg.org/pub/docs/ab/ 01-02-04.pdf, Object Management Group, February 2001.
11. A. Kleppe, J. Warmer, and W. Bast: MDA Explained - The Model Driven Architecture: Practice and Promise, Addison-Wesley, 2003.
12. Query, Views, Transformations: A Specification document. http://www.omg.org/technology/documents/modeling spec catalog.htm.
13. E.M. Clarke, O. Grumberg, and D. Peled: Model Checking, MIT Press, 1999.