Dissertation > Excellent graduate degree dissertation topics show

An Ontology Model Based on SetPi-calculus

Author: FanRong
Tutor: LiuLei
School: Jilin University
Course: Computer Software and Theory
Keywords: Ontology Evolution Pi-calculus Formal
CLC: TP391.1
Type: Master's thesis
Year: 2011
Downloads: 15
Quote: 1
Read: Download Dissertation

Abstract


Pi-calculus is often used for the formal representation of the mobile communication , but its concurrent theory as an inter-process communication , but can not be created in the prior process between new channel connection . Deficiency of the Pi-calculus , this paper introduces the idea of \First , the paper gives SetPi- calculus formal representation and its semantics ; portrayed the SetPi- calculus structural congruence rules and reduction rules ; modeling by SetPi- calculus used in the field of Mobile Ad hoc Networks verified description of SetPi- calculus . The experiments show that : SetPi - calculus for both synchronous communication between the entities have a new channel to connect the domain modeling has a wide range of applications . Secondly, SetPi- calculus used to describe ontology evolution process modeling of fundamental changes in the evolution of complex changes and complex changes , SetPi- calculus as a formal language , and given the various semantic evolution change . Finally , this paper analyzes the consistency based on the the evolution model structure SetPi- calculus . The experiments show that the ontology evolution model : SetPi- calculus - based decision analysis provides a formal platform , saving unnecessary consistency analysis, judgment , and to improve the efficiency of the consistency analysis for ontology consistency .

Related Dissertations

  1. Penetration and Analysis on Formal Language of Contemporary China Oil Painting under Circumstance of Chinese-Western Integration,J213
  2. Adaptive semantic ontology heterogeneous data integration framework,TP311.52
  3. Application of Formal Safety Assessment (FSA) on Navigation Safety Evaluation of the Port Waters,U676.1
  4. Arts of modern Henan Jun Porcelain,J527
  5. Stick to "Meaning", Lose "Image" and Keep "Shape" in Mind,J215
  6. Formal Analysis and Verification of a Transaction Coordination Protocol Named WS-TX for Web Services,TP393.09
  7. Random Thoughts of the "GRAND VALLEY HOTEL RESORT" by VI Design Method,J524
  8. Artistic Study on Illustration of Literature in the Republic of China,J218.5
  9. Fabric Grid’s Application in Modern Graphic Design,J524
  10. Study on the Artistic Symbols of Baoxiang Flower in Tang Dynasty,J524
  11. Modeling Service-Oriented Architecture Based on Process Algebra,TP393.09
  12. Using Pi-calculus to Formalize Grid Workflow and Verify Process Soundness,TP311.52
  13. The Design and Implementation of CRM System Based PI Calculus,TP311.52
  14. Contemporary ink portrait of the characteristics of the formal language,J212
  15. On Specious Translations,H315.9
  16. Describing and Verifying Web Service Using Pi-Calculus,TP393.09
  17. Chinese contemporary underground poetry form of research ( 1949-1976 ),I207.25
  18. Research on Proxy Electronic Voting Protocol,TP399-C2
  19. Research on Network Application Identification Techniques Based on Feature Matching,TP393.06
  20. Management and Discovery Research of the Semantic Web Services Based on Concept Lattice,TP393.09
  21. Reasearch and Development on Auto Test System for MODBUS Protocol,TP274

CLC: > Industrial Technology > Automation technology,computer technology > Computing technology,computer technology > Computer applications > Information processing (information processing) > Text Processing
© 2012 www.DissertationTopic.Net  Mobile