Temat: modelowanie UML - Katalog OPAC zbiorów

Skocz do pozycji: 1.

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

Tytuł:: UML – punkt widzenia studenta uczelni technicznej w Lublinie
Autorzy:: Ulidowski, Adam
Wrzos, Jan
Włodarczyk, Bartłomiej
Krocz, Krzysztof
Drozd, Patryk
Żyła, Kamil
Powiązania:: https://bibliotekanauki.pl/articles/98232.pdf
Data publikacji:: 2019
Wydawca:: Politechnika Lubelska. Instytut Informatyki
Tematy:: UML
software engineering
information system modelling
survey
inżynieria oprogramowania
modelowanie systemów informatycznych
ankieta
Opis:: Unified Modeling Language (UML) is a commonly known OMG (Object Management Group) standard for designing software systems. However, practice shows that the usage of UML varies depending on the specificity of a software system and company. The authors decided to explore the perspective of students with experience in using UML by conducting an exploratory survey with them. Analysis of the data gathered revealed that they use UML diagrams as an additional help when developing software. The main risk turned out to be different diagram interpretations. At last, the main motivation to learn UML was obtaining a credit at university.
Unified Modeling Language (UML) jest powszechnie nauczanym i stosowanym standardem Object Management Group (OMG) służącym do opisu systemów informatycznych. Jednakże praktyka pokazuje, że użyteczność UML waha się w zależności od specyfiki projektu i systemu informatycznego. Autorzy zdecydowali się przeprowadzić ankietę badającą opinie studentów, mających styczność z językiem UML, na temat wykorzystania wykonanych w nim diagramów. Analiza zebranych ankiet wykazała, że diagramy UML pełnią zazwyczaj rolę pomocniczą, głównym ryzykiem ich użycia są różnice w ich interpretacji, a główną motywacją do nauki jest uzyskanie zaliczenia na uczelni.
Źródło:: Journal of Computer Sciences Institute; 2019, 13; 279-282
2544-0764
Pojawia się w:: Journal of Computer Sciences Institute
Dostawca treści:: Biblioteka Nauki

Artykuł

Zmień widok

na półce

Skocz do pozycji: 3.

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

Tytuł:: Software engineering standardization shift for enterprise systems development process
Autorzy:: Zabawa, P.
Powiązania:: https://bibliotekanauki.pl/articles/94873.pdf
Data publikacji:: 2016
Wydawca:: Szkoła Główna Gospodarstwa Wiejskiego w Warszawie. Wydawnictwo Szkoły Głównej Gospodarstwa Wiejskiego w Warszawie
Tematy:: software engineering
software development process automation
modeling
meta-modeling
UML
MOF
MDA
application context
inżynieria oprogramowania
standaryzacja
modelowanie
Opis:: The paper is focused on the processes of software development of enterprise systems. It is related to the new concept of software development paradigm named Context-Driven Meta-Modeling Paradigm (CDMM-P) introduced by the author. The CDMM-P can be applied to define modeling or meta-modeling languages, to construct enterprise systems data layer. The CDMM-P concept is based on application open ontologies in the form composed of notions characteristic for software engineering and it constitutes the first implementation and the first application of open ontologies in software engineering domain. The paper presents the concept of a shift of existing OMG standardization approach. It explains why the CDMM-P graph representation and its API should be the subject of standardization in place of MOFbased close ontology structures.
Źródło:: Information Systems in Management; 2016, 5, 4; 593-604
2084-5537
2544-1728
Pojawia się w:: Information Systems in Management
Dostawca treści:: Biblioteka Nauki

Artykuł

Zmień widok

na półce

Skocz do pozycji: 5.

