Informacja

Drogi użytkowniku, aplikacja do prawidłowego działania wymaga obsługi JavaScript. Proszę włącz obsługę JavaScript w Twojej przeglądarce.

Wyszukujesz frazę "UML" wg kryterium: Temat


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ł
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ł
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ł
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ł
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ł
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ł
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ł
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ł
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ł
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ł

Ta witryna wykorzystuje pliki cookies do przechowywania informacji na Twoim komputerze. Pliki cookies stosujemy w celu świadczenia usług na najwyższym poziomie, w tym w sposób dostosowany do indywidualnych potrzeb. Korzystanie z witryny bez zmiany ustawień dotyczących cookies oznacza, że będą one zamieszczane w Twoim komputerze. W każdym momencie możesz dokonać zmiany ustawień dotyczących cookies