Temat: Unified Modeling Language - Katalog OPAC zbiorów

Skocz do pozycji: 1.

Tytuł:: UML Verification with Verics
Autorzy:: Niewiadomski, A.
Penczek, W.
Powiązania:: https://bibliotekanauki.pl/articles/92916.pdf
Data publikacji:: 2007
Wydawca:: Uniwersytet Przyrodniczo-Humanistyczny w Siedlcach
Tematy:: model checking
UML
unified modeling language
VerICS
Opis:: We show how to verify UML specifications against properties expressed by CTL-like formulas using the symbolic model checker Verics. Our method is illustrated with an example showing a verification of Alternating Bit Protocol.
Źródło:: Studia Informatica : systems and information technology; 2007, 1(8); 19-31
1731-2264
Pojawia się w:: Studia Informatica : systems and information technology
Dostawca treści:: Biblioteka Nauki

Artykuł

Zmień widok

na półce

Skocz do pozycji: 2.

Tytuł:: Wprowadzenie do modelowania w języku UML
Introduction to UML modeling
Autorzy:: Szynalski, Konrad
Różański, Dawid
Powiązania:: https://bibliotekanauki.pl/articles/2146699.pdf
Data publikacji:: 2022
Wydawca:: Wrocławska Wyższa Szkoła Informatyki Stosowanej Horyzont
Tematy:: UML
modelowanie
zunifikowany język modelowania
modeling
unified modeling language
Opis:: UML, czyli Zunifikowany Język Modelowania, służy do zapisywania projektu systemu i może być również stosowany w celu graficznego opracowania lub tworzenia oprogramowania. Umożliwia on konstruowanie diagramów, które przedstawiają różne punkty widzenia systemu. W obecnych czasach UML stosuje się również w innych branżach, ponieważ przy jego pomocy można w komfortowy sposób analizować oraz modelować różne działania. Jedną z największych zalet tego języka jest fakt, że pozwala na jednakową interpretację wszystkich modeli przez osoby, które się nim zajmują. Co ważne, może być on zapisywany w formie graficznej przystępnej dla większości osób oraz w formie kodu ukierunkowanego na programistów.
UML or Unified Modeling language is used to save the system design and can also be used for graphic development or software development. It allows to create diagrams that present different points of view of the system. Nowadays, UML is also used in other industries because it allows to conveniently analyze and model various activities. One of the greatest advantages of this language is the fact that it makes it possible to equally interpret all the models by the people who deal with it. Importantly, it can be saved in a graphical form that is accessible to most people and in the form of code that is aimed at programmers.
Źródło:: Biuletyn Naukowy Wrocławskiej Wyższej Szkoły Informatyki Stosowanej. Informatyka; 2022, 9, 1; 31--37
2082-9892
Pojawia się w:: Biuletyn Naukowy Wrocławskiej Wyższej Szkoły Informatyki Stosowanej. Informatyka
Dostawca treści:: Biblioteka Nauki

Artykuł

Zmień widok

na półce

Skocz do pozycji: 3.