Tytuł:: Modelowanie systemu elektroenergetycznego z użyciem standardu CIM IEC61970
Power system modeling based on the CIM standard IEC61970
Autorzy:: Rzepecki, A.
Powiązania:: https://bibliotekanauki.pl/articles/408193.pdf
Data publikacji:: 2015
Wydawca:: Politechnika Lubelska. Wydawnictwo Politechniki Lubelskiej
Tematy:: IEC61970
modelowanie systemu elektroenergetycznego
CIM
UML
power system modeling
Opis:: W niniejszym artykule przedstawiono ogólne zasady posługiwania się normą IEC61970. Artykuł podzielono na trzy części. W pierwszej opisano genezę powstania standardu, w drugiej jego strukturę i zależności. Na koniec zaprezentowano praktyczny przykład użycia wspomnianej normy w oparciu o wybrany model SEE. Dodatkowo, przedstawiono klasyfikację poszczególnych części standardu oraz omówiono ich znaczenie i zastosowanie.
The article describes general power system modeling rules based on international standard IEC61970. Discussion has been divided on three stages. In the first case the genesis of standard has been shown. The second describes structure and dependencies. In the end of the article some practical example has been presented. Additionally, the classification of the various standard’s parts categories has been shown.
Źródło:: Informatyka, Automatyka, Pomiary w Gospodarce i Ochronie Środowiska; 2015, 3; 47-50
2083-0157
2391-6761
Pojawia się w:: Informatyka, Automatyka, Pomiary w Gospodarce i Ochronie Środowiska
Dostawca treści:: Biblioteka Nauki

Artykuł

Zmień widok

na półce

Skocz do pozycji: 6.

Tytuł:: Propozycja modelu pojęciowego danych wieczysto-księgowych
Proposal of a conceptual model of the land register data
Autorzy:: Góźdź, K.
Pachelski, W.
Powiązania:: https://bibliotekanauki.pl/articles/345950.pdf
Data publikacji:: 2014
Wydawca:: Polskie Towarzystwo Informacji Przestrzennej
Tematy:: księga wieczysta
modelowanie pojęciowe
UML
katastralny model administrowania terenem
land register
conceptual modeling
Land Administration Domain Model
Opis:: Celem artykułu jest przedstawienie modelu pojęciowego danych wieczysto-księgowych, opracowanego zgodnie z metodyką modelowania informacji geograficznej opisaną w normach ISO serii 19100 – Geographic Information. Księgi wieczyste pełnią istotną rolę w budowie infrastruktury informacyjnej państwa, pozwalają bowiem na ustalenie stanu prawnego nieruchomości rozumianego jako ujawnione w księgach prawo własności i użytkowania wieczystego, ograniczone prawa rzeczowe oraz prawa osobiste i roszczenia. Obecnie księgi wieczyste są prowadzone przez sądy rejonowe w systemie informatycznym NKW, zaś treść ksiąg wieczystych jest gromadzona w Centralnej Bazie Danych Ksiąg Wieczystych. System NKW pozwala na każdorazową rejestrację zestawu informacji dotyczących pojedynczej księgi wieczystej. W zaproponowanym modelu pojęciowym danych wieczysto-księgowych określono klasy obiektów, ich właściwości (atrybuty) oraz powiązania, stosując przy tym jednolity sposób definiowania i opisu obiektów w języku UML. Zarekomendowano również uzupełnienie obecnej struktury danych wieczysto-księgowych o nowe atrybuty służące identyfikacji obiektów oraz określające ich cykl życia. Stwierdzono, że docelowe wykorzystanie obiektowego modelu danych przyczyni się do eliminacji redundancji informacji oraz wprowadzenia licznych usprawnień pozwalających na skrócenie czasu rejestracji danych, automatyzację procesów aktualizacyjnych oraz umożliwianie wyszukiwania danych i zaawansowanych analiz. W drugiej części artykułu dokonano analizy modelu ksiąg wieczystych pod kątem jego zbieżności z wzorcem LADM. Satysfakcjonujący poziom zgodności pomiędzy modelami upoważnił do stwierdzenia, że propozycja schematu jest prawidłowa z punktu widzenia prezentowanego zakresu informacyjnego i może stanowić podstawę do dalszych rozwinięć w zależności od potrzeb i oczekiwań użytkowników.
The main objective of this paper is to present a conceptual model of land register data, drawn up in accordance with methodology of modeling geographic information described in ISO 19100 series of Geographic Information Standards. The land register plays a crucial role in developing the national information infrastructure, because it enables to determine legal status of the property, understood as rights revealed in land books (pl. księgi wieczyste) such as: the right of ownership and perpetual usufruct, limited property rights as well as personal rights and claims. Land books are currently carried out by district courts in the IT-system called "NKW". Their content is stored in the Central Database of Land Register. "NKW" system allows to register each time the set of information concerning a single land book. The proposed conceptual model of land register data specifies classes of objects, their features (attributes) and relations between them, with the usage of unified way for defining and describing objects in UML. It is recommended to complement the current structure of land register data with new attributes serving identification of objects and defining their life cycles. The target use of object-oriented data model will contribute to elimination of redundant information and introduction of many improvements allowing to shorten the time of registering data, to automate the updating processes and the use of searching and analyzing services. In the second part of the paper, analysis of the model of land register data in terms of its compliance with the LADM standard is carried out. A satisfactory level of conformity between models entitles to the statement that the proposed UML application scheme is correct from the point of view of its contents and it may constitute a basis for further developments, depending on the needs and expectations of users.
Źródło:: Roczniki Geomatyki; 2014, 12, 3(65); 259-278
1731-5522
2449-8963
Pojawia się w:: Roczniki Geomatyki
Dostawca treści:: Biblioteka Nauki

