Temat: UML - Katalog OPAC zbiorów

Skocz do pozycji: 1.

Tytuł:: Projektowanie strukturalnych programów dla sterowników PLC na podstawie modelu maszyny stanowej UML
Design of PLC structured programs from UML state maschine model
Autorzy:: Doligalski, M.
Adamski, M.
Powiązania:: https://bibliotekanauki.pl/articles/152622.pdf
Data publikacji:: 2007
Wydawca:: Stowarzyszenie Inżynierów i Techników Mechaników Polskich
Tematy:: UML
PLC
statechart
Opis:: Język UML (ang. Unified Modeling Language) jest efektywnym narzędziem w modelowaniu rożnego rodzaju systemów. Jego podzbiorem są diagramy statechart oparte na mapach stanów Davida Harela. Umożliwiają modelowanie procesów współbieżnych i przedstawianie specyfikacji na różnych poziomach abstrakcji. Diagramy statechart stanowią doskonałe narzędzie do specyfikacji systemów reaktywnych, a w szczególności programów dla przemysłowych sterowników logicznych. Zastosowanie ich w miejsce klasycznych metod takich jak sieci SFC czy FSM pozwala na uproszczenie procesu projektowania i tworzenie czytelnej dokumentacji. W artykule przedstawiono sposób wykorzystania języka UML, jako narzędzia do specyfikacji. Zaproponowano metodę implementacji programów sterowania z wykorzystaniem języka SFC oraz ST. Ilustracją omawianej tematyki jest przykładowy system sterowania.
The Unified Modeling Language (UML) is the effective tool in the modeling of different kinds of systems. The statechart diagrams based on the David Harel's state maps represent its subset. The statechart diagrams enable the concurrent modeling processes and the presenting of specification on different abstraction levels. Statechart diagrams are the ideal tools for reactive systems specifications, tools for programmable logic controllers in particular. The use of the controller instead of such classic methods as SFC or FSM networks allows to simplify the design and specification process. The advantages of the UML language, as a specification tool, have been presented in the article. The article also presents the history state conversion method. The following exemplary controlling system is the illustration of the reviewed subject area.
Źródło:: Pomiary Automatyka Kontrola; 2007, R. 53, nr 5, 5; 42-44
0032-4140
Pojawia się w:: Pomiary Automatyka Kontrola
Dostawca treści:: Biblioteka Nauki

Artykuł

Zmień widok

na półce

Skocz do pozycji: 2.

Tytuł:: Modelowanie obiektowe w procesie wytwarzania systemu informatycznego wspierającego badania i projektowanie kamiennych regeneratorów ciepła
Object modeling in the process of creating an informatics system supporting the researching designing of stone heat regenerators
Autorzy:: Rogacki, P.
Mueller, W.
Weres, J.
Powiązania:: https://bibliotekanauki.pl/articles/289000.pdf
Data publikacji:: 2007
Wydawca:: Polskie Towarzystwo Inżynierii Rolniczej
Tematy:: kamienny regenerator ciepła
modelowanie UML
stone heat regenerator
UML modeling
Opis:: Skuteczną metodą radzenia sobie ze złożonością systemów empirycznych, które między innymi stanowią przedmiot zainteresowania inżynierii rolniczej jest wieloetapowe i wieloaspektowe modelowanie dziedziny problemowej. Zakres tych działań rozszerza się, jeżeli do celów badawczych chcemy wykorzystać symulacje komputerowe realizowane na bazie wytworzonego systemu informatycznego. Wygodnym standardem ułatwiającym zrealizowanie poszczególnych etapów modelowania wybranej, złożonej dziedziny problemowej, zmierzające do jej poznania, jest język UML 2.0. Bazując na nim, autorzy przeprowadzili ponowne modelowanie systemu empirycznego, jakim jest kamienny regenerator i pełniej niż dotąd wyjaśnili jego zachowanie.
The complexity of empirical systems which are among others the subject of interest of agricultural engineering, can be effectively dealt with by means of multi-staged and multi-faced problem area modeling. The scope of these actions widens if we want to use computer simulations realized using the created informatics system. The UML2.0 language is a handy standard facilitating particular levels of modeling the chosen problem area. Using it, the authors conducted a modeling of a stone regenerator and gave a fuller explanation of its behaviour.
Źródło:: Inżynieria Rolnicza; 2007, R. 11, nr 2 (90), 2 (90); 257-263
1429-7264
Pojawia się w:: Inżynieria Rolnicza
Dostawca treści:: Biblioteka Nauki