Tytuł:: Calculation and drawing of construction elements in engineering design
Obliczenia i rysowanie elementów konstrukcji w projektowaniu technicznym
Autorzy:: Sokas, A.
Powiązania:: https://bibliotekanauki.pl/articles/118780.pdf
Data publikacji:: 2007
Wydawca:: Polskie Towarzystwo Geometrii i Grafiki Inżynierskiej
Tematy:: graphics programming
Visual Basic Application
Unified Modeling Language
programowanie graficzne
Opis:: The problems of automated design system in constructions are presented in the article. Two parts of engineering design are separated: calculation (stress and strains or forces and displacements finding, calculation of useful cross sections and selection of unabated ones from existing assortment) and drawing (construction elements modeling and specification formation). A question, how construction calculation and drawing are separate processes and how they can be mixed actions is analyzed. Literature about Unified Modeling Language usage for designing various systems is presented and examples using Visual Basic programming language are referred. A part of a steel plate truss node project is presented by Unified Modeling Language. A sequence diagram is explored and two types of statechart diagrams are created based on the view of the two parts of engineering design. The first type is calculation and drawing of each object whereas the second one is calculation and then drawing all objects. The statechart diagrams are analyzed and both advantages and disadvantages are shown. A design system of steel plain truss node’s graphical result, node with specifications is presented and finally the conclusions are made.
W artykule są dyskutowane problemy zautomatyzowanego systemu projektowania w konstrukcjach. W projektowaniu technicznym występują dwie części: obliczenie (wyznaczanie naprężeń, sił lub obciążeń i przemieszczeń, obliczanie potrzebnych przekrojów i wybór ich z istniejącego asortymentu) oraz rysowanie (modelowanie elementów konstrukcji i ich specyfikacja). Analizowany jest problem na ile obliczenie konstrukcji i rysunek są oddzielnymi procesami i w jakim stopniu mogą być mieszane. Przedstawiona literatura dotyczy zastosowania Unified Modeling Language w projektowaniu różnych systemów oraz przykłady zrealizowane w języku Visual Basic. Przedstawiono fragment płaskiej kratownicy stalowej zamodelowanej za pomocą Unified Modeling Language. Przedstawiono dwa typy diagramów, utworzone na bazie dwóch części projektowania technicznego. Pierwszy typ jest obliczeniem i rysunkiem każdego przedmiotu z osobna, drugi polega na obliczeniu i rysowaniu wszystkich obiektów. Przedstawione schematy są analizowane pod kątem zalet i wad. Problematykę wraz z konkluzją przedstawiono na przykładzie systemu projektowania płaskiej kratownicy stalowej.
Źródło:: Journal Biuletyn of Polish Society for Geometry and Engineering Graphics; 2007, 17; 61-65
1644-9363
Pojawia się w:: Journal Biuletyn of Polish Society for Geometry and Engineering Graphics
Dostawca treści:: Biblioteka Nauki

Artykuł

Zmień widok

na półce

Skocz do pozycji: 4.

Tytuł:: Data warehouse design based on UML language
Autorzy:: Barczak, A.
Wolski, M.
Powiązania:: https://bibliotekanauki.pl/articles/92946.pdf
Data publikacji:: 2008
Wydawca:: Uniwersytet Przyrodniczo-Humanistyczny w Siedlcach
Tematy:: data warehouses
rational unified process
IT systems
modeling IT systems
UML
Unified Modeling Language
Opis:: Modern management in organizations of the 21st century are efficient and dynamic decisions based on collected and well analyzed data. There are growing needs with regard of data analysis related to multiplanar work in corporations force formation of new data warehouses whose construction becomes more and more complex. In this paper we present one of the design methodologies applying to the design of data warehouses. Transformations were particularly emphasized that enable the application of UML models involving Common Warehouse Metamodel.
Źródło:: Studia Informatica : systems and information technology; 2008, 1(10); 37-48
1731-2264
Pojawia się w:: Studia Informatica : systems and information technology
Dostawca treści:: Biblioteka Nauki

Artykuł

Zmień widok

na półce

Skocz do pozycji: 5.

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: 6.

