Abstract
Methods and techniques of software design as one of the important stages of software development are described in the paper. The method of software design with using of UML with Petri nets for analyzing of dynamic properties of set UML diagrams is described. Authors offer improved method of using of integration of UML diagrams and Petri nets. The offered method was used for designing of software of automated process control system (APCS) of pumping station: designing of use case, class, object diagrams and sequences diagram that was transformed to Petri net with help of formal rules. Some incorrect states that occurred after pumps enabling/disabling by operator were identified by analysis of Petri net. Reachability tree of the system was gotten by analysis of the Petri net (the value of the tree is about 106 of nodes). Testing of offered system was showed on example of APCS of pump station.
Highlights
What is UML? Unified Modeling Language (UML) is a collection of graphical notations, which are defined using a single meta-model
The focus is put on an object-oriented style, even if it is not limited to this paradigm
Ways of using UML UML can be used in several different ways; with different purposes
Summary
What is UML? Unified Modeling Language (UML) is a collection of graphical notations, which are defined using a single meta-model. We will use UML diagrams for sketching the most relevant aspects of such a system. Use case diagram - for capturing functional requirements. Class diagram - model the most important static structure of parts of the system.
Sign-in/Register to view highlights & summary Sign-in/Register to access full text options 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a callDisclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.