Artykuł

Zmień widok

na półce

Skocz do pozycji: 7.

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

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

Tytuł:: UMLologia w praktyce
UML methodology in practice
Autorzy:: Chojka, A.
Parzyński, Z.
Powiązania:: https://bibliotekanauki.pl/articles/341388.pdf
Data publikacji:: 2013
Wydawca:: Uniwersytet Przyrodniczy we Wrocławiu
Tematy:: UML
modelowanie pojęciowe
ISO 19100
INSPIRE
conceptual modeling
Opis:: Po uchwaleniu ustawy o infrastrukturze informacji przestrzennej, która jest transpozycją Dyrektywy INSPIRE, w znacznym stopniu wzrosło zainteresowanie modelowaniem pojęciowym, w tym językiem UML. Transpozycja to przystosowanie przepisów Dyrektywy do prawa krajowego, co z kolei pociąga za sobą konieczność nowelizacji wielu ustaw, w tym ustawy prawo geodezyjne i kartograficzne oraz powiązanych z nią rozporządzeń. Integralną częścią rozporządzeń opracowanych przez Główny Urząd Geodezji i Kartografii są specyfikacje modeli pojęciowych w postaci m.in. schematów aplikacyjnych UML. UML, czyli ujednolicony język modelowania, to standard służący do opisu świata obiektów w analizie i projektowaniu obiektowym. Jednocześnie jest to środek formalny modelowania informacji geograficznej zalecany przez normy ISO serii 19100. Umożliwia on zapis informacji geograficznej w sposób niezależny od platform sprzętowo-programowych, zapewniając tym samym interoperacyjność między różnymi systemami geoinformacyjnymi, a więc m.in. możliwość dokonania pomyślnej wymiany danych. Na konkretnych przykładach (rozporządzeniach do ustawy prawo geodezyjne i kartograficzne, aktualnie opublikowanych na stronach GUGiK) autorzy wyjaśnią podstawowe zasady modelowania obiektowego, notacji UML oraz budowy schematów aplikacyjnych UML. Udowodnią również, że to wzmożone zainteresowanie UML’em można nazwać UMLologią.
Since the adoption of laws on spatial information infrastructure from the transposition of the INSPIRE Directive, interest in conceptual modeling and UML has increased significantly. The transposition is the adaptation of INSPIRE directives to national law, which requires many changes in regulations regarding geodesy and cartography law and related laws. An integral part of the regulations developed by the Head Office of Geodesy and Cartography are specifications for conceptual modeling, including among other things, UML application schemes. UML, unified modeling language, is a standard code for describing physical locations in spatial analysis and design. It is also the norm for the modeling of geographic information recommended by the ISO 19100 series of International Standards. UML makes it possible to register geographic information, independent of the software-hardware platform, in a way that ensures compatibility between different geographic information systems and allows for successful data transferring. Examples taken from the regulations on geodesy and cartography laws, as published on the Head Office of Geodesy and Cartography website, were used to explain the fundamentals of spatial modeling, UML notation, and rules for creating application schemes. The authors also suggest that the sudden interest in UML could be called “UML-ology”.
Źródło:: Acta Scientiarum Polonorum. Geodesia et Descriptio Terrarum; 2013, 12, 3; 5-16
1644-0668
Pojawia się w:: Acta Scientiarum Polonorum. Geodesia et Descriptio Terrarum
Dostawca treści:: Biblioteka Nauki

