Inheritance From The Standpoint Of Specification And Modeling

TL;DRAbstract

Specification and modeling are the first phases of large-scale and complex software development. Abstraction is a fundamental human capability that permits us to deal with complexity. Inheritance provides the means to model abstraction hierarchies. The topic of this master's thesis is to analyze the concepts and applicability of inheritance in the specification and modeling phases of software development. Implementation-level and specification-level motivations for using inheritance are contrasted throughout the work. We explore the main differences and possible problems in using inheritance on different levels of abstraction. Implementation-level inheritance is found to be used quite liberally as an incremental modification mechanism, which leads to conceptual and implementation problems that are not present in the specification and modeling of systems. The main contributions are in analyzing how inheritance relates to distribution, concurrency, modularity and temporal proper

Chat with Paper

AI Agents for this Paper