Artykuł

Zmień widok

na półce

Skocz do pozycji: 3.

Tytuł:: Metodyka wykorzystania UML w projektowaniu mechatronicznym
Using UML in Design of Mechatronic Systems
Autorzy:: Mrozek, Z.
Powiązania:: https://bibliotekanauki.pl/articles/152454.pdf
Data publikacji:: 2002
Wydawca:: Stowarzyszenie Inżynierów i Techników Mechaników Polskich
Tematy:: projektowanie mechatroniczne
język UML
mechatronika
mechatronic systems
Unified Modelling Language (UML)
Opis:: Przekazywanie informacji odgrywa istotną rolę w działaniu urządzeń mechatronicznych i może być łatwo przedstawione na diagramie UML. Zdaniem autora, terminologia i notacja używana w UML może być zaadoptowana do projektowania interdyscyplinarnych systemów mechatronicznych oraz jako narzędzie do sporządzania dokumentacji na wszystkich etapach projektowania.
Information transfer plays an important role in operation of mechatronic system. This can be easily presented on UML (Unified Modelling Language) diagrams. Author believes that terminology and notation of visual modelling with UML can be adopted as common language for design of the mechatronic systems and as documentation total on every design phase.
Źródło:: Pomiary Automatyka Kontrola; 2002, R. 48, nr 1, 1; 25-28
0032-4140
Pojawia się w:: Pomiary Automatyka Kontrola
Dostawca treści:: Biblioteka Nauki

Artykuł

Zmień widok

na półce

Skocz do pozycji: 4.

Tytuł:: Modelowanie procesów biznesowych z użyciem notacji BPMN
Business Process Modeling Using BPMN Notation
Autorzy:: Żytniewski, Mariusz
Zadora, Piotr
Powiązania:: https://bibliotekanauki.pl/articles/589535.pdf
Data publikacji:: 2013
Wydawca:: Uniwersytet Ekonomiczny w Katowicach
Tematy:: Język UML
Modelowanie procesów biznesowych
Business Process Modeling,
Unified Modeling Language (UML)
Opis:: Business process modeling in software engineering is the activity of representing processes of an enterprise, so that the current process may be analyzed and improved in the future. One of the most significant formal notations used commonly to create descriptions of business process models is BPMN which stands for Business Process Modeling Notation. This notation provides set of formalisms that are readily understandable by all business stakeholders yet able to represent complex process semantics. These business stakeholders include the business analysts who create and refine the processes, the technical developers responsible for implementing the processes, and the business managers who monitor and manage the processes. The BPMN specification provides a mapping between the graphics of the notation to the underlying constructs of execution languages, particularly (BPEL) Business Process Execution Language.
Źródło:: Studia Ekonomiczne; 2013, 128; 195-210
2083-8611
Pojawia się w:: Studia Ekonomiczne
Dostawca treści:: Biblioteka Nauki

Artykuł

Zmień widok

na półce

Skocz do pozycji: 5.