Tytuł:: Koncepcja wytwarzania ontologii dziedzinowej inżynierii wymagań
A proposal of the process of creating the ontology for requirements engineering
Autorzy:: Machura, Artur
Powiązania:: https://bibliotekanauki.pl/articles/591710.pdf
Data publikacji:: 2017
Wydawca:: Uniwersytet Ekonomiczny w Katowicach
Tematy:: Ontology Driven Requirements Engineering
Open Unified Process
Unified Modeling Language
Unified Process Ontology Development
Opis:: Artykuł, koncentrując się na warstwie praktycznej rozważań, dąży do odpowiedzi na pytanie – jak stworzyć model ontologiczny inżynierii wymagań, uwzględniając unikatowe zastosowanie współczesnych metod? Sformułowany proces tworzenia ontologii wymagań projektowych opiera się na przepływie sterowania pomiędzy głównymi aktywnościami, takimi jak: kreowana strategia przedsiębiorstwa, realizacja projektu informatycznego, eksploatacja rozwiązania. W artykule przedstawiony jest projekt bazujący na tzw. przypadkach użycia, który pozwala na powiązanie różnych dziedzin kompetencyjnych, tj. zapewnienia równowagi pomiędzy IT a biznesem (IT BSC Model by Van Grembergen), procesu wytwórczego oprogramowania (Open Unified Process), procesu tworzenia samej ontologii (Unified Process Ontology Development). Przedstawiony w artykule problem może mieć istotne implikacje badawcze, albowiem w rezultacie wykorzystania opisywanego podejścia zastosowania inżynierii wymagań określona grupa przedsięwzięć informatycznych może liczyć na wysoki poziom jakości, przy de facto stosunkowo niskim koszcie jej zapewnienia. Uporządkowany proces tworzenia ontologii zastosowania inżynierii wymagań wiąże w sposób unikatowy odrębne metody (IT BSC Model, Open UP, UPON) – na potrzeby realnego przedsiębiorstwa.
The success of business operations of an enterprise is more and more dependent on an effective use of IT solutions. Project management from the perspective of the Requirements Engineering method is a response of the software engineering. However, very often it is an unattainable challenge in the economic practice, particularly for small and medium enterprises. As the main limitation for SME are time and costs which are necessary on account of performing the work. The article suggests an innovative approach to solve this problem. The formulated process of creating the ontology use of requirements engineering, is to lead to easier, and most of all more effective, use of requirements engineering. For this purpose, it uses the achievements of ontology engineering, software engineering, as well as the IT and business balance management. In the article, a comprehensive methodological and tool method is proposed, based on free ontology and software engineering standards.
Źródło:: Studia Ekonomiczne; 2017, 342; 99-114
2083-8611
Pojawia się w:: Studia Ekonomiczne
Dostawca treści:: Biblioteka Nauki

Artykuł

Zmień widok

na półce

Skocz do pozycji: 7.

Tytuł:: New features in UML syntax and semantics
Autorzy:: Wolski, M.
Stasiak, A.
Powiązania:: https://bibliotekanauki.pl/articles/92885.pdf
Data publikacji:: 2006
Wydawca:: Uniwersytet Przyrodniczo-Humanistyczny w Siedlcach
Tematy:: unified modeling language
UML 2.0
model of IT system
new modeling techniques
Opis:: This paper is an overview of the most important new features introduced to version 2.0 of Unified Modeling Language. We denote the changes to existing diagram and present four new modeling techniques. We present the changes in definitions of syntax, semantics and pragmatics of behavioral and static models of systems designed with UML 2.0. Particular emphasis is put on the changes to sequence and activity diagrams and to component diagrams. The newly introduced diagrams, unknown in previous UML versions - interaction overview diagrams, timing diagrams, composite structure diagrams and package diagrams - are described with the most detail.
Źródło:: Studia Informatica : systems and information technology; 2006, 1(7); 265-276
1731-2264
Pojawia się w:: Studia Informatica : systems and information technology
Dostawca treści:: Biblioteka Nauki

Artykuł

Zmień widok

na półce

Skocz do pozycji: 8.

Tytuł:: A novel approach to automated behavioral diagram assessment using label similarity and subgraph edit distance
Autorzy:: Fauzan, Reza
Siahaan, Daniel Oranova
Rochimah, Siti
Triandini, Evi
Powiązania:: https://bibliotekanauki.pl/articles/2097952.pdf
Data publikacji:: 2021
Wydawca:: Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie. Wydawnictwo AGH
Tematy:: automated assessment
behavioral diagram
label similarity
similarity assessment
subgraph edit distance
Unified Modeling Language
Opis:: The Unified Modeling Language (UML) is one of the standard languages that are used in modeling software; therefore, UML is widely taught in many universities. Generally, teachers assign students to build UML diagram designs based on a predetermined project; however, the assessment of such assignments can be challenging, and teachers may be inconsistent in assessing their students’ answers. Thus, automated UML diagram assessment becomes essential to maintaining assessment consistency. This study uses a behavioral diagram as the object of research, since it is a commonly taught UML diagram. The behavioral diagram can show a dynamic view of the software. This study proposes a new approach to automatically assessing the similarity of behavior diagrams as reliably as experts do. We divide the assessment into two portions: semantic assessment, and structural assessment. Label similarity is used to calculate semantic assessment, while subgraph edit distance is used to calculate structural assessment. The results suggest that the proposed approach is as reliable as an expert in assessing the similarity between two behavior diagrams. The observed agreement value suggests a strong agreement between the use of experts and the proposed approach.
Źródło:: Computer Science; 2021, 22 (2); 191-207
1508-2806
2300-7036
Pojawia się w:: Computer Science
Dostawca treści:: Biblioteka Nauki

