Modelowanie produkcji za pomoca diagramów aktywnosci UML i α-sieci na przykładzie obudowy separatora olejowego

• Autorzy: Lasota A.
• Języki publikacji: PL

Abstrakty

PL

Wynik realizacji procesu produkcyjnego, w celu zobrazowania został przedstawiony za pomoca α-diagramu aktywności, α-sieci oraz został poddany analizie za pomoca metody „upartych zbiorów” oraz metody Andre. Niezbędnym jest by modelowane procesy produkcyjne za pomocą diagramów aktywności UML posiadały pełną dokumentację technologiczną, ponieważ przedstawiony model nie jest odzwierciedleniem modelowanego obiektu, lecz jego obrazem, który pozwala poznać najistotniejsze elementy procesu produkcji. Diagramy aktywności skupiają się na opisie procesu, w którym uczestniczy wiele obiektów procesu bez wskazywania, jakie są możliwe stany tych obiektów. Zaproponowana metoda specyfikacji rzeczywistego procesu produkcyjnego oraz analizy jego modelu pozwala uzyskać obraz jego realizacji i uzyskać informacje co do jego poprawności. Metody analizy α- sieci są odpowiednim aparatem matematycznym do weryfikacji poprawności realizacji procesów produkcyjnych ze względu na adekwatność strukturalną procesów produkcyjnych do diagramów aktywności a tym samym do α-sieci. Niezbędnym do przeprowadzenia pełnej analizy zaproponowanej metody jest określenie jej efektywności. Interdyscyplinarne podejście do problemu narzuciło konieczność wskazania formalnych i nieformalnych kryteriów efektywności co będzie objęte szczegółową analizą w przyszłości. Wstępne rozpoznanie adekwatności weryfikacji pod kątem efektywności zaproponowanej metody ze wzgledów formalnych wskazało, iż takim kryterium odpowiednim będzie czas. Jako nieformalne kryterium uznana została przejrzystość i czytelność specyfikacji na poszczególnych poziomach abstrakcji oraz łatwość modelowania. Modelowanie z wykorzystaniem UML i PN różni się funkcjonalnościami i możliwościami, ale oba języki modelowania moga opisywać procesy produkcyjne ponieważ α-sieci posiadają strukturę podobną do α-diagramów aktywności w opisie i implementacji. Łączne zastosowanie UML i PN pomaga prototypować, integrować modelowanie procesów produkcyjnych i je weryfikować.

EN

In this article we show reasons of using the UML activity diagrams for modeling production processes. Structure of the production processes and UML activity diagrams is similar to structure of α-nets, and that’s why transformation is possible between them. Cooperation between mechanical and computer engineers while modeling and verification of production processes demonstrates that „stubborn set method” and Andre method are useful for analysis. The proposed approach is illustrated in the paper by analysis of an oil separator box production process.

Słowa kluczowe

PL

α-sieci; sieci Petriego; diagramy aktywności; UML; procesy produkcji; transformacja

EN

α-nets; Petri nets; activity diagrams; UML; production process; transformation

• Wydawca: Komisja Informatyki Polskiej Akademii Nauk, Oddział w Gdańsku
• Czasopismo: Metody Informatyki Stosowanej
• Rocznik: 2010
• Tom: nr 2 (23)
• Strony: 85--96
• Opis fizyczny: Bibliogr. 8 poz., rys., tab.

Twórcy

autor

Lasota A.

• Uniwersytet Zielonogórski, Wydział Elektrotechniki, Informatyki i Telekomunikacji

Bibliografia

• [1] Banaszak Z., Kus J., Adamski M., Sieci Petriego. Modelowanie, sterowanie i synteza systemów dyskretnych, Zielona Góra: Wydawnictwo Wyższej Szkoły Inżynierskiej, 1993.
• [2] Karatkevich A., Analiza współbieżnych systemów dyskretnych: zbiory uporczywe vs. symulacja współbieżna, Przegląd Elektrotechniczny, nr 7, ss. 182-184, 2009.
• [3] Karatkevich A., Zagadnienia redukcji podsieci automatowych w sieciach Petriego, Przegląd Telekomunikacyjny i Wiadomości Telekomunikacyjne, nr 6, ss. 806-808, 2008 (V konferencja naukowa KNWS'08).
• [4] Karatkevich A., Dynamic Analysis of Petri Net-Based Discrete Systems. Berlin Heidelberg New York: Springer LNCIS (356), 2007.
• [5] Spiteri Staines T., Iniuitive Mapping of UML 2 Activity Diagrams into Fundamental Modeling Concept Petri Net Diagrams and Colored Petri Net, 15th Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems, ECBS 2008, pp. 191-200.
• [6] "UML Superstructure Specification” v2.0, OMG, 2005, http://www.omg.org/docs/formal/05-07-04.pdf
• [7] Valmari A., State of the Art Report: STUBBORN SETS. Petri Net Newsletter, nr 46, ss. 6–14, 1994.
• [8] Zakrevskij A., High-level design of logical control devices. Zakrevskij A. (ed.) Third International Conference Computer-Aided Design of Discrete Devices, National Academy of sciences of Belarus, Minsk, ss. 13-18, 1999.