Tytuł:: Model systemu informatycznego w oparciu o język UML jako jeden z elementów optymalizacji systemu zarządzania środowiskowego spełniającego wymagania normy PN-EN ISO 14001:2015-09 w kontekście działalności biznesowej organizacji
A model of a computerized information system based on the UML language as one of the elements of the environmental management system optimization fulfilling the requirements of the PN-EN ISO14001:2015-09 standard, in the context of the businessperformance
Autorzy:: Chomczyk, Michał Adam
Chomczyk, Zbigniew
Powiązania:: https://bibliotekanauki.pl/articles/1819449.pdf
Data publikacji:: 2019-05-12
Wydawca:: Uniwersytet Przyrodniczo-Humanistyczny w Siedlcach
Tematy:: management system environment
UML modeling language
system zarządzania środowiskowego
język modelowania UML
Opis:: Niniejsza publikacja przedstawia wymagania nowej normy PN-EN ISO 14001:2015-09 –„Systemy zarządzania środowiskowego – Wymagania i wytyczne stosowania” w kontekście możliwegowykorzystania przy jej wdrożeniu elementów zunifikowanego języka modelowania UML. Główny elementpublikacji obejmuje zatem przedstawienie szczegółowych wymagań normy środowiskowej ze wskazaniemmożliwości ich zaimplementowania do procesu wspomagania komputerowego systemuzarządzania środowiskowego.
This publication is presenting a new standard PN-EN ISO 14001:2015-09 – “Environmental management systems – requirements and guidelines of applying”, in the context of the possible usage of the UML modelling language while implementing the standard. The main part of the publication includes presentation of detailed requirements of the environmental norm with indications of their capabilities for the process of computer helping (aiding) system of the environmental management.
Źródło:: Zeszyty Naukowe Uniwersytetu Przyrodniczo-Humanistycznego w Siedlcach; 2017, 40, 113; 21-34
2082-5501
Pojawia się w:: Zeszyty Naukowe Uniwersytetu Przyrodniczo-Humanistycznego w Siedlcach
Dostawca treści:: Biblioteka Nauki

Artykuł

Zmień widok

na półce

Skocz do pozycji: 6.

Tytuł:: Konstrukcja diagramu klas UML z zastosowaniem Model-Driven Development
Construction of UML class diagram with Model-Driven Development
Autorzy:: Górski, T.
Sowa, M.
Powiązania:: https://bibliotekanauki.pl/articles/209524.pdf
Data publikacji:: 2016
Wydawca:: Wojskowa Akademia Techniczna im. Jarosława Dąbrowskiego
Tematy:: Model-Driven Development
transformacje
Unified Modeling Language
Model analityczny/projektowy
diagram klas UML
diagram komunikacji UML
transformations
Unified Modelling Language
analysis/design model
UML class diagram
UML communication diagram
Opis:: Transformacje modeli odgrywają istotną rolę w projektach projektowania systemów informatycznych wykorzystujących Model-Driven Development (MDD). Pozwalają automatyzować powtarzalne i dobrze określone czynności, przez co skracają czas projektowania oraz umożliwiają zmniejszenie liczby błędów. Wpodejściu obiektowym kluczowymi elementami są przypadki użycia. Są one opisywane, modelowane, a później projektowane, aż uzyskiwany jest działający kod aplikacji. W artykule przedstawiono transformację Communication-2-Class umożliwiającą automatyzację konstrukcji diagramu klas języka Unified Modeling Language (UML) tworzonego w realizacji przypadku użycia w ramach modelu analitycznego/projektowego. Diagram klas UML tworzony jest na podstawie diagramu komunikacji UML dla realizacji przypadku użycia. Dzięki temu diagram klas przedstawia wszystkie klasy zaangażowane w realizację przypadku użycia i związki między nimi. Wtyczka realizująca transformację Communication-2-Class została zrealizowana w środowisku IBMRational Software Architect. W artykule przedstawiono także wyniki testów opracowanej wtyczki realizującej transformację Communication-2-Class pokazujące możliwości skrócenia czasu projektowania realizacji przypadku użycia.
Model transformations play a key role in software development projects based on Model-Driven Development (MDD) principles. Transformations allow for automation of repetitive and well-defined steps, thus shortening design time and reducing a number of errors. In the object-oriented approach, the key elements are use cases. They are described, modelled and later designed until executable application code is obtained. The aim of the paper is to present transformation of a model-to-model type, Communication-2-Class, which automates construction of Unified Modelling Language (UML) class diagram in the context of the analysis/design model. An UML class diagram is created based on UML communication diagram within use case realization. As a result, a class diagram shows all of the classes involved in the use case realization and the relationships among them. The plug-in which implements Communication-2-Class transformation was implemented in the IBMRational Software Architect. The article presents the tests results of developed plug-in, which realizes Communication-2-Class transformation, showing capabilities of shortening use case realization’s design time.
Źródło:: Biuletyn Wojskowej Akademii Technicznej; 2016, 65, 1; 111-129
1234-5865
Pojawia się w:: Biuletyn Wojskowej Akademii Technicznej
Dostawca treści:: Biblioteka Nauki