Artykuł

Zmień widok

na półce

Skocz do pozycji: 10.

Tytuł:: Describing GGOS objects using standardized methods
Autorzy:: Pachelski, W.
Zwirowicz-Rutkowska, A.
Powiązania:: https://bibliotekanauki.pl/articles/224694.pdf
Data publikacji:: 2012
Wydawca:: Politechnika Warszawska. Wydział Geodezji i Kartografii
Tematy:: conceptual modeling
expert system
UML
GGOS
ISO 19100 series of geographic information standards
modelowanie koncepcyjne
system ekspercki
Opis:: GGOS can be considered as the set of the interrelated objects, which are assigned to each of the GGOS pillars. Both the multiplicity and the diversity of the GGOS object, but also the diversity of the objects interrelations bring about the complexity of the information structure of GGOS. To assure better understanding of the universe of discourse, deeper and more systematic analysis and interpretation of phenomena in the field of GGOS, in terms of the standardized methods and IT techniques and knowledge (such as UML, model driven approach of systems designing and the methodology based on the ISO19100 series of geographic information standards), the strict description of the information structure of GGOS should be provided. Such a description is the step in the process of designing and deployment of the computerized knowledge bases and the expert systems. In the paper some examples of GGOS issues in the terms of selected IT techniques are presented. There is both the description of the static structure of GGOS (e.g. class diagrams, the objects catalogue) and the dynamic one (e.g. activity diagrams, use case diagrams). The methodology being under discussion in this paper is a new assumption, which may be useful for doing research on the fields of each of GGOS pillars and interrelationships between them.
Źródło:: Reports on Geodesy; 2012, z. 1/92; 213-225
0867-3179
Pojawia się w:: Reports on Geodesy
Dostawca treści:: Biblioteka Nauki

Artykuł

Zmień widok

na półce

Skocz do pozycji: 11.

