Wyniki wyszukiwania - BazTech

1

Wybrane elementy modelu systemu wspomagania eksploatacji obiektów złożonych w notacji UML

Erd A.

TTS Technika Transportu Szynowego

|

2012

|

R. 19, nr 9

1631--1640, CD

PL

W pracy omówiono zagadnienie tworzenia diagramów czynności i maszyny stanowej w zastosowaniu do uwarunkowanego diagnostycznie systemu utrzymania kolejowych pojazdów trakcyjnych. Pokazano obiekt modelowania, podejście do zagadnienia modelowania w języku UML i możliwe korzyści wynikające z tego.

EN

This paper is an attempt to use modeling methods employing the UML language for computer modeling of the complex object maintenance systems. A particular emphasis was put on the description of the system dynamics understood as changeable behavior resulting from the interaction with environment. The application case which has been selected here is a computer-aided system for railway track vehicle maintenance. A further consequence of using the models of the computer-aided maintenance systems seems to be development of design models of such systems which are more universal than the currently existing commercial versions.

2

Projektowanie sterowników logicznych z wykorzystaniem łuków zezwalających i zakazujących sieci Petriego

Grobelna I., Grobelny M.

Pomiary Automatyka Kontrola

|

2012

|

R. 58, nr 7

605-607

PL

Artykuł dotyczy zagadnień związanych z projektowaniem sterowników logicznych z wykorzystaniem łuków zezwalających i zakazujących sieci Petriego. Zaproponowano nowatorskie podejście do regułowej specyfikacji sterownika logicznego, przygotowanej w postaci abstrakcyjnego autorskiego modelu logicznego dogodnego do formalnej weryfikacji modelowej oraz syntezy logicznej. Szczególną uwagę zwrócono tutaj na łuki zakazujące i zezwalające interpretowanych sieci Petriego, ich realizację w abstrakcyjnym modelu logicznym i interpretację w innej postaci specyfikacji zachowania sterownika logicznego - diagramach aktywności języka UML.

EN

The paper focuses on logic controller design using enabling and inhibitor arcs of Petri nets. There is proposed a novel original approach to rule-based specification of logic controller behaviour prepared as an abstract logical model suitable for formal verification and logic synthesis. Special interest is put on enabling and inhibitor (disabling) arcs of interpreted Petri nets, their realization in an abstract logical model and interpretation in other specification form - namely UML activity diagrams (in version 2.x). These arcs can be used for flow synchronization or controlled usage of shared resources. After a short introduction (Section 1), some basic concepts on logic controller specification are presented (Section 2), in particular considering (interpreted) Petri nets and UML (activity) diagrams. Usage of enabling and inhibitor arcs is shown on an example of the interpreted Petri net in Fig. 1 (transitions firing sequence in Fig. 2), followed by their representation in the proposed abstract rule-based logical model, its formal verification (using model checking technique) and synthesis (Section 3). The paper also proposes enabling and inhibitor arcs interpretation in UML activity diagrams (Section 4). Although direct representation of these arcs is not possible, the authors try to achieve an alternative solution which corresponds semantically to appropriate Petri net elements. Tab. 1 presents graphic representation of the considered arcs in interpreted Petri nets as well as in UML activity diagrams. The paper ends with a short summary (Section 5).

3

Odwzorowanie hierarchicznych interpretowanych sieci Petriego sterowania z makromiejscami w diagramach aktywności UML

Grobelny M.

Pomiary Automatyka Kontrola

|

2012

|

R. 58, nr 6

506-509

PL

Artykuł przedstawia metodę odwzorowania hierarchicznych interpretowanych sieci Petriego sterowania z makromiejscami w diagramach aktywności języka UML. Zgodnie z przyjętą zasadą odwzorowania akcji w tranzycjach sieci Petriego nie ma możliwości bezpośredniej graficznej reprezentacji miejsc interpretowanej sieci Petriego sterowania w diagramach UML. Jednocześnie konieczna jest zamiana takich elementów jak wyjścia przypisane do miejsc na aktywację i dezaktywację wyjść przy realizacji tranzycji oraz zamiany makromiejsc w makrotranzycje. Takie postępowanie kom-plikuje cały proces oraz może wprowadzać nieznaczne rozbieżności pomiędzy specyfikacją źródłową i docelową.

EN

The paper presents a method for mapping hierarchical control interpreted Petri nets into activity diagrams of UML. Usage of both specification techniques is possible considering international and multicultural design projects specifying hardware behavioural properties of a control process. Sometimes use of two different modelling techniques can be reasonable. After a short introduction (Section 1), a sample control process and its graphical interpretation using the control interpreted Petri net is described (Section 2). Fig. 1 shows the real model of the considered process of transportation of friable goods, whereas Fig. 2 presents graphical specification of the process with use of the control interpreted Petri net. Fig. 3 shows interpretation of action of UML activity diagrams in Petri nets. Due to no direct representation of the system state in UML activity diagrams, the outputs attached to places have to be exchanged with the outputs activated and deactivated with transitions firings. Sample output replacement scenario is depicted in Fig. 4 and is in details described in Section 3. Fig. 5 presents specification of the deliberated control process with usage of Mealy outputs (after replacement). On the other hand, conversion of macroplaces into macrotransitions is shown in Section 4 with graphical representation after exchange in Fig. 6. Section 5 describes transformation of the prepared Petri net into the activity diagram of UML with the process graphical representation in Fig. 7. Finally, Section 6 concludes the paper.

4

Diagramy aktywności UML w projektowaniu rekonfigurowalnych sterowników logicznych

Grobelny M., Grobelna I.

Pomiary Automatyka Kontrola

|

2012

|

R. 58, nr 7