Artykuł

Zmień widok

na półce

Skocz do pozycji: 7.

Tytuł:: Ontologia wiedzy ukrytej dla działu serwisowego w przedsiębiorstwie produkcyjnym
An ontology of tacit knowledge for the service department in a manufacturing company
Autorzy:: Dudek, A.
Powiązania:: https://bibliotekanauki.pl/articles/91250.pdf
Data publikacji:: 2017
Wydawca:: Warszawska Wyższa Szkoła Informatyki
Tematy:: ontologia
wiedza ukryta
notacja UML
słownik
ontology
tacit knowledge
UML approach
word taxonomy
Opis:: W artykule przedstawiono model ontologii wiedzy ukrytej w notacji UML dla działu serwisowego przedsiębiorstwa produkcyjnego. W pierwszej części artykułu została przeprowadzona analiza literatury przedmiotu w zakresie ontologii stosowanych dla reprezentacji wiedzy w przedsiębiorstwie. Następnie określono dziedzinę prezentowanej ontologii w oparciu o procedury serwisowe, strukturę zdefiniowanych procedur za pomocą notacji UML oraz skończony słownik wyrazów. W rozdziale czwartym pokazano przykład implementacji przedstawionej ontologii dla wybranej procedury serwisowej oraz wskazano kierunki dalszych prac autora.
In this article an ontology model of tacit knowledge based on UML approach for the service department in a manufacturing company is presented. The first part of the article presents the literature research in the field of an ontology construction model for the knowledge representation in the company. Then, the ontology-field based on service procedures, the ontology-structure using UML approach and the ontology-word taxonomy are formulated. Section four is an example of the implementation of the proposed ontology for the selected service procedure and indicates potential directions for further work.
Źródło:: Zeszyty Naukowe Warszawskiej Wyższej Szkoły Informatyki; 2017, 11, 16; 7-28
1896-396X
2082-8349
Pojawia się w:: Zeszyty Naukowe Warszawskiej Wyższej Szkoły Informatyki
Dostawca treści:: Biblioteka Nauki

Artykuł

Zmień widok

na półce

Skocz do pozycji: 8.

Tytuł:: Transformation of Dynamic Aspects of Uml Models Into Lotos Behaviour Expressions
Autorzy:: Hnatkowska, B.
Huzar, Z.
Powiązania:: https://bibliotekanauki.pl/articles/908339.pdf
Data publikacji:: 2001
Wydawca:: Uniwersytet Zielonogórski. Oficyna Wydawnicza
Tematy:: informatyka
programowanie
statecharts
UML
LOTOS
Opis:: The lack of formal semantics for the UML creates many ambiguity problems, especially when real-time systems are specified. The paper proposes an approach to a formal definition of UML statecharts. Main features of the UML statecharts are described, and next, a transformation of the UML statecharts into LOTOS is defined.
Źródło:: International Journal of Applied Mathematics and Computer Science; 2001, 11, 2; 537-556
1641-876X
2083-8492
Pojawia się w:: International Journal of Applied Mathematics and Computer Science
Dostawca treści:: Biblioteka Nauki

Artykuł

Zmień widok

na półce

Skocz do pozycji: 9.