Tytuł:: Wytwarzanie serwisów informacyjnych z wykorzystaniem koncepcji modelowania dziedzin : budowa języka dziedzinowego (KsiML)
Production of information services using the concept of domain modeling : a systematic approach for building domain specific language (KsiML)
Autorzy:: Kosior, A.
Stasiak, A.
Powiązania:: https://bibliotekanauki.pl/articles/273393.pdf
Data publikacji:: 2012
Wydawca:: Wojskowa Akademia Techniczna im. Jarosława Dąbrowskiego
Tematy:: język dziedzinowy
DSL
modelowanie dziedzin
DSM
języki modelowania dziedzin
DSML
metody wytwarzania SI
UML
domain specific language
domain specific modeling
domain specific modeling languages
Opis:: W artykule przedstawiono opis procesu budowy języka dziedzinowego KsiML z wykorzystaniem MDE, bazując na modelowaniu dziedzin (DSM) i autorskiej metodzie KMS. Proces ten wykorzystano do budowy serwisu informacyjnego o projektach studenckich. W założeniach, zastosowanie zaproponowanego procesu powinno prowadzić do wzrostu jakości i reużycia tworzonego kodu, powodując obniżenie kosztów budowanych systemów.
The paper describes a process of building the domain language KsiML using the MDE approach, based on modeling domains (DSM) and the authors' KMS method . The process was used to build an information service of students' projects. In assumptions, the application of the proposed process should lead to height of quality and re-use of the source code, as well as decrease of construction systems costs.
Źródło:: Biuletyn Instytutu Automatyki i Robotyki; 2012, R. 18, nr 32, 32; 23-52
1427-3578
Pojawia się w:: Biuletyn Instytutu Automatyki i Robotyki
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ł:: Problem hierarchii w transformacji diagramów aktywności UML 2.x do sieci Petriego sterowania
Hierarchy problem in transformation of UML 2.x Activity Diagrams into Control Interpreted Petri Nets
Autorzy:: Grobelny, M.
Grobelna, I.
Powiązania:: https://bibliotekanauki.pl/articles/156952.pdf
Data publikacji:: 2011
Wydawca:: Stowarzyszenie Inżynierów i Techników Mechaników Polskich
Tematy:: diagramy aktywności UML
sieci Petriego sterowania
modelowanie behawioralne
metody formalnej weryfikacji
UML activity diagrams
control Petri nets
behavioral modelling
formal verification methods
Opis:: Proces specyfikacji zachowania odgrywa istotną rolę z powodu określania na tym etapie cech i sposobu funkcjonowania sterownika logicznego. W artykule omówione zostały dwie metody graficznego specyfikowania zachowania sterowników logicznych - diagramy aktywności języka UML 2.x oraz sieci Petriego sterowania. Zaproponowana została metoda transformacji hierarchicznych diagramów aktywności do hierarchicznych sieci Petriego. Dzięki przedstawionej metodzie możliwe jest połączenie zalet obu typów graficznego opisu specyfikacji urządzeń. Dodatkowo, zaproponowana została metoda formalnej weryfikacji hierarchicznej formy specyfikacji umożliwiająca wykrycie potencjalnych błędów na tym wczesnym etapie projektu.
Behavior specification is one of the most important steps in embedded systems design. It plays a significant role because system properties and functionality are specified in this phase. There exist some techniques which can be helpful for a designer. In the paper two methods for graphical specification of logic controller behavioral specification [1, 2, 6], namely UML 2.x activity diagrams [10] and control Petri nets [11], are considered. A novel transformation method for transformation of hierarchical activity diagrams into hierarchical Petri nets is proposed. The presented method allows combining the advantages of both types of graphical system specification. Additionally, a formal verification method for hierarchical specification form is proposed. It enables detecting potential errors at early stage of system development. Hierarchical form of specification is commonly used in design process. Activity diagrams can include complex actions (Fig. 1) which describe some subprocesses. Petri nets also support hierarchy, but it can be realized in two different forms [9] - as macroplaces or macrotransitions (Fig. 2). According to the transformation method from [3, 8], actions in activity diagrams are interpreted as transitions in Petri net. In hierarchical processes by means of Petri nets two elements, macrotransitions (Fig. 3) and macroplaces (Fig. 4), have to be considered. The macroplace (Fig. 5a) can be surrounded by two transitions (Fig. 5b), decomposed (Fig. 5c), and finally compressed to macrotransition (Fig. 5d), then transformed into complex activity in an UML 2.x activity diagram (Fig. 5e). Verification of both considered specification forms [3] allows comparing two versions of the same behavior description. The model checking technique [4] can be used to verify the whole system or a part of it. Partial verification can be used for hierarchical specifications, as the verification process can be performed step by step (Fig. 6).
Źródło:: Pomiary Automatyka Kontrola; 2011, R. 57, nr 7, 7; 729-732
0032-4140
Pojawia się w:: Pomiary Automatyka Kontrola
Dostawca treści:: Biblioteka Nauki

Artykuł

Zmień widok

na półce

Skocz do pozycji: 14.

