Dissertation > Excellent graduate degree dissertation topics show

EPDL Algebraic Semantics

Author: LiuJinZhuo
Tutor: LiTong
School: Yunnan University
Course: System Analysis and Integration
Keywords: Software evolution process EPDL Algebraic Semantics Σ algebra
CLC: TP311.52
Type: Master's thesis
Year: 2010
Downloads: 21
Quote: 0
Read: Download Dissertation

Abstract


Software evolution process of software evolution and software process interdisciplinary , involving software evolution and software process two fields. As more and more software systems become legacy systems, software evolution is becoming increasingly important . Software evolution process has also become a software engineering is a very important area. Software evolution process description language (EPDL) is used to describe software evolution process of computer language . In order to better describe software evolution process , Professor Li Tong in the software evolution process meta-model (EPMM) on the basis of , designed a object-oriented EPDL. A EPDL program can be seen as a software evolution process model in detail , extended description . This article uses algebraic semantic method describes EPDL semantics. First, EPDL analyzed and studied. Fully mastered EPDL layers grammatical structure and semantic description . Meanwhile, the algebraic semantics research. Algebraic semantics -based Yuan, operations, axioms , etc. , in combination with EPDlJ definition and algebraic semantics theory, algebraic semantics of Σ algebra, for EPDL algebraic semantics defined abstract EPDL layers satisfy Σ algebra class , the class of sub-sequences , in-depth study EPDL layers of functionality , abstract satisfy Σ algebra operations and operation sequences . Define a complete EPDL layers algebraic semantics. This algebra the same way as for descriptors poison semantics to provide a precise theoretical framework will EPDL semantic features through algebraic rules concise and accurate expression. In summary, this paper on EPDL semantic descriptions , combined with algebraic semantics approach gives EPDL algebraic semantic description helps semantic formal definition text Standardization and modularization, reduced description complexity.

Related Dissertations

  1. JAVA-based EDPL Compiler Design and Implementation,TP311.52
  2. Aspect-oriented software evolution process of,TP311.52
  3. Based on the CPN and AHP software evolution process evolution trigger factor control model research,TP311.52
  4. The Study of Representation and Some Corresponding Questions of the LOEB Measure,O174.12
  5. Verification of the software evolution process model based EPMM,TP311.52
  6. Asymptotic Behaviour of Nonautonomous Infinite-dimension Dynamical System and Random Dynamical System,O19
  7. Design and Development of Application Programme for Fault Analyzer Based on Wince Platform,TP311.52
  8. Service Model Driven Architecture (SMDA) Oriented Modeling Techniques and Tool Implemention,TP311.52
  9. The Research and Implementation of Software Oriented Fault Injection Tool,TP311.52
  10. The Software Component Modeling Method Based on Feature and Its Application in VMI Management System,TP311.52
  11. Development of Software Platform for Electro-Optical Test System,TP311.52
  12. Design and Implementation of the weapons and equipment information management system,TP311.52
  13. The Design and Implementation of Medical Image Remote Access and Sharing Based on WADO,TP311.52
  14. Force Online Examination System Design and Implementation,TP311.52
  15. The Application of Virtual Reality Geographical Information System to Urban Design,TP311.52
  16. Grass-roots forces the day-to-day management of information systems design and implementation,TP311.52
  17. Design and Implementation of the military material procurement and supply management system,TP311.52
  18. Development of the on-line Training and Examination System of Army,TP311.52
  19. Management System Design and Implementation of troop strength,TP311.52
  20. Motor assist system for motorized units,TP311.52
  21. Online examination system design of military theory and,TP311.52

CLC: > Industrial Technology > Automation technology,computer technology > Computing technology,computer technology > Computer software > Program design,software engineering > Software Engineering > Software Development
© 2012 www.DissertationTopic.Net  Mobile