Artykuł

Zmień widok

na półce

Skocz do pozycji: 9.

Tytuł:: Język SysML w inżynierii wymagań
SysML Language in Requirements Engineering
Autorzy:: Pańkowska, Małgorzata
Powiązania:: https://bibliotekanauki.pl/articles/588052.pdf
Data publikacji:: 2013
Wydawca:: Uniwersytet Ekonomiczny w Katowicach
Tematy:: Język UML
Modelowanie systemów informatycznych
Systemy informatyczne
Computer system
Information system modeling
Unified Modeling Language (UML)
Opis:: The paper covers justification of the necessity to develop requirements specification for the high quality of information systems. First, system engineering and requirements engineering as disciplines are explained. Next, author focuses on information system requirements' classification and explains their features. Third, the Systems Modeling Language (SysML) is characterized and compared with UML 2.0. The last part includes presentation of SysML diagrams and discussions on their usefulness on the business information systems modeling.
Źródło:: Studia Ekonomiczne; 2013, 128; 91-102
2083-8611
Pojawia się w:: Studia Ekonomiczne
Dostawca treści:: Biblioteka Nauki

Artykuł

Zmień widok

na półce

Skocz do pozycji: 10.

Tytuł:: Standaryzacja funkcjonalności i modelowanie systemu B2B
Standardizing the Functionalities and Modeling of the B2B System
Autorzy:: Łobaziewicz, Monika
Powiązania:: https://bibliotekanauki.pl/articles/526251.pdf
Data publikacji:: 2015-02-02
Wydawca:: Uniwersytet Warszawski. Wydawnictwo Naukowe Wydziału Zarządzania
Tematy:: B2B system
Unified Modeling Language
functional standardization of B2B system
B2B system modeling
Opis:: Celem artykułu jest prezentacja wyników badań przeprowadzonych w ramach drugiego etapu projektu „Opracowanie nowoczesnego i zaawansowanego systemu B2B opartego o technologie internetowe w wyniku prac badawczo-rozwojowych”, które doprowadziły do standaryzacji funkcjonalności głównych modułów systemu typu B2B oraz opracowania modelu jego budowy. W pierwszej części artykułu omówiono standard zapisu funkcjonalności w systemie B2B, w drugiej zaś zaprezentowano model systemu B2B.
The aim of the paper is to present the results of research carried out within the framework of the second phase of the project called “The development of a modern and advanced B2B system based on Internet technologies through research and development works”, which led to the standardization of the functionality of system core modules and the design of a B2B system model. The first part of the paper discusses the standard recording functionality of the B2B system, and the next part presents the model of the B2B system.
Źródło:: Problemy Zarządzania; 2015, 2/2015 (52), t.1; 125-134
1644-9584
Pojawia się w:: Problemy Zarządzania
Dostawca treści:: Biblioteka Nauki

Artykuł

Zmień widok

na półce

Skocz do pozycji: 11.

