Dissertation > Excellent graduate degree dissertation topics show

Based on UML and Petri net production line real-time control system modeling and analysis

Author: YangXiGang
Tutor: ZhangGuangQuan
School: Suzhou University
Course: Software Engineering
Keywords: UML Extended sequence diagram State diagram Petri nets Production line real-time control system
CLC: TP311.52
Type: Master's thesis
Year: 2009
Downloads: 129
Quote: 2
Read: Download Dissertation

Abstract


Ceramic fiber production line control system is a typical real-time control system, which not only real-time detection of product quality , but also on the production process in a high- temperature , high-current operational status of equipment such as real-time monitoring . Real-time detection of product quality and safety of the system is a system designed to monitor two important and difficult , so early in the design of the system modeling and analysis to ensure real-time systems and security is very important. Current mainstream real-time system modeling method has two categories: the Unified Modeling Language (UML) and formal methods . UML is widely used nowadays an object-oriented system modeling tool, it has the advantages of visualization , but its description of real-time and real-time systems concurrency , etc., there are still some limitations ; formal methods with strict mathematical definition , real-time concurrency control for the system and so has a unique advantage , but the direct use of formal methods for modeling more difficult. Based on the analysis , based on UML modeling features , choose Petri nets as UML formal specification , combining the advantages of both , is proposed based on UML and Petri nets real-time control system modeling and analysis methods, make full use of UML and Petri Nets are based on a graphical representation of the characteristics of mutual advantages of relatively easy to convert , play a powerful analytical capabilities Petri nets , to make up for the lack of UML model analysis , lack of means of verification . UML and paper first describes the basic concepts of Petri nets , UML sequence diagram for the express limited capacity , this paper proposes to extend the UML sequence diagram of the method so that it can articulate the process of message passing concurrency , synchronization, selection, etc. several special relationship . Then expounded the UML use case diagram, sequence diagram and state diagram extended Petri nets to the basic conversion methods. Finally, ceramic fiber production line real-time control system, for example , the use of UML for system modeling , according to UML diagrams to Petri nets conversion method, a UML model diagrams built into Petri net model, using Petri net reachability analysis method, and time Petri nets time analysis method, a model built for analysis.

Related Dissertations

  1. Research on Checkpointing in Mobile Computing Environment and Modeling with Petri Nets,TP301.1
  2. The Research and Design of Middle-Small Enterprises Purchase-Sales-Inventory Management System,TP311.52
  3. Design and Simulation of Flight Management Computer System CDU Unit in Flight Simulation,TP391.9
  4. Method of mapping UML models to XMI,TP311.5
  5. The Application and Research on Web Testing Method Based on Model,TP311.53
  6. Formalization-based Methed to Generate Test Sequence of UML,TP311.53
  7. Logic-based Web service composition Petri net modeling and analysis,TP393.09
  8. The Research on Transformation from PIM to PSM for Seam,TP311.52
  9. Analyze、Design and Realize the Stadium Management System Based on UML,TP311.52
  10. Sdesign and Implementation of Course Scheduling Management System,TP311.52
  11. The oscillator Road Science and Technology Human Resource Management System,TP311.52
  12. The Research and Development of Project Management System for Financial Equipment Industry Based on PDM,TP311.52
  13. Design and Implementation of family planning management system in Yongkang,TP311.52
  14. Research and Implementation of IOT Service Model Description Language,TN929.5
  15. Design and Implementation of Education Bureau Office Automation System,TP311.52
  16. Educational Administration and Implementation of the System,TP311.52
  17. The Design and Implementation of a Proposal Management System,TP311.52
  18. The Design and Implementation of the Management System for Engineering Project,TP311.52
  19. Design and Research of the family - oriented remote health monitoring system,TP311.52
  20. The Design and Implementation of GPS vehicle monitoring system of transportation services,TN967.1
  21. The Design and Implementation of Student Employment Management System of Yichun University,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