RETRIEVAL BY CONSTRUCTION:: A TRACEABILITY TECHNIQUE TO SUPPORT VERIFICATION AND VALIDATION OF UML FORMALIZATIONS.
Saved in:
| Title: | RETRIEVAL BY CONSTRUCTION:: A TRACEABILITY TECHNIQUE TO SUPPORT VERIFICATION AND VALIDATION OF UML FORMALIZATIONS. |
|---|---|
| Authors: | DENG, MIN1 dengmin1@cse.msu.edu, STIREWALT, R. E. K.1 stire@cse.msu.edu, CHENG, BETTY H. C.1 chengb@cse.msu.edu |
| Source: | International Journal of Software Engineering & Knowledge Engineering. Oct2005, Vol. 15 Issue 5, p837-872. 36p. |
| Subjects: | Unified modeling language, Computer software development, Software verification, Information retrieval, Graphic methods |
| Abstract: | Recently, there has been growing interest in formalizing UML, thereby enabling rigorous analysis of its many graphical diagrams. Two obstacles currently limit the adoption and use of UML formalizations in practice. First is the need to verify the consistency of artifacts under formalization. Second is the need to validate formalization approaches against domain-specific requirements. Techniques from the emerging field of requirements traceability hold promise for addressing these obstacles. This paper contributes a technique called retrieval by construction (RBC), which establishes traceability links between a UML model and a target model intended to denote its semantics under formalization. RBC provides an approach for structuring and representing the complex one-to-many links that are common between UML and target models under formalization. RBC also uses the notion of value identity in a novel way that enables the specification of the link-retrieval criteria using generative procedures. These procedures are a natural means for specifying UML formalizations. We have validated the RBC technique in a tool framework called UBanyan, written in C++. We applied the tool to three case studies, one of which was obtained from the industry. We have also assessed our results using the two well-known traceability metrics: precision and recall. Preliminary investigations suggest that RBC can be a useful traceability technique for validating and verifying UML formalizations. [ABSTRACT FROM AUTHOR] |
| Copyright of International Journal of Software Engineering & Knowledge Engineering is the property of World Scientific Publishing Company and its content may not be copied or emailed to multiple sites without the copyright holder's express written permission. Additionally, content may not be used with any artificial intelligence tools or machine learning technologies. However, users may print, download, or email articles for individual use. This abstract may be abridged. No warranty is given about the accuracy of the copy. Users should refer to the original published version of the material for the full abstract. (Copyright applies to all Abstracts.) | |
| Database: | Engineering Source |
| FullText | Text: Availability: 0 |
|---|---|
| Header | DbId: egs DbLabel: Engineering Source An: 18771421 AccessLevel: 6 PubType: Academic Journal PubTypeId: academicJournal PreciseRelevancyScore: 0 |
| IllustrationInfo | |
| Items | – Name: Title Label: Title Group: Ti Data: RETRIEVAL BY CONSTRUCTION:: A TRACEABILITY TECHNIQUE TO SUPPORT VERIFICATION AND VALIDATION OF UML FORMALIZATIONS. – Name: Author Label: Authors Group: Au Data: <searchLink fieldCode="AR" term="%22DENG%2C+MIN%22">DENG, MIN</searchLink><relatesTo>1</relatesTo><i> dengmin1@cse.msu.edu</i><br /><searchLink fieldCode="AR" term="%22STIREWALT%2C+R%2E+E%2E+K%2E%22">STIREWALT, R. E. K.</searchLink><relatesTo>1</relatesTo><i> stire@cse.msu.edu</i><br /><searchLink fieldCode="AR" term="%22CHENG%2C+BETTY+H%2E+C%2E%22">CHENG, BETTY H. C.</searchLink><relatesTo>1</relatesTo><i> chengb@cse.msu.edu</i> – Name: TitleSource Label: Source Group: Src Data: <searchLink fieldCode="JN" term="%22International+Journal+of+Software+Engineering+%26+Knowledge+Engineering%22">International Journal of Software Engineering & Knowledge Engineering</searchLink>. Oct2005, Vol. 15 Issue 5, p837-872. 36p. – Name: Subject Label: Subjects Group: Su Data: <searchLink fieldCode="DE" term="%22Unified+modeling+language%22">Unified modeling language</searchLink><br /><searchLink fieldCode="DE" term="%22Computer+software+development%22">Computer software development</searchLink><br /><searchLink fieldCode="DE" term="%22Software+verification%22">Software verification</searchLink><br /><searchLink fieldCode="DE" term="%22Information+retrieval%22">Information retrieval</searchLink><br /><searchLink fieldCode="DE" term="%22Graphic+methods%22">Graphic methods</searchLink> – Name: Abstract Label: Abstract Group: Ab Data: Recently, there has been growing interest in formalizing UML, thereby enabling rigorous analysis of its many graphical diagrams. Two obstacles currently limit the adoption and use of UML formalizations in practice. First is the need to verify the consistency of artifacts under formalization. Second is the need to validate formalization approaches against domain-specific requirements. Techniques from the emerging field of requirements traceability hold promise for addressing these obstacles. This paper contributes a technique called retrieval by construction (RBC), which establishes traceability links between a UML model and a target model intended to denote its semantics under formalization. RBC provides an approach for structuring and representing the complex one-to-many links that are common between UML and target models under formalization. RBC also uses the notion of value identity in a novel way that enables the specification of the link-retrieval criteria using generative procedures. These procedures are a natural means for specifying UML formalizations. We have validated the RBC technique in a tool framework called UBanyan, written in C++. We applied the tool to three case studies, one of which was obtained from the industry. We have also assessed our results using the two well-known traceability metrics: precision and recall. Preliminary investigations suggest that RBC can be a useful traceability technique for validating and verifying UML formalizations. [ABSTRACT FROM AUTHOR] – Name: AbstractSuppliedCopyright Label: Group: Ab Data: <i>Copyright of International Journal of Software Engineering & Knowledge Engineering is the property of World Scientific Publishing Company and its content may not be copied or emailed to multiple sites without the copyright holder's express written permission. Additionally, content may not be used with any artificial intelligence tools or machine learning technologies. However, users may print, download, or email articles for individual use. This abstract may be abridged. No warranty is given about the accuracy of the copy. Users should refer to the original published version of the material for the full abstract.</i> (Copyright applies to all Abstracts.) |
| PLink | https://search.ebscohost.com/login.aspx?direct=true&site=eds-live&db=egs&AN=18771421 |
| RecordInfo | BibRecord: BibEntity: Identifiers: – Type: doi Value: 10.1142/S0218194005002531 Languages: – Code: eng Text: English PhysicalDescription: Pagination: PageCount: 36 StartPage: 837 Subjects: – SubjectFull: Unified modeling language Type: general – SubjectFull: Computer software development Type: general – SubjectFull: Software verification Type: general – SubjectFull: Information retrieval Type: general – SubjectFull: Graphic methods Type: general Titles: – TitleFull: RETRIEVAL BY CONSTRUCTION:: A TRACEABILITY TECHNIQUE TO SUPPORT VERIFICATION AND VALIDATION OF UML FORMALIZATIONS. Type: main BibRelationships: HasContributorRelationships: – PersonEntity: Name: NameFull: DENG, MIN – PersonEntity: Name: NameFull: STIREWALT, R. E. K. – PersonEntity: Name: NameFull: CHENG, BETTY H. C. IsPartOfRelationships: – BibEntity: Dates: – D: 01 M: 10 Text: Oct2005 Type: published Y: 2005 Identifiers: – Type: issn-print Value: 02181940 Numbering: – Type: volume Value: 15 – Type: issue Value: 5 Titles: – TitleFull: International Journal of Software Engineering & Knowledge Engineering Type: main |
| ResultId | 1 |
