Formal methods for constructing the logistics business processes diagrams

This article considers the main methods of the description and creation of charts of business processes. The main methods are the notation of BPMN, languages of the description of BPEL and UML, methodologies of IDEF and ARIS. In article the main characteristic features inherent of methodologies of IDEF0 and IDEF3, the UML language have been in detail considered and analysed. The UML language is considered rather young therefore it is used more often. It is most often applied to modeling of object-oriented systems. On the example of application of creation of the chart of activities (actions) the UML language represents a wide choice of elements of the embodiment of idea. As the same process can be provided in various forms. IDEF respectively more mature methodology. IDEF methodology, unlike the UML language, is limited to such choice, it has accurately certain rules of representation of process. With the IDEF technology carry IDEF0 and IDEF3 and it methods are most applied. In this article are provided examples of application of the UML language and methodology of IDEF0. As an example has been provided a logistic supply chain of goods to the customer who has been ordered by means of online store. Thanks to graphical representation it is possible to draw a conclusion that it is more convenient to describe and create charts of processes on UML. Unlike IDEF0 the UML language possesses a big tool kit therefore also the chart looks more realistic.