UML formalization is a traceability problem

Proceedings - The 3rd ACM Int. Workshop on Traceability in Emerging Forms of Software Engineering, TEFSE 2005, Held with the 20th IEEE/ACM Int. Conf. Automated Software Engineering, ASE2005

Volumn , Issue , 2005, Pages 31-36

  Stirewalt, R E K ^a   Deng, Min ^a   Cheng, Betty H C ^a  

^a Michigan State University   (United States)

Author keywords

graph theory; traceability; UML formalization

Indexed keywords

AUTOMATED ANALYSIS; GRAPH-THEORETIC MODELS; LINK ELEMENTS; TARGET LANGUAGE; TARGET MODEL; UML DIAGRAMS; UML MODEL;

AUTOMATION; GRAPH THEORY; LINGUISTICS; QUERY LANGUAGES; SEMANTICS; TARGETS; UNIFIED MODELING LANGUAGE;

COMPUTER SOFTWARE;

EID: 77953993976     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1107656.1107664     Document Type: Conference Paper

References (23)

1. G. Antoniol, G. Canfora, G. Casazza, A. D. Lucia, and E. Merio. Recovering traceability links between code and documentation. IEEE Transactions on Software Engineering, 28(10), October 2002.
2. B. H. C. Cheng and E. Y. Wang. Formalizing and integrating the dynamic model for object-oriented modeling. IEEE Transactions on Software Engineering, 28(28):747-762, 2002.
3. G. Copeland and D. Maier. Making Smalltalk a database system. In Proceedings of the 1984 ACM SIGMOD international conference on Management of data, Boston, Massachusetts, June 1984.
4. M. Deng, R. E. K. Stirewalt, and B. H. C. Cheng. Retrieval by construction: A traceability technique to support verification and validation of UML formalizations. International Journal of Software Engineering and Knowledge Engineering, Oct. 2005. to appear.
5. W. Frakes and R. Baeza-Yates. Information Retrieval: Data Structures and Algorithms. Prentice-Hall, 1992.
6. M. R. Garey and D. S. Johnson. Computers and intractability. W. H. Freeman and Company, New York, 1979.
7. J. H. Hayes, A. Dekhtyar, and J. Osborne. Improving requirements tracing via information retrieval. In Proceedings of the 11th IEEE International Requirements Engineering Conference, 2003.
8. G. Holzmann. The SPIN model checker. Addison-Wesley Publisher, 2004.
9. S. N. Khoshafian and G. P. Copeland. Object identity. In Conference proceedings on Object-oriented programming systems, languages and applications, pages 406-416. ACM Press, 1986.
10. S.-K. Kim and D. A. Carrington. A formal denotational semantics of UML in Object-Z. L'OBJET: Software, Databases, Networks, 7(1), 2001.
11. L. Lavazza, G. Quaroni, and M. Venturelli. Combining UML and formal notations for modelling real-time systems. In Joint 8th European software engineering Conference (ESEC) and 9th ACM SIGSOFT International Symposium on the Foundations of Software Engineering (FSE), 2001.
12. A. Marcus and J. I. Maletic. Recovering documentation-to-source-code traceability links using latent semantic indexing. In Proceedings of IEEE International Conference on Software Engineering, May 2003.
13. K. L. McMillan. Symbolic Model Checking. Kluwer Academic Publishers, 1993.
14. W. McUmber and B. H. C. Cheng. A general framework for formalizing UML with formal languages. In Proceedings of IEEE International Conference on Software Engineering, May 2001.
15. Object Management Group. UML Specifications, Version 1.5, March 2003. http://www.omg.org/uml.
16. Promela language reference. http://spinroot.com/spin/Man/promela.html.
17. S. W. Reyner. An analysis of a good algorithm for the subtree problem. SIAM Journal on Computing, 6(4):730-732.
18. J. Richardson and J. Green. Automating traceability for generated software artifacts. In Proceedings of the IEEE International Conference on Automated Software Engineering (ASE'04), September 2004.
19. J. Rumbaugh, I. Jacobson, and G. Booch. The Unified Modeling Language reference manual. Addison-Wesley, 1999.
20. M. Shroff and R. France. Towards a formalization of UML class structures in Z. In Proceedings of COMPSAC'97, 1997.
21. J. M. Spivey. The Z Notation: A Reference Manual. Prentice Hall, New York, 1992.
22. M. C. Tanuan. Automated analysis of unified modeling language (UML) specifications. Master's thesis, Univ. of Waterloo, August 2001.
23. A. Zisman, G. Spanoudakis, E. Peres-Minana, and P. Krause. Tracing software engineering artifacts. In Proceedings of the 2003 International Conference on Software Engineering Research and Practice (SERP'03), 2003.