Software Development: Software Design Using UML Diagrams and Petri Nets for Example Automated Process Control System of Pumping Station | Zendy

Alexandr Alexandrovich Voevoda | Zendy; Alexandr Vladimirovich Markov | Zendy; Dmitry Romannikov | Zendy

Open Access

Software Development: Software Design Using UML Diagrams and Petri Nets for Example Automated Process Control System of Pumping Station

Author(s) -

Alexandr Alexandrovich Voevoda,

Alexandr Vladimirovich Markov,

Dmitry Romannikov

Publication year - 2014

Publication title -

spiiras proceedings

Language(s) - English

Resource type - Journals

SCImago Journal Rank - 0.242

H-Index - 9

eISSN - 2078-9599

pISSN - 2078-9181

DOI - 10.15622/sp.34.11

Subject(s) - petri net , computer science , class diagram , applications of uml , uml tool , unified modeling language , programming language , process architecture , software engineering , software

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 10 6 of nodes). Testing of offered system was showed on example of APCS of pump station.

The content you want is available to Zendy users.

Already have an account? Click here to sign in.

Having issues? You can contact us here

Accelerating Research