PiXL: Applying xml standards to support the integration of analysis tools for protocols

Science of Computer Programming

Volumn 65, Issue 1, 2007, Pages 57-69

  del Mar Gallardo, María ^a   Martínez, Jesús ^a   Merino, Pedro ^a   Nuñez, Pablo ^a   Pimentel, Ernesto ^a  

^a UNIVERSITY OF MÁLAGA   (Spain)

Author keywords

Analysis; Formal methods; mda; Model checking; Performance; Protocols; xml

Indexed keywords

ANALYSIS; COMPUTER AIDED SOFTWARE ENGINEERING; COMPUTER PROGRAMMING LANGUAGES; MATHEMATICAL MODELS; NETWORK PROTOCOLS; PERFORMANCE; STANDARDS;

FORMAL METHODS; MDA METHODOLOGY; MODEL CHECKING; PIXL METHODOLOGY;

XML;

EID: 33846591359     PISSN: 01676423     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.scico.2006.08.006     Document Type: Article

References (28)

1. T. Margaria, M. Wuebben, Tool integration in the ETI platform, review and perspectives, in: Proceedings of the ESEC/FSE Workshop on Tool Integration in System Development, 2003
2. Garavel H., Lang F., and Mateescu R. An overview of CADP 2001. EASST Newsletter 4 (2002) 13-24
3. Hatcliff J., Dwyer M., Pasareanu C., and Robby. Foundations of the bandera abstraction tools. The Essence of Compution no. 2566 (2003), Springer Verlag 172-203
4. Bozga M., Fernandez J., Ghirvu L., Graf S., Krimm J., and Mounier L. IF: A validation environment for timed asynchronous systems. In: Springer-Verlag (Ed). Proceedings of CAV'00. Lecture Notes in Computer Science vol. 1855 (2000) 543-547
5. S. Katz, Faithful translations among models and specifications, in: Proc. of Formal Methods Europe, 2001
6. Gallardo M.M., Martinez J., Merino P., and Pimentel E. A tool for abstraction in model checking. Software Tools for Technology Transfer 5 2-3 (2004) 165-184
7. Gallardo M.M., Martinez J., Merino P., and Pimentel E. Abstracting UML behavioral diagrams for verification. In: I.G. Publishing (Ed). Software Evolution with UML and XML (2004)
8. M.M. Gallardo, J. Martínez, P. Merino, G. Rodriguez, Integration of Reliability and Performance Analyses for Active Network Services, in: Electronic Notes in Theoretical Computer Science, vol. 133, 2005, pp. 217-236
9. W3Consortium, Extensible Markup Language (XML) 1.0, second ed., Available at http://www.w3.org/XML/, 2000
10. W3Consortium, XML Schema, second ed., Available at http://www.w3.org/XML/Schema, 2004
11. Holzmann G. The SPIN Model Checker. Primer and Reference Manual (2003), Addison Wesley
12. Harel D., Pnueli A., Schmidt J., and Sherman R. On the formal semantics of statecharts. Proceedings of the 2nd IEEE Symposium on Logic in Computer Science (1987), IEEE Press, New York 54-64
13. ITU-T, Z.100 - Specification and Description Language (SDL), 2000
14. Object Management Group, MDA guide version 1.0.1. omg/2003-06-01, June 2003
15. M.M. Gallardo, J. Martinez, P. Merino, E. Rosales, Using XML to implement abstraction for model checking, in: Proc. of ACM Symposium on Applied Computing, 2002, pp. 1021-1025
16. University of Málaga, The PiXL Project Web Page, Available at http://www.lcc.uma.es/~gisum/fmse/pixl, 2006
17. Sun MicroSystems, Java Architecture for XML Binding (JAXB), Available at http://java.sun.com/webservices/jaxb/, 2006
18. Gamma E., Helm H., Johnson R., and Vlissides J. Design Patterns (1995), Addison-Wesley
19. Clarke E., Grumberg O., and Peled D. Model Checking (2000), MIT Press
20. P. Cousot, R. Cousot, Abstract interpretation: A unified lattice model for static analysis of programs by construction or approximation of fixpoints, in: ACM Symp. on Principles of Programming Languages, 1977, pp. 238-252
21. Havelund K., and Visser W. Program model checking as a new trend. Software Tools for Technology Transfer (STTT) 2 (2002) 8-20
22. D. Dams (Ed.), Abstraction in Software Model Checking: Principles and Practice (9th Int. SPIN Workshop. Model Checking Software), in: Lecture Notes in Computer Science, vol. 2318, 2002
23. Sun MicroSystems, Enterprise JavaBeans Specification version 2.1, 2003
24. VINT, The Network Simulator ns-2, Available at http://www.isi.edu/nsnam/ns/, 2004
25. Garavel H., and Hermanns H. On combining functional verification and performance evaluation using CADP. Lecture Notes in Computer Science 2391 (2002) 410-429
26. Calvert K.L., Bhattacharjee S., Zegura E., and Sterbenz J. Directions in active network research. IEEE Communications Magazine 36 10 (1998) 72-78
27. Gallardo M.M., Martinez J., and Merino P. Model checking active networks with SPIN. Journal of Computer Communications 28 (2005) 609-622
28. Rodríguez G., Merino P., and Gallardo M.M. An extension of the ns simulator for active network research. Computer Communications 25 (2002) 189-197