Retrieval by construction: A traceability technique to support verification and validation of UML formalizations

International Journal of Software Engineering and Knowledge Engineering

Volumn 15, Issue 5, 2005, Pages 837-872

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

^a Michigan State University   (United States)

Author keywords

Generative procedures; Precision; Recall; Retrieval by construction; Traceability; UML formalization; Value identity

Indexed keywords

COMPUTER PROGRAMMING LANGUAGES; MATHEMATICAL MODELS; SEMANTICS;

GENERATIVE PROCEDURES; PRECISION; RECALL; RETRIEVAL BY CONSTRUCTION; TRACEABILITY; UML FORMATION; VALUE IDENTITY;

INFORMATION RETRIEVAL;

EID: 27744593064     PISSN: 02181940     EISSN: None     Source Type: Journal    
DOI: 10.1142/S0218194005002531     Document Type: Article

References (38)

1. G. Antoniol, G. Canfora, G. Casazza, A. D. Lucia, and E. Merio, Recovering traceability links between code and documentation, IEEE Trans. on Software Engineering 28(10) (2002).
2. J. Boyle, R. Resler, and V. Winter, Do you trust your compiler? IEEE Computer 32(5) (1999) 65-73.
3. L. A. Campbell, B. H. C. Cheng, W. E. McUmber, and R. E. K. Stirewalt, Automatically detecting and visualizing errors in UML diagrams, Requirements Engineering Journal 37(10) (2002).
4. B. H. Cheng and E. Y. Wang, Formalizing and integrating the dynamic model for object-oriented modeling, IEEE Trans. on Software Engineering 28(28) (2002) 747-762.
5. E. J. Chikofsky and J. H. Cross, Reverse engineering and design recovery: a taxonomy, IEEE Software 7(1) (1990) 13-17.
6. A. Egyed, A scenario-driven approach to trace dependency analysis, IEEE Trans. on Software Engineering 29(2) (2003).
7. W. Frakes and R. Baeza-Yates, Information Retrieval: Data Structures and Algorithms, Prentice-Hall, 1992.
8. E. Gamma, R. Helm, R. Johnson, and J. Vlissides, Design Patterns: Elements of Reusable Object-Oriented Software, Addison-Wesley, 1995.
9. H. J. Goldsby, Specifying compositional semantic functions for non-hierarchical languages using natural deduction systems, Master's thesis, Michigan State University, May 2004.
10. O. C. Z. Gotel and A. C. W. Finkelstein, An analysis of the requirements traceability problem, in Proc. 1st Int. Conf. on Requirements Engineeering (ICRE'94), 1994.
11. D. Harel and O. Kupferman, On object systems and behavioral inheritance, IEEE Trans. Software Eng. 28(9) (2002) 889-903.
12. J. H. Hayes, A. Dekhtyar, and J. Osborne, Improving requirements tracing via information retrieval, in Proc. 11th IEEE Int. Requirements Engineering Conference, 2003.
13. G. Holzmann, The SPIN Model Checker, Addison-Wesley, 2004.
14. S. N. Khoshafian and G. P. Copeland, Object identity, in Conference Proc. on Object-Oriented Programming Systems, Languages and Applications, ACM Press, 1986, pp. 406-416.
15. S.-K. Kim and D. A. Carrington, A formal denotational semantics of UML in Object-Z, L'OBJET: Software, Databases, Networks 7(1) 2001.
16. S. Konrad, L. A. Campbell, B. H. Cheng, and M. Deng, A requirements patternsdriven approach to specify systems and check properties, in T. Ball and S. K. Rajamani, eds., Model Checking Software, in Lecture Notes in Computer Science, Vol. 2648, Springer Verlag, 2003, pp. 18-33.
17. D. Latella, I. Majzik, and M. Massink, Automatic verification of a behavioural subset of UML statechart diagrams using the SPIN model-checker, Formal Aspects of Computing 11(6) (1999) 637-664.
18. 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 Int. Symp. on the Foundations of Software Engineering (FSE), 2001.
19. J. Lilius and I. Porres, The semantics of UML state machines, Technical Report 273, Turku Center for Computer Science (TUCS), Abo Akademi University, Turku, Finland, 1999.
20. G. Lüttgen, M. von der Beeck, and R. Cleaveland, A compositional approach to statecharts semantics, in Proc. of ACM SIGSOFT Symposium on Foundations of Software Engineering (FSE'2000), 2000.
21. J. I. Maletic, E. V. Munson, A. Marcus, and T. N. Nguyen, Using hypertext model for traceability link conformance analysis, in Proc. 2nd Int. Workshop on Traceability in Emerging Forms of Software Engineering (TEFSE 2003), October 2003.
22. A. Marcus and J. I. Maletic, Recovering documentation-to-source-code traceability links using latent semantic indexing, in Proc. IEEE Int. Conf. on Software Engineering, May 2003.
23. K. L. McMillan, Symbolic Model Checking, Kluwer Academic Publishers, 1993.
24. W. McUmber, A Generic Framework for Formalizing Object-Oriented Modeling Notations for Embedded Systems Development, PhD thesis, Michigan State Univ., August 2000.
25. W. McUmber and B. H. Cheng, A general framework for formalizing UML with formal languages, in Proc. IEEE Int. Conf. on Software Engineering, May 2001.
26. G. C. Murphy, D. Notkin, and K. J. Sullivan, Software reflexion models: Bridging the gap between design and implementation, IEEE Trans. on Software Engineering 27(4) (2001) 364-380.
27. Object Management Group, UML Specifications, Version 1.5, March 2003.
28. OMG, UML Specification V1.5, http://www.omg.org/uml.
29. Promela language reference, http://spinroot.com/spin/Man/promela.html.
30. J. Richardson and J. Green, Automating traceability for generated software artifacts, in Proc. IEEE Int. Conf. on Automated Software Engineering (ASE'04), September 2004.
31. J. Rumbaugh, I. Jacobson, and G. Booch, The Unified Modeling Language Reference, Manual, Addison-Wesley, 1999.
32. M. Shroff and R. France, Towards a formalization of UML class structures in Z, in Proc. COMPSAC'97, 1997.
33. K. Slonneger and B. L. Kurtz, Formal Syntax and Semantics of Programming Languages, Addison-Wesley, 1995.
34. G. Smith, The Object-Z Specification Language: Advances in Formal Methods, Kluwer Academic Publishers, 2000.
35. On-the-fly, LTL model checking with SPIN, http://spinroot.com/spin/ whatispin.html.
36. R. E. K. Stirewalt and L. K. Dillon, Generation of visitor components that implement program transformations, in ACM SIGSOFT Symposium on Software Reusability, 2001.
37. M. C. Tanuan, Automated analysis of unified modeling language (UML) specifications, Master's thesis, Univ. of Waterloo, August 2001.
38. A. Zisman, G. Spanoudalds, E. Peres-Minana, and P. Krause, Tracing software engineering artifacts, in Proc. 2003 Int. Conf. on Software Engineering Research and Practice (SERP'03), 2003.