Tytuł:: Graphical methods for designing house heating system
Metody graficzne w projektowaniu systemu ogrzewania domu
Autorzy:: Sokas, A.
Powiązania:: https://bibliotekanauki.pl/articles/118852.pdf
Data publikacji:: 2009
Wydawca:: Polskie Towarzystwo Geometrii i Grafiki Inżynierskiej
Tematy:: object-oriented programming
house heating design
Unified Modeling Language
Visual Basic for Application
programowanie obiektowe
system ogrzewania domu
Opis:: This article analyzes graphical methods for designing engineering system. The creation tasks of the house heating automated design system are solved with Unified Modeling Language. Graphical system can select types of radiators and valves, design pipes and specification. It discerns objects-classes: radiator, valve, pipe and specification, which have some properties and methods that ease programmer’s work.The program selects geometry parameters of radiators from radiators database by using ActiveX Data Objects technology, which by programming method connects drawing and database. Drawing’s graphical objects have additional data from which exchange of data between graphical system and database is executed. The program, knowing radiators’ and pipes’ geometry, designs house heating system. Design system and example of the house heating project are presented. Graphical methods of the house heating automated design system are discussed and conclusions are made.
W artykule dokonano analizy graficznych metod inżynierskich systemów projektowania. Zadania tworzenia automatycznego systemu projektowania ogrzewania domu rozwiązywane są z pomocą Unified Modeling Language. System graficzny może wybrać typy grzejników i zaworów, rur i specyfikacje projektu. Rozróżnia obiekty-klasy: chłodnicy, zawory, rury i specyfikacji, które mają pewne właściwości i metody, które ułatwiają programiście pracę. Program wybiera parametry geometrii grzejniki z bazy danych grzejników za pomocą technologii ActiveX Data Objects, które metodami programistycznymi łączy z rysunkami. Graficzne obiekty rysunkowe mają dodatkowe dane, z pomocą których wykonywana jest wymiana danych pomiędzy systemem graficznym i baządanych. Program, znając geometrię grzejników i rur, automatycznie projektuje ogrzewanie domów. System projektowania i przykład projektu ogrzewania domu zostały przedstawione w pracy w kontekście graficznych metod zautomatyzowanego systemu projektowania.
Źródło:: Journal Biuletyn of Polish Society for Geometry and Engineering Graphics; 2009, 20; 51-56
1644-9363
Pojawia się w:: Journal Biuletyn of Polish Society for Geometry and Engineering Graphics
Dostawca treści:: Biblioteka Nauki

Artykuł

Zmień widok

na półce

Skocz do pozycji: 12.

Tytuł:: Modeling of Distributed Ledger Deployment View
Autorzy:: Górski, Tomasz
Bednarski, Jakub
Powiązania:: https://bibliotekanauki.pl/articles/1844468.pdf
Data publikacji:: 2020
Wydawca:: Polska Akademia Nauk. Czytelnia Czasopism PAN
Tematy:: software architecture
deployment view
architectural views model 1+5
unified Modeling language extensibility mechanisms
Distributed Ledger Technology
blockchain
Opis:: The Distributed Ledger Technology (DLT) is a peer-to-peer model of sharing data among collaborating parties in a decentralized manner. An example of DLT is a blockchain where data form blocks in an append-only chain. Software architecture description usually comprises multiple views. The paper concentrates on the Deployment view of the DLT solution within the 1+5 architectural views model. The authors have proposed Unified Modeling Language (UML) extensibility mechanisms to describe the needed additional semantic notation to model deployment details. The paper covers both the network and node levels. The proposed stereotypes and tagged values have enriched UML Deployment diagram. We have gathered those modeling elements in dedicated UML Profile for Distributed Ledger Deployment. We have applied the profile to model Deployment view of a renewable energy management system that uses R3 Corda framework. The system records information about inbound and outbound energy to/from renewable energy grid.
Źródło:: International Journal of Electronics and Telecommunications; 2020, 66, 4; 619-625
2300-1933
Pojawia się w:: International Journal of Electronics and Telecommunications
Dostawca treści:: Biblioteka Nauki

Artykuł

Zmień widok

na półce

Skocz do pozycji: 13.

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

Informacja

Wyszukujesz frazę "Unified Modeling Language" wg kryterium: Temat

Źródło danych

Dostawca treści

Kolekcja

Rok wydania

Wydawca

Temat

Autor

Typ dokumentu

Język