Skip to Main Content
 

Global Search Box

 
 
 
 

Files

File List


miami1217218715.pdf (1.15 MB)

ETD Abstract Container

Abstract Header

Semantic Inconsistency and Computational Intractability in Transitive Abstraction Rules

Kaynak, Cihan
http://rave.ohiolink.edu/etdc/view?acc_num=miami1217218715

Abstract Details

2008, Master of Computer Science, Miami University, Computer Science and Systems Analysis.
Class diagrams in UML have the ability to capture the conceptual design view of a software system. Therefore, the abstraction of them has vital implications in reverse engineering and program comprehension. Building abstraction of class diagrams that are directly generated from source code is crucial to provide a maintenance engineer the ontology of a legacy system. Egyed proposed 121 transitive abstraction rules to discover UML relationships among classes that are related to domain concepts. In this work, we propose a number of modifications to Egyed’s rules that address some semantic inconsistencies. Furthermore, we prove that serial application of Egyed’s rules is inherently ambiguous in some cases and the identification of a semantically consistent abstraction is computationally intractable. Finally, we introduce a methodology that simplifies the set of abstraction rules introduced by Egyed.
Gerald Gannod, PhD (Advisor)
87 p.
Computer Science
class diagram abstraction; design recovery; transitive abstraction rules; reverse engineering

Recommended Citations

Citations

  • Kaynak, C. (2008). Semantic Inconsistency and Computational Intractability in Transitive Abstraction Rules [Master's thesis, Miami University]. OhioLINK Electronic Theses and Dissertations Center. http://rave.ohiolink.edu/etdc/view?acc_num=miami1217218715

    APA Style (7th edition)

  • Kaynak, Cihan. Semantic Inconsistency and Computational Intractability in Transitive Abstraction Rules. 2008. Miami University, Master's thesis. OhioLINK Electronic Theses and Dissertations Center, http://rave.ohiolink.edu/etdc/view?acc_num=miami1217218715.

    MLA Style (8th edition)

  • Kaynak, Cihan. "Semantic Inconsistency and Computational Intractability in Transitive Abstraction Rules." Master's thesis, Miami University, 2008. http://rave.ohiolink.edu/etdc/view?acc_num=miami1217218715

    Chicago Manual of Style (17th edition)

miami1217218715
425
© 2008, all rights reserved.
This open access ETD is published by Miami University and OhioLINK.