596-598

PL

Artykuł przedstawia sposób reprezentacji behawioralnej sterownika logicznego przy wykorzystaniu diagramów aktywności języka UML. Zaproponowane zostało zastosowanie diagramów aktywności do projektowania rekonfigurowalnych sterowników logicznych, a dokładnie do opisu zachowania sterownika logicznego podczas pracy. Do tego celu został dostosowany zbiór elementów diagramów aktywności w celu umożliwienia efektywnego modelowania behawioralnego. Rozważane jest także wykorzystanie hierarchicznych możliwości diagramów aktywności do częściowej rekonfiguracji

EN

The paper focuses on behavioural representation of a logic controller with usage of UML activity diagrams. There is shown a subset of UML activity diagram elements sufficient to present logic controller behaviour simultaneously suitable for automatic synthesis with use of hardware description languages. After short introduction (Section 1) to the topic, UML activity diagrams as a specification technique are presented (Section 2). Additionally, there is described a subset of elements (Tab.1) of the discussed specification techniques fulfilling behavioural modelling requirements of a reconfigurable logic controller. Specification possibilities are given using sample control process of preparing the exact amount of liquid in two tanks (Section 3). The real model of the process is shown in Fig. 1. One of the possible behavioural specifications with use of UML activity diagrams is depicted in Fig. 2. This is a representation of the considered action state concept specification techniques in version 1.x. The other possibility is to specify a process with use of elementary system actions (Fig. 3), which is characteristic of the UML activity diagrams version 2.x. Fig. 4, on the other hand, shows signal based specification which is suitable for automatic hardware description language code generation (e.g. VHDL). Furthermore, Section 4 describes possibilities of using hierarchical aspects of activity diagrams to prepare specification for partial reconfiguration. Finally, Section 5 concludes the paper.

5

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

Lasota A.

Metody Informatyki Stosowanej

|

2010

|

nr 2 (23)

85-96

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.

6

Analiza procesów elektronicznego obiegu informacji o pracy

Gawin B.

Zeszyty Naukowe Wydziału ETI Politechniki Gdańskiej. Technologie Informacyjne

|

2009

|

T. 17

89-97

PL

Systemy przepływu pracy i obiegu dokumentów nazywane są powszechnie systemami workflow lub systemami WFM (ang. Workflow Management Systems). Analiza procesów biznesowych, które wspomagają obieg pracy, informacji i dokumentów, ma kluczowe znaczenie przy ocenie efektywności tych procesów oraz przydatności wspomagających je narzędzi informatycznych. W niniejszym opracowaniu dokonano przeglądu dostępnych metod badania procesów workflow. Weryfikacji poddano te metody, które umożliwiają zbadanie systemu komercyjnie wspierającego procesy workflow (będącego na etapie run time). Celem analizy jest wyłonienie techniki, która, poprzez solidne podstawy teoretyczne oraz stworzone i rozwijane wsparcie informatyczne, umożliwia dokonanie wiarygodnej oceny procesów przepływu pracy.

EN

Workflow Management Systems (WfMSs) have been used to support various types of business processes (Information and documentation flow). Workflow systems analysis support performance evaluation of business processes and usefulness evaluation of Workflow Management Systems. The goal of this paper is review possible approaches to analyze workflow processes. The review concerns only methods, witch help to verify commercially implemented workflow tools. The aim of review is indicate technique, witch, based on theory and existing IT tool, provides best solution to analyze workflow system.

7

Język UML 2.0 w modelowaniu relacyjnych baz danych

Skrzyński P.

Automatyka / Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie

|

2006

|

T. 10, z. 3

559-570

PL

Język UML jest w dzisiejszych czasach najpopularniejszym językiem modelowania używanym w przemyśle komputerowym. Druga wersja języka oprócz doprecyzowania większości diagramów i zwiększenia ich liczby nie posiada większości wad, na które narzekali projektanci używający poprzedniej wersji języka, co przyczyniło się do jego dalszego wzrostu popularności. Język UML powstał z myślą głównie o systemach obiektowych, jednak w przypadku systemów bazodanowych nadal najpopularniejszym modelem jest model relacyjny i klasyczne podejście do modelowania danych w oparciu o diagramy ERD. Jednak UML dostarcza, zdaniem autora, znacznie więcej możliwości projektantowi, co pozwala między innymi na płynniejsze przejście od etapu modelowania do implementacji. Diagram ERD dostarcza tylko informacji statycznych, podobnie jak częściowo wzorowany na nim diagram klas. Transformacja pomiędzy tymi dwoma typami diagramów jest stosunkowo prosta i była szeroko omawiana w literaturze [5, 3]. W artykule autor chciałby się skupić na omówieniu innych transformacji, które są możliwe do przeprowadzenia z diagramów UML-owych (oprócz diagramów klas rozważane będą diagramy czynności) do tabel relacyjnych, procedur wbudowanych i funkcji w języku SQL.

EN

UML has been accepted as the standard modelling language for specifying software and system architectures. Second version of language, known as UML version 2.0, addressed most of the problems that architects faced while modelling software with previous version of this language and confirmed its position as the most popular modelling language used in object-oriented approaches to software development. On the other hand relational model of storing data today is the most popular model and the most common methodology of modelling data in relational systems is classic Entity-Relationship model and its extensions. Although UML was strongly influenced by these mechanisms, in author's opinion, it provides much more expressive modelling power. From the static point of view of the system transformation between ERD diagrams and relational tables is relatively ease, so transformation rules between class diagrams and relational tables have been widely discussed in literature [5, 3]. In this paper some additional transformations which are possible from class diagrams and activity diagrams to relational tables, stored procedures and functions are discussed.