Tytuł:: Refinement of UML collaborations
Autorzy:: Hnatkowska, B.
Huzar, Z.
Tuzinkiewicz, L.
Powiązania:: https://bibliotekanauki.pl/articles/908462.pdf
Data publikacji:: 2006
Wydawca:: Uniwersytet Zielonogórski. Oficyna Wydawnicza
Tematy:: UML
współpraca
rafinacja
collaborations
refinement
Opis:: The paper concerns the concept of refinement as a commonly used design practice in the software development process. The refinement relationship is formulated and formally expressed for UML collaborations. Collaborations are suitable for presenting the proposed approach as they represent both static and dynamic aspects of a modeled system or its part, for example, a use case. Our approach to refinement is based on the rule of preserving the observable behavior of a modeled system. The introduced notion of sub-collaborations allows us to refine collaboration diagrams in a systematic way.
Źródło:: International Journal of Applied Mathematics and Computer Science; 2006, 16, 1; 155-164
1641-876X
2083-8492
Pojawia się w:: International Journal of Applied Mathematics and Computer Science
Dostawca treści:: Biblioteka Nauki

Artykuł

Zmień widok

na półce

Skocz do pozycji: 10.

Tytuł:: Transformacja diagramów aktywności UML 2.0 do sieci Petriego w systemach sterowania binarnego
Transformation of UML 2.0 activity diagrams into Petri nets in binary control systems
Autorzy:: Grobelny, M.
Powiązania:: https://bibliotekanauki.pl/articles/154189.pdf
Data publikacji:: 2009
Wydawca:: Stowarzyszenie Inżynierów i Techników Mechaników Polskich
Tematy:: diagramy aktywności UML 2.0
sieci Petriego
UML 2.0 activity diagrams
Petri nets
Opis:: Artykuł zawiera omówienie oraz porównanie dwóch formalnych metod specyfikacji behawioralnej systemów osadzonych - diagramów aktywności języka UML 2.0 oraz sieci Petriego. Przedstawione są podobieństwa oraz różnice pomiędzy nimi. Poruszone jest zagadnienie transformacji pomiędzy dwoma wymienionymi technikami specyfikacji wraz z obrazującym ten proces przykładem. Uwzględniono także problem nadmiarowości sieci Petriego po bezpośredniej transformacji i wynikającą z tego konieczność redukcji miejsc i tranzycji przy zachowaniu jednoznaczności obu diagramów. Artykuł podzielony jest następująco. Rozdział 2 zawiera wprowa-dzenie do diagramów aktywności w UML 2.0. Rozdział 3 przedstawia sieci Petriego. Rozdział 4 porównuje obie metody specyfikacji - diagramy aktywności oraz sieci Petriego. Rozdział 5 porusza zagadnienie transformacji pomiędzy dwoma omawianymi technikami. Rozdział 6 zawiera podsumowanie wcześniejszych rozdziałów oraz wnioski.
The paper presents and compares two formal behavioural specification methods of embedded systems [1] - activity diagrams of UML specification language [2, 3, 4, 13, 14] and Petri nets [9, 15]. Similarities and differences as well as the aspect of transformation between both specification techniques are concerned. The transformation is explained on the example of a sample control process shown in Fig. 1. Fig. 2 presents the specification using UML activity diagram. The problem of redundant places and transitions after direct transformation from the activity diagram into the Petri net is dealt with. The Petri net after transformation is shown in Fig. 3 (a), while the reduced diagram - in Fig. 3 (b). The paper is divided into sections. Section 1 contains introduction to the topic of embedded system specification techniques. Section 2 presents UML 2.0 activity diagrams with their basic elements. Petri nets and their syntactic are described in Section 3. Section 4 focuses on comparison of both techniques by means of embedded control systems (see [12] for more details). The transformation problem is considered in Section 5. Section 6 summarises and concludes the paper.
Źródło:: Pomiary Automatyka Kontrola; 2009, R. 55, nr 7, 7; 498-500
0032-4140
Pojawia się w:: Pomiary Automatyka Kontrola
Dostawca treści:: Biblioteka Nauki

Artykuł

Zmień widok

na półce

Skocz do pozycji: 11.

