Dissertation > Excellent graduate degree dissertation topics show

Verification of UML Activity Chart Using SPIN

Author: XueKe
Tutor: LiuJing
School: East China Normal University
Course: Software Engineering
Keywords: UML activity diagram Model Checking SPIN MDA Verification
CLC: TP311.52
Type: Master's thesis
Year: 2008
Downloads: 98
Quote: 2
Read: Download Dissertation

Abstract


With the rapid development of computer technology and the wide application of the software system , the software system portability , interoperability , and maintainability issues have become increasingly prominent critical model-driven architecture MDA approach to model for software development is to solve these problems and new technology . The establishment of the MDA 's platform independent model PIM UML activity diagram is one of the core model . Lack the correctness of validation or only partial syntax checker but a lot of models in the modeling process , resulting in a model exists deadlock , livelock defects , which directly led to many problems in the process of model execution , such as the task can not be completed and extended to complete and so on. Thus, in the modeling stage to verify the correctness of the model is particularly important . I achieve as a team member in support of the State 863 Project \Model checking as a formal verification model has many advantages of automation and provide counter-examples . And has been widely used in recent years in the UML model . The model checker SPIN is dedicated to Bell Labs developed a software verification tools . Based on the model checking tool SPIN, the formal analysis and verification of UML activity diagram to establish the PIM model and UML activity diagram for dynamic simulation . First , the PIM model based on the UML activity diagram created , the UML activity diagram into the PROMELA language model for model validation tools the SPIN be able to identify the then combined SPIN verification function to verify the activity diagram given authentication information , and error dynamic simulation case activity diagram .

Related Dissertations

  1. Research on the Workflow Technique for the Complex Simulation Systems VV&A,TP391.9
  2. Technology for Localization Attack Detection in Wireless Sensor Networks,TP212.9
  3. A Feasibility Study of IMRT Dosimetric Verification Using Radiochromic Film,R815
  4. Research on the Method of Interface Automatic Generation Based on MDA,TP311.5
  5. Research and Implementation of the Conflict Resolution in Process Modeling of Magic Platform,TP311.5
  6. Funcational Verification of Multifunction Vehicle Bus Controllor,TP273
  7. The Effect of Vitamin E and Vitamin C on Growth Performance, Non-specific Immune Response for Cobia, Rachycentron Canadum,S963.1
  8. LSGM electrolyte thin films and electrochemical properties of,TM911.4
  9. The Research of QingFangLian Group "Haier Brothers" Brand Marketing Strategy,F274
  10. Salinomycin Granules Process Improvement,S859.79
  11. The Experimental Research on Using Electroacupuncture to Treat the Dysfunction Memory of Rats Suffered from Alzheimer’s Disease,R245
  12. Effect of Grape Seed Procyanidins on the Blood Pressure in Renovascular Hypertensive Rats and Its Mechanism,R544.1
  13. Shamisen Medicinal and Edible Herbs on glucose and lipid metabolism in the metabolic syndrome and antioxidant effects,R285.5
  14. PNS treatment of rabbit lung contusion in rats,R285.5
  15. Berberine on serum levels of superoxide dismutase and malondialdehyde levels in,R743.33
  16. Magnetic field spin chain entanglement dynamics of particles in both,O413.1
  17. Research on the Methods for Detecting Mismatch of Web Services Based on Bounded Model Checking,TP311.52
  18. The Research on Transformation from PIM to PSM for Seam,TP311.52
  19. Histone Acetylation Enhances the Transcriptional Activation of Mda-7 Induced by Sp1,R739.5
  20. Research on the Low-cost RFID Systems Security Protocol,TP391.44
  21. Research on Image Segmentation and 3D Modeling Based on Medical Image Sequence Matching,TP391.41

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