Experiments in the use of XML to enhance traceability between object-oriented design specifications and source code

Proceedings of the Annual Hawaii International Conference on System Sciences

Volumn 2002-January, Issue , 2002, Pages 3959-3966

  Alves Foss, J ^a   Conte De Leon, D ^a   Oman, P ^b  

^a UNIVERSITY OF IDAHO   (United States)

^b SCHWEITZER ENGINEERING LABORATORIES INC   (United States)

Author keywords

Computer languages; Formal verification; Java; Joining processes; Life testing; Software engineering; Software testing; System testing; Unified modeling language; XML

Indexed keywords

CODES (SYMBOLS); COMPUTATIONAL LINGUISTICS; COMPUTER PROGRAMMING LANGUAGES; COMPUTER SOFTWARE; DESIGN; FORMAL VERIFICATION; JAVA PROGRAMMING LANGUAGE; MODELING LANGUAGES; OBJECT ORIENTED PROGRAMMING; SOFTWARE ENGINEERING; SOFTWARE TESTING; SPECIFICATIONS; UNIFIED MODELING LANGUAGE; VERIFICATION; XML;

DESIGN SPECIFICATION; DETAILED DESIGN SPECIFICATIONS; JAVA; JOINING PROCESS; LIFE-TESTING; OBJECT ORIENTED DESIGN; SOFTWARE LIFE CYCLES; SYSTEM TESTING;

LIFE CYCLE;

EID: 84888969142     PISSN: 15301605     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/HICSS.2002.994466     Document Type: Conference Paper

References (20)

1. S. Adler, A. Berglund, J. Caruso, S. Deach, P. Grosso, E. Gutentag, A. Milowski, S. Parnell, J. Richman, and S. Zilles: Editors. "Extensible Stylesheet Language (XSL) Version 1.0," W3C Proposed Recommendation, August 28, 2001, W3C 2001. Web Page: http://www.w3.org/TR/xsl/.
2. J. Alves-Foss, and P. Oman, "RELY: A Life-Cycle Based Software Engineering Approach to the Design and Implementation of Reliable Software Systems," Research Proposal, Center for Secure and Dependable Software, 1999. Web Site: http://www.csds.uidaho.edu/RELY.html.
3. Apache, "The Apache Software Foundation", Web Site: http://www.apache.org/.
4. G. Badros, "JavaML: A Markup Language for Java Source Code," University of Washington, 2000. Web Site: http://www.cs.washington.edu/homes/gjb/papers/javaml/javaml.html.
5. M. Barnett and W. Schulte, "The ABCs of Specification: AsmL, Behavior, and Components," June 15, 2001. Microsoft Research, Redmond, WA, 2001. http://research.microsoft.com/foundations/#AsmL.
6. L. Bompani, P. Ciancarini, F. Vitali, "Software Engineering and The Internet: A Roadmap," Department of Computer Science, University of Bologna, 2000. (To be published).
7. T. Bray, J. Paoli, C.M. Sperberg-McQueen, and E. Maler: Editors, "Extensible Markup Language (XML) 1.0 (Second Edition)," W3C Recommendation, October 6, 2000, W3C 2000. Web Page: http://www.w3.org/TR/REC-xml/.
8. S. DeRose, E. Maler, and D. Orchard: Editors, "XML Linking Language (XLink) Version 1.0," W3C Recommendation, June 27, 2001, W3C 2000. Web Page: http://www.w3.org/TR/xlink/.
9. IBM, "International Business Machines Corporation", Web Site: http://www.ibm.com/.
10. I. Jacobs, "About the World Wide Web Consortium (W3C)", The World Wide Web Consortium, March 2001. Web Site: http://www.w3.org/.
11. E. Mamas, and K. Kontogiannis, "Towards Portable Source Code Representation Using XML," Department of Electrical and Computer Engineering, University of Waterloo, Canada, 2001. (To be published).
12. C. Nentwich, L. Capra, W. Emmerich, and A. Finkelstein, "Xlinkit: A Consistency Checking and Smart Link Generation Service," (Research Note,) Department of Computer Science - University College London, London, UK 2000. Web Site: http://www.xlinkit.com/.
13. Object Management Group, "OMG Unified Modeling Language Specification", Version 1.4, September 07, 2001, OMG 2001. Web Page: http://www.omg.org/technology/documents/formal/uml.htm.
14. Object Management Group, "OMG XML Metadata Interchange Specification (XMI)", Version 1.1, November 02, 2000, OMG 2001. Web Page: http://www.omg.org/cgibin/doc?formal/2000-11-02.
15. OMG, "Object Management Group", Web Site: http://www.omg.org/.
16. K. Poole, S. Brodsky, G. Doney, A. Gleboy, M. Golding, T. Grose, H. Huang, C. Rich, C. Tung, and S. Wang, "The XMI Toolkit," April 25, 2000, IBM Alphaworks 2000. Web Site: http://www.alphaworks.ibm.com/aw.nsf/techmain/xmitoolkit.
17. Rational, "Rational Software Corporation", Web Site: http://www.rational.com/.
18. The Apache XML Project, "The Xalan XSLT Processor," The Apache Software Foundation, 2001. Web Site: http://xml.apache.org/xalan-j/.
19. The Apache XML Project, "The Xerces XML Parser for Java," The Apache Software Foundation, 2001. Web Site: http://xml.apache.org/xerces-j/.
20. University of California, "ArgoUML: An Object Oriented UML Design Tool", Tigris Open Source 2001. Web Site: http://argouml.tigris.org/.