Tytuł:: Diagramy aktywności języka UML i sieci Petriego w systemach sterowania binarnego - od transformacji do weryfikacji
UML activity diagrams and Petri nets in binary control systems - from transformation to verification
Autorzy:: Grobelny, M.
Grobelna, I.
Powiązania:: https://bibliotekanauki.pl/articles/158260.pdf
Data publikacji:: 2010
Wydawca:: Stowarzyszenie Inżynierów i Techników Mechaników Polskich
Tematy:: diagramy aktywności UML
sieci Petriego
weryfikacja modelowa
UML activity diagrams
Petri nets
model checking
Opis:: Język UML jest technologią powszechnie stosowaną w świecie naukowym oraz w przemyśle. Sieci Petriego są modelem matematycznym ogólnego zastosowania ugruntowanym od wielu lat. Obie te techniki doskonale nadają się do specyfikacji procesów sterowania. Jednakże jako odmienne, każda z nich posiada unikatowe właściwości. Technika weryfikacji modelowej jest jedną z metod formalnej weryfikacji specyfikacji pozwalającą na zdiagnozowanie błędów w specyfikacji wymagań albo w opisie modelu. Artykuł przedstawia metodę transformacji pomiędzy obiema wymienionymi technikami specyfikacji w celu formalnej weryfikacji projektu sterowania opisanego w języku UML.
Unified Modeling Language (UML) [1-3, 5, 6-8] is commonly used in scientific and industrial world. Petri nets [9] are mathematical model used for a long period of time. Both techniques are well suited for control processes specification. However, they are quite different. Each technique has its own unique properties. Model checking technique [14-17] is one of formal verification methods [18] for specifications. It allows detecting errors either in requirements specification or in model description. The paper presents the method for transformation between both mentioned specification techniques - from UML activity diagram (Fig. 1) to Petri net (Fig. 4), using some defined rules [10, 11]. Mapping of particular elements is presented in Table 1. Petri net after direct transformation may include redundant places which can be after-wards removed. Then, it is possible to formally verify control process described in UML. The proposed model checker tool is NuSMV [20]. NuSMV (Fig. 5) compares model description (Fig. 6 - 8) and requirements (Fig. 9) which have to be fulfilled. The requirements are defined using temporal logic. If a specified requirement may not be fulfilled, appropriate counterexamples are generated (Fig. 10) which allow detecting an error source. Then, the specification can be corrected and model checking process can start again, sometimes including only the particular part of a designed system.
Źródło:: Pomiary Automatyka Kontrola; 2010, R. 56, nr 10, 10; 1154-1158
0032-4140
Pojawia się w:: Pomiary Automatyka Kontrola
Dostawca treści:: Biblioteka Nauki

Artykuł

Zmień widok

na półce

Skocz do pozycji: 12.

Tytuł:: Application of UML modelling for analysis of safety integrity level in railway traffic control systems
Zastosowanie języka UML do badania poziomu nienaruszalności bezpieczeństwa systemów sterowania ruchem kolejowym
Autorzy:: Marzec, M.
Uhl, T.
Barszcz, T.
Powiązania:: https://bibliotekanauki.pl/articles/328039.pdf
Data publikacji:: 2011
Wydawca:: Polska Akademia Nauk. Polskie Towarzystwo Diagnostyki Technicznej PAN
Tematy:: ruch kolejowy
poziom nienaruszalności bezpieczeństwa
modelowanie UML
railway transport
safety integrity level
UML modeling
Opis:: Railway traffic control systems require extremely high level of operational safety. Due to very high costs of safety failure, this field is subject to the regulation by numerous norms, which describe formal methods of safety level calculation (denoted as Safety Integrity Level - SIL). Such an analysis is tedious and time consuming, especially in case of complex systems. The paper proposes application of UML modeling approach to perform joint analysis of the system architecture and its operation. The approach also uses the Fault Tree Analysis (FTA) and can be used to identify the weakest links in the whole system. The method allows to quickly introduce changes in system architecture or parameters and evaluate the impact on the safety. The proposed approach was successfully applied to the real case of a railway system.
Systemy SRK wymagają szczególnie wysokiego poziomu bezpieczeństwa eksploatacji. Ze względu na bardzo wysokie koszty awarii, dziedzina ta jest przedmiotem podlegającym regulacjom wielu norm opisujących formalne metody obliczania poziomu bezpieczeństwa (oznaczony, jako poziom nienaruszalności bezpieczeństwa - SIL). Analiza prowadząca do wyznaczenia poziomu SIL jest trudna i czasochłonna, zwłaszcza w wypadku bardzo skomplikowanych systemów. Niniejsza praca proponuje aplikację podejścia z wykorzystaniem modelowania UML do przeprowadzania analizy architektury systemu i jego działania. Podejście to korzysta również z analizy drzewa błędów FTA i może być użyte do identyfikacji najsłabszych elementów systemu. Metoda ta pozwala również na szybkie wprowadzanie zmian w architekturze lub parametrach systemu, oraz pozwala obliczyć ich wpływ na bezpieczeństwo. Zaproponowane rozwiązanie zostało z powodzeniem zastosowane w prawdziwym systemie kolejowym.
Źródło:: Diagnostyka; 2011, 4(60); 21-26
1641-6414
2449-5220
Pojawia się w:: Diagnostyka
Dostawca treści:: Biblioteka Nauki