Tytuł:: Podstawy modelowania georeferencyjnych baz danych
The basics of georeference database modelling
Autorzy:: Parzyński, Z.
Powiązania:: https://bibliotekanauki.pl/articles/130586.pdf
Data publikacji:: 2010
Wydawca:: Stowarzyszenie Geodetów Polskich
Tematy:: modelowanie baz danych
język UML
normy ISO
dyrektywa INSPIRE
databases modeling
UML notation
ISO standards
INSPIRE directive
Opis:: Ustawa o Infrastrukturze Informacji Przestrzennej (UoIIP) obowiązuje od 7 czerwca 2010 r. Jest ona implementacją Dyrektywy INSPIRE na polskie warunki. Zgodnie z artykułem 30 Ustawy należy zacząć dostosowywać istniejące zbiory danych przestrzennych do wymogów Ustawy oraz tworzyć nowe zbiory zgodnie z wymogami Ustawy. W fachowej prasie zostało opublikowanych wiele artykułów dotyczących Dyrektywy ISNPIRE, harmonizacji zbiorów danych przestrzennych, integracji tych zbiorów z międzynarodowymi normami ISO serii 19100, interoperacyjności zbiorów, metadanych itp. Pomijane są jednak niektóre istotne elementy związane z Dyrektywą INSPIRE i jej implementacją na polskie warunki. Tymi elementami są specyfikacje danych oraz reguły implementacyjne INSPIRE. W artykule zostaną wymienione i krótko scharakteryzowane podstawowe elementy, które należy uwzględnić przy modelowaniu georeferencyjnych baz danych tak, by tworzone modele były zgodne z wytycznymi Dyrektywy INSPIRE oraz Ustawą o IIP. Autor do tych podstaw modelowania baz danych zalicza: 1. Modelowanie pojęciowe jako podstawową metodologię modelowania; 2. UML – formalny język służący do zapisu modelu; 3. Uwzględnienie w opracowywanych modelach reguł implementacyjnych INSPIRE; 4. Uwzględnienie w opracowywanych modelach specyfikacji danych INSPIRE; 5. Harmonizację opracowywanych modeli z danej dziedziny; 6. Integrację przygotowanych modeli z międzynarodowymi normami ISO serii 19100. Wszystkie wymienione powyżej składowe procesu modelowania mają zapewnić interoperacyjność, zbudowanych na podstawie tak przygotowanych modeli, baz danych nie tylko na szczeblach lokalnych (gminnych, powiatowych czy wojewódzkich w przypadku Polski) ale także na szczeblu państwowym i międzynarodowym. Zapewnienie interoperacyjności zbiorów danych przestrzennych pochodzących z różnych krajów jest jednym z naczelnych celów Dyrektywy INSPIRE. Charakterystyka poszczególnych etapów modelowania zostanie oparta, w miarę możliwości, na konkretnych przykładach z dziedziny fotogrametrii i teledetekcji.
The Spatial Information Infrastructure (SII) Law has been in effect since 7th June, 2010. This law is an implementation of the INSPIRE Directive for Polish conditions. According to the 30th article of the law, the existing spatial data sets should begin adapting to the requirements of the law and new sets should be created accordingly. A lot of articles concerning the INSPIRE Directive, spatial data sets harmonization, integration of the sets with the ISO 19100 series of International Standards, sets interoperability, metadata etc. have been published in the specialist press. However, some significant elements connected with the INSPIRE Directive and its implementation for Polish conditions are missing. Those elements are data specifications and the INSPIRE implementation rules. The basic elements that should be taken into consideration during georeference database modeling to ensure the compatibility of the created models with the INSPIRE Directive guidelines and the SII Law, are specified and described in this paper. In the author’s opinion, the basics of database modeling are as follows: 1. Conceptual modeling as the fundamental modeling methodology; 2. UML – a formal language to write a model; 3. Taking into account the INSPIRE implementation rules when preparing models; 4. Taking into consideration the INSPIRE data specifications in created models; 5. Harmonization of prepared models in a given domain; 6. Integration of created models with the ISO 19100 series of International Standards. All of the above mentioned “parts” of the modeling process aim at ensuring the interoperability of databases, built on the basis of the prepared models, not only at the local level (the Polish administrative units, e.g. communal) but also at the national and the international levels. Ensuring interoperability of the spatial data sets that come from different countries is one of the main aims of the INSPIRE Directive. The characteristic of particular modeling stages is based, if possible, on concrete examples from photogrammetry and the remote sensing domain.
Źródło:: Archiwum Fotogrametrii, Kartografii i Teledetekcji; 2010, 21; 315-326
2083-2214
2391-9477
Pojawia się w:: Archiwum Fotogrametrii, Kartografii i Teledetekcji
Dostawca treści:: Biblioteka Nauki

Artykuł

Zmień widok

na półce

Skocz do pozycji: 15.

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

Informacja

Wyszukujesz frazę "modelowanie UML" wg kryterium: Temat

Źródło danych

Dostawca treści

Kolekcja

Rok wydania

Wydawca

Temat

Autor

Typ dokumentu

Język