Artykuł

Zmień widok

na półce

Skocz do pozycji: 13.

Tytuł:: Automatyzacja procesu projektowania urządzeń sterowania ruchem kolejowym
Automation of the design process for railway traffic control devices
Autorzy:: Kochan, A.
Wontorski, P.
Powiązania:: https://bibliotekanauki.pl/articles/249037.pdf
Data publikacji:: 2016
Wydawca:: Stowarzyszenie Inżynierów i Techników Komunikacji Rzeczpospolitej Polskiej
Tematy:: automatyzacja projektowania srk
systemy CAD
modelowanie UML
design automation of railway traffic control
CAD
UML
Opis:: W artykule przedstawiono koncepcję automatyzacji procesu projektowania urządzeń srk. Zastosowano przy tym podejście systemowe i modelowanie obiektowe obejmujące całość procesu projektowania. Podjęto próbę udowodnienia, że automatyzacja tworzenia projektu urządzeń srk jest możliwa i bardzo efektywna w zakresie wszystkich powtarzalnych, typowych i ustandaryzowanych czynności. Przedstawiono autorską koncepcję systemu automatyzacji projektowania (SAP). System opiera się na dostępnym oprogramowaniu oraz idei otwartej platformy. W systemie wdrożono szereg rozwiązań autorskich: program łączenia danych z grafiką, skrypty automatyzujące tworzenie schematów, metody pozyskiwania danych. Zaprezentowano modele: struktury, danych i działania SAP wykorzystując w tym celu język modelowania obiektowego UML. Podjęto próbę oceny efektywności wdrożenia koncepcji.
The paper presents the concept of automation of the design process for the railway traffic control devices. The system approach and object modelling, covering the whole of designing process, was applied. An attempt to prove that the automation project development of railway traffic control device is possible and that it is very effective for all repetitive, typical and standardized operations was undertaken. The authors present an original concept of system design automation (SAP). The system is based on the available software and the idea of an open platform. A number of authors’ solutions such as: a program combining data with graphics, scripts that automate the creation of schemes, methods of data collection were implemented in the system. The models such as: structure, data, and SAP activities using the object-oriented modeling language UML were presented in the paper. An attempt to assess the effectiveness of the implementation of the concept was described.
Źródło:: Zeszyty Naukowo-Techniczne Stowarzyszenia Inżynierów i Techników Komunikacji w Krakowie. Seria: Materiały Konferencyjne; 2016, 3(110); 111-122
1231-9171
Pojawia się w:: Zeszyty Naukowo-Techniczne Stowarzyszenia Inżynierów i Techników Komunikacji w Krakowie. Seria: Materiały Konferencyjne
Dostawca treści:: Biblioteka Nauki

Artykuł

Zmień widok

na półce

Skocz do pozycji: 14.

Tytuł:: Zastosowanie języka UML do modelowania złożonych systemów komputerowych
Application of UML language for modelling of complex computer systems
Autorzy:: Świder, J.
Hetmańczyk, M.
Powiązania:: https://bibliotekanauki.pl/articles/408949.pdf
Data publikacji:: 2011
Wydawca:: Politechnika Śląska
Tematy:: język UML
złożone systemy komputerowe
system komputerowy KSSiDNR
UML language
complex computer systems
KSSiDNR system
Opis:: Artykuł przedstawia wykorzystanie języka UML (Unified Modeling Language) do celów opracowania diagramów klas [4, 5] pozwalających na projektowanie złożonych struktur systemów komputerowych. Ujęcie modelowania oparto na przykładzie komputerowo zintegrowanego systemu sterowania i diagnostyki napędów rozproszonych, złożonego z niezależnych modułów funkcjonalnych. Artykuł stanowi kontynuację wcześniejszych publikacji autorów [1, 2, 3], a w jego treści ujęto jedynie część elementów opracowanego systemu ograniczoną do oprogramowania komputerowego zainstalowanego w zasobach węzła diagnostycznego. Elementy współdziałające z systemem komputerowym KSSiDNR (sterownik logiczny PLC, przetwornice częstotliwości oraz motoreduktory) zostały pominięte lub opisane w sposób pobieżny, umożliwiający określenie wzajemnych zależności funkcjonalnych oraz powiązań informatycznych.
The article presents an application of the UML language (Unified Modeling Language) for an elaboration of class diagrams which allow to design of complex structures of computer systems. An approach based on an example of the Computer Integrated Control and Diagnostic System of Distributed Drives is composed from independent functional modules. The article is continuation of earlier publications of the authors and its content contains only a part of elements of the elaborated system limited to the computer software installed in the resources of the diagnostic node. Elements which co-operate with KSSiDNR system (for example a Programmable Logic Controller, frequency inverters and gear-motors) were omitted or described in a superficial way, allow determining of reciprocal functional relationships or informatics’ dependences.
Źródło:: Wybrane Problemy Inżynierskie; 2011, 2; 339-344
2083-1021
Pojawia się w:: Wybrane Problemy Inżynierskie
Dostawca treści:: Biblioteka Nauki

Artykuł

Zmień widok

na półce

Skocz do pozycji: 15.

Tytuł:: Considerations about the quality of UML and GML application schemas
Autorzy:: Chojka, Agnieszka
Powiązania:: https://bibliotekanauki.pl/articles/1396888.pdf
Data publikacji:: 2020
Wydawca:: Politechnika Warszawska. Wydział Geodezji i Kartografii
Tematy:: application schema
quality
interoperability
UML
GML
Opis:: Exchange of and access to spatial data is the principal goal of any Spatial Data Infrastructure, therefore, one of the key concepts of SDI is interoperability, especially semantic and syntactic. Whereas application schemas and quality issues are one of the aspects that have to be considered to ensure a successful data interchange in SDI. Two types of application schema are widely used in the European SDI as well as in the Polish SDI. They cover both semantic and syntactic interoperability and are an integral parts of spatial data specifications and relevant regulations in the form of data models. However, working out accurate and correct application schemas may be a challenge. Additionally, faulty or too complex application schemas can influence the ability for valid data interchange, and consequently, prevent achieving interoperability within SDI. Therefore, the capability to examine and estimate the UML and GML application schemas quality seems to be a worthwhile and important issue in the context of semantic and syntactic interoperability in SDI. The main subject of this article it to set out the context of performed studies, among others, the role of application schema in the interoperable data exchange, issues related to the concept of quality and its measures.
Źródło:: Reports on Geodesy and Geoinformatics; 2020, 109; 17-23
2391-8365
2391-8152
Pojawia się w:: Reports on Geodesy and Geoinformatics
Dostawca treści:: Biblioteka Nauki

Artykuł

Zmień widok

na półce

Informacja

Wyszukujesz frazę "UML" wg kryterium: Temat

Źródło danych

Dostawca treści

Kolekcja

Rok wydania

Wydawca

Temat

Autor

Typ dokumentu

Język