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

/5

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

/5

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

/5

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

/5

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

/5

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

/5

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

/5

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

/5

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

/5

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

/5

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

/5

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

/5

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

/5

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

/5

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

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 16.

Tytuł:

Specyfikacja behawioralna dla rekonfigurowalnych sterowników logicznych z wykorzystaniem diagramów maszyny stanowej z języka UML 2.0
A behavioral specification for reconfigurable logic controllers using UML 2.0 state machine diagrams

Autorzy:

Bazydło, G.

Powiązania:

https://bibliotekanauki.pl/articles/152665.pdf

Data publikacji:

2007

Wydawca:

Stowarzyszenie Inżynierów i Techników Mechaników Polskich

Tematy:

UML
specyfikacja behawioralna
statechart
behavioral specification

Opis:

Język UML to graficzny język do obrazowania, specyfikowania, tworzenia i dokumentowania szeroko pojętych systemów informatycznych. Jego obecna wersja 2.0 wprowadziła wiele zmian, także w diagramach stanów, które teraz nazywają się diagramami maszyny stanowej. W referacie przedstawiono nietypowe wykorzystanie diagramów maszyny stanowej, bo do modelowania programów dla rekonfigurowalnych sterowników logicznych (specyfikacja behawioralna). Na początku referatu krótko zdefiniowano sterownik logiczny, a następnie omówiono opracowaną metodę jego specyfikacji z wykorzystaniem diagramów maszyny stanowej (UML 2.0), która, zdaniem autora, bardzo dobrze nadaje się do modelowania hierarchicznych układów współbieżnych. Zwrócono także uwagę na możliwość używania do specyfikacji programów dla sterowników logicznych, często darmowych, narzędzi UML do modelowania systemów informatycznych. Omawiane zagadnienia poparte zostały stosownymi przykładami.
The Unified Modeling Language (UML) is a language for specifying, visualizing, constructing, and documenting artifacts of software systems, as well as for business modeling and other non-software systems. The UML represents a collection of the best engineering practices that have proven successful in modeling large and complex systems [4, 5]. The authors of UML are Grady Booch, Ivar Jacobson and James Rumbaugh. The current version of the language is 2.0. The UML language contains thirteen kinds of diagrams (structure and behavior diagrams). One of the behavior diagrams is a state machine diagram that defines a set of concepts that can be used for modeling discrete behavior through finite state transtion systems [11]. The UML language can be used not only for designing software systems, but also for other kinds of them, for example reactive systems [2, 7, 10]. This paper presents a method of using the UML language for behavioral specification for logic controllers such as PLC, RLC and reconfigurable FPGAs. Emphasis is put on diagrams that represent behavioral state machines, because they refer directly to the definition of Finite State Machines [6]. It is worth mentioning that state machine diagrams support various features of the modeling systems such as hierarchy and orthogonality. This support allows for designing the behavior of the complex and orthogonal systems in an intuitive and clear way, on the selected hierarchical level. For example Figure 3 shows a state machine diagram for "Reactor" model on the highest hierarchy level and Figure 4 represent all details of the designed system (lowest hierarchy level). Also a possibility of using UML tools was discussed. As for future research, the use of other diagrams from UML is going to be investigated, e.g., use case diagrams or activity diagrams. The former can be applied to analyze the user's needs and interface of the designed device. The activity diagrams can be used to prepare testbenches for the modeled system. But the main method to model the behavior of a system are state machine diagrams.

Źródło:

Pomiary Automatyka Kontrola; 2007, R. 53, nr 5, 5; 21-23
0032-4140

Pojawia się w:

Pomiary Automatyka Kontrola

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 17.

Tytuł:

Context-driven meta-modeler (CDMM-Meta-Modeler) application case-study

Autorzy:

Zabawa, P.
Fitrzyk, G.
Nowak, K.

Powiązania:

https://bibliotekanauki.pl/articles/95009.pdf

Data publikacji:

2016

Wydawca:

Szkoła Główna Gospodarstwa Wiejskiego w Warszawie. Wydawnictwo Szkoły Głównej Gospodarstwa Wiejskiego w Warszawie

Tematy:

meta-model
application context
open ontology
modeling language
meta-modeling process
visual modeling
UML
UML Profiles

Opis:

The main contribution of this paper is the working case study for meta-modeling process performed in open ontologies. It contrasts to close ontology based approaches well known from software engineering discipline. Moreover, in place of ontological standards like Resource Description Framework (RDF) defined by World Wide Web Consortium (W3C) or Web Ontology Language (OWL) by W3C and Object Management Group (OMG), the presented meta-modeling approach is based on notions characteristic for software engineering, like class, relationship, Unified Modeling Language (UML), UML Profile, stereotype, meta-model as well as for enterprise applications. This approach is feasible as it refers to the concept of Context-Driven Meta-Modeling (CDMM) introduced in previous papers and implemented in the form of Context-Driven Meta-Modeling Framework (CDMM-F). The case study is realized in the form of graphical UML modeling of the modeling language (metamodel) in the Context-Driven Meta-Modeling Meta-Modeler (CDMM-MetaModeler) Thus the presented case-study constitutes the proof-of-the-concept for graphical meta-modeling for all mentioned concepts and their implementations. It also displays the nature of the meta-modeling process in this paradigm and explains some mechanisms that play important role when process effectiveness and convenience of the meta-model designer are taken into account.

Źródło:

Information Systems in Management; 2016, 5, 1; 144-158
2084-5537
2544-1728

Pojawia się w:

Information Systems in Management

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 18.

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

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 19.

Tytuł:

UML profiles for architecture description of an integration
Profile UML do opisu architektury platformy integracyjnej

Autorzy:

Górski, T.

Powiązania:

https://bibliotekanauki.pl/articles/210347.pdf

Data publikacji:

2013

Wydawca:

Wojskowa Akademia Techniczna im. Jarosława Dąbrowskiego

Tematy:

integration
UML profiles
architecture of information system
mediation flows
integracja
profile UML
architektura systemów informatycznych
przepływy mediacyjne

Opis:

The paper presents a new Unified Modeling Language profiles devoted to modeling the architecture of the integration platform. The paper contains a description of the notations and languages of information systems architecture modeling, such as BPMN, UML, and SoaML. These notations and modeling languages do not provide a complete set of semantic structures necessary to present integration platform’s architecture. Therefore, a set of UML stereotypes was proposed which describes the needed additional semantic structures. These stereotypes have been grouped into two UML profiles, “UML Profile for Integration Platform” and “UML Profile for Integration Flows”. In the first profile, stereotypes relating to the structural elements of the integration platform were placed. The second profile contains stereotypes representing mediation mechanisms. The paper presents a new semantic extension of an activity diagram to model the mediation flows. Thus, it was proposed a new UML diagram: mediation flows diagram.
W artykule przedstawiono nowe profile języka Unified Modeling Language przeznaczone do modelowania architektury platformy integracyjnej. Artykuł zawiera opis notacji i języków modelowania architektury systemów informatycznych, takich jak: BPMN, UML, SoaML. Opisane notacje i języki modelowania nie dostarczają jednak pełnego zbioru konstrukcji semantycznych niezbędnych do przedstawienia architektury platformy integracyjnej. W związku z powyższym zaproponowano zbiór stereotypów języka UML opisujący wymagane dodatkowe konstrukcje znaczeniowe. Stereotypy te zostały pogrupowane w dwa profile języka UML: „UML Profile for Integration Platform” oraz „UML Profile for Integration Flows”. W pierwszym profilu umieszczono stereotypy odnoszące się do elementów struktury platformy integracyjnej. W drugim profilu umieszczono stereotypy odpowiadające mechanizmom mediacyjnym. W artykule przedstawiono nowe rozszerzenie semantyczne diagramu aktywności dla modelowania przepływów mediacyjnych. Zaproponowano w ten sposób nowy diagram języka UML: diagram przepływów mediacyjnych.

Źródło:

Biuletyn Wojskowej Akademii Technicznej; 2013, 62, 2; 43-56
1234-5865

Pojawia się w:

Biuletyn Wojskowej Akademii Technicznej

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 20.

Tytuł:

Transformacja diagramu aktywności UML w przepływ integracyjny BPEL
UML activity diagram transformation into BPEL integration flow

Autorzy:

Górski, T.
Ziemski, G.

Powiązania:

https://bibliotekanauki.pl/articles/211126.pdf

Data publikacji:

2018

Wydawca:

Wojskowa Akademia Techniczna im. Jarosława Dąbrowskiego

Tematy:

Web Services Business Process Execution Language
BPEL
Enterprise Service Bus
ESB
Unified Modelling Language
UML
diagram aktywności UML
Model-Driven Development
MDD
transformacje
UML activity diagram
transformation

Opis:

Rosnące zainteresowanie firm integracją oraz interoperacyjnością systemów informatycznych spowodowało wzrost znaczenia architektury usługowej (ang. Service-Oriented Architecture), która zapewnia narzędzia umożliwiające integrację aplikacji korporacyjnych (ang. Enterprise Application Integration). W tym sensie magistrala usług (ang. Enterprise Service Bus) zapewnia techniczne możliwości komunikacji między systemami informatycznymi. Kluczowym elementem w tej komunikacji są przepływy integracyjne. Cel: Celem artykułu jest przedstawienie nowej transformacji Integration2BPEL, która automatyzuje konstrukcję wykonywalnego przepływu integracyjnego wyrażonego w języku Web Services Business Process Execution Language (BPEL) na podstawie modelu tego przepływu przedstawionego na diagramie aktywności języka Unified Modeling Language (UML). Metoda: Autorzy proponują transformację typu model-to-code generującą przepływ integracyjny wyrażony w BPEL, który może być uruchamiany w dowolnym silniku procesów BPEL. Przepływ integracyjny modelowany jest za pomocą diagramu aktywności języka UML z użyciem stereotypów z profilu „UML Profile for Integration Flows” w środowisku IBM Rational Software Architect (RSA). Przy zastosowaniu transformacji Integration2BPEL generowany jest kompletny, wykonywalny przepływ integracyjny złożony z wielu mechanizmów mediacyjnych. Wygenerowany przepływ integracyjny uruchamiany był na magistrali usług OpenESB. Wyniki: Możliwość generacji kompletnego przepływu integracyjnego w BPEL, który bez żadnych uzupełnień może być uruchamiany na magistrali usług. Zautomatyzowana została faza implementacji przepływu integracyjnego. Każdy z przepływów integracyjnych implementowany jest według takich samych zasad. Ponadto, unika się dzięki temu błędów popełnianych przez projektantów i programistów. Wnioski: Wytwarzanie oprogramowania sterowane modelami (ang. Model-Driven Development) jest podejściem, które może prowadzić do automatyzacji fazy projektowania i programowania. Uzyskuje się wprowadzenie jednolitego mechanizmu konstrukcji przepływu integracyjnego.
The growing interest of companies in integration and interoperability between information systems has caused increase in significance of Service-Oriented Architecture which provides tools for Enterprise Application Integration. In that architecture, Enterprise Service Bus provides technical possibilities of communication between IT systems. A key element in the communication are integration flows. Objective: The aim of this article is to present a new transformation Integration2BPEL, which automates the development of executable integration flow expressed in the Web Services Business Process Execution Language (WS-BPEL) based on the model of the integration flow presented in the Unified Modelling Language (UML) activity diagram. Method: The author proposes a transformation of the type of model-to-code type which generates integration flow expressed in WS-BPEL, which can be executed in any BPEL-compliant process engine. The integration flow is modelled using UML activity diagram with stereotypes from ‘UML Profile for Integration Flows’ profile in an IBM Rational Software Architect (RSA). Using Integration2BPEL transformation a complete, executable integration flow is generated, which is composed of many mediation mechanisms. Generated integration flows have been executed on OpenESB. Results: The ability to generate a complete integration flow in BPEL, which without any additions can be run on enterprise service bus. Implementation phase of an integration flow construction was automated. Each of integration flows is implemented according to the same rules. In addition, it allows to avoid mistakes made by designers and programmers. Conclusions: Model-Driven Development is an approach that leads to the automation of the design and programming phases. Integration2BPEL transformation is a uniform mechanism to design integration flow. Potentially, it also allows to avoid implementation errors.

Źródło:

Biuletyn Wojskowej Akademii Technicznej; 2018, 67, 3; 15-45
1234-5865

Pojawia się w:

Biuletyn Wojskowej Akademii Technicznej

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 21.

Tytuł:

Doskonalenie systemu zarządzania reklamacjami producenta urządzeń fiskalnych
Improving complaints management system manufacturer of fiscal devices

Autorzy:

Milewska, E.

Powiązania:

https://bibliotekanauki.pl/articles/322843.pdf

Data publikacji:

2018

Wydawca:

Politechnika Śląska. Wydawnictwo Politechniki Śląskiej

Tematy:

obsługa zgłoszeń
BPMN
ERD
UML
application handling

Opis:

W artykule przedstawiono zagadnienie doskonalenia procesu obsługi zgłoszeń reklamacyjnych dotyczących niezgodności jakościowej urządzeń fiskalnych, wytwarzanych na potrzeby branży handlu detalicznego. Na podstawie obowiązujących przepisów opisano aspekt prawny warunków organizowania działań serwisowych dla kas rejestracyjnych w Polsce. Opracowano modele przepływu informacji wykorzystywanych w procesie obsługi klienta, prowadzonej przez autoryzowany punkt serwisowy urządzeń fiskalnych, z wykorzystaniem notacji BPMN 2.0. Opracowano również modele konceptualny i fizyczny bazy danych umożliwiającej ewidencjonowanie i obsługę zgłoszeń reklamacyjnych przez producenta urządzeń. Wdrożenie implementacji pozwoliło autorowi na wykonanie oceny skuteczności zaprojektowanego rozwiązania.
The article discusses the issue of improving handling of complaints concerning the qualitative incompatibility of fiscal devices manufactured for the retail industry. Based on the regulations in force in Poland, the legal aspect of the conditions for organizing service activities for the cash register devices is described. Models of information flow used in the customer service process by an authorized service center of fiscal equipment, developed using the BPMN 2.0 notation. Conceptuals model and structures database, to allows for the recording and application handling by the device manufacturer, have also been developed. Implementation allowed the author to evaluate the effectiveness of the designed solution.

Źródło:

Zeszyty Naukowe. Organizacja i Zarządzanie / Politechnika Śląska; 2018, 117; 321-334
1641-3466

Pojawia się w:

Zeszyty Naukowe. Organizacja i Zarządzanie / Politechnika Śląska

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 22.

Tytuł:

Concept of product complexity modeling in the development of a machine shaft

Autorzy:

Pokojski, J.
Woźnicki, Ł.

Powiązania:

https://bibliotekanauki.pl/articles/407209.pdf

Data publikacji:

2017

Wydawca:

Polska Akademia Nauk. Czytelnia Czasopism PAN

Tematy:

product complexity modeling
object oriented modeling
UML

Opis:

In the paper product and design process modeling on the basis of speed reducer is presented. The paper proposes to build the product and process models and parallel to that carry out the project activities as these models reflect the detailed structure of the projects. The most important feature of the proposed approach is its possibility to model only important parts of the models and to keep track of the development of their chronological paths. The approach may be treated as a partial CPM/MOKA model or as network-integrated CPM/MOKA models.

Źródło:

Management and Production Engineering Review; 2017, 8, 2; 91-98
2080-8208
2082-1344

Pojawia się w:

Management and Production Engineering Review

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 23.

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

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 24.

Tytuł:

Testowanie roboczych wersji specyfikacji danych tematów załączników II i III INSPIRE
Testing of draft inspire annex II and III themes data specifications

Autorzy:

Michalak, J.

Powiązania:

https://bibliotekanauki.pl/articles/345789.pdf

Data publikacji:

2012

Wydawca:

Polskie Towarzystwo Informacji Przestrzennej

Tematy:

dyrektywa INSPIRE
specyfikacja danych
model UML
schemat XSD
GML
INSPIRE directive
data specification
UML model
XSD schema

Opis:

Od czerwca do października 2011 r. - w środowiskach krajów członkowskich Unii Europejskiej zajmujących się budową infrastruktury INSPIRE - trwały prace nad testowaniem i oceną roboczych wersji specyfikacji danych dla tematów określonych w załącznikach II i III dyrektywy INSPIRE, to jest należących do drugiej i trzeciej grupy tematycznej. Zespół Konsolidacyjny INSPIRE (INSPIRE Consolidation Team) zaprosił do udziału w tych pracach (INSPIRE CT, 2011) wszystkie społeczności zainteresowane danymi przestrzennymi (SDICs) oraz instytucje uprawnione (LMOs - w Polsce są to w szczególności organy wiodące określone w ustawie o lIP). Termin zakończenia tych prac i przekazania wyników w formie raportów był wyznaczony na dzień 21 października 2011 r. Tak jak w innych krajach Unii Europejskiej, również w Polsce zakres tych prac był szeroki. Rada Infrastruktury Informacji Przestrzennej (Rada lIP), w uchwale nr 2 z dnia 11 maja 2011 r. w sprawie testowania projektów specyfikacji danych drugiej i trzeciej grupy tematycznej, zaleciła wszystkim organom wiodącym, aby zorganizowały i przeprowadziły testowanie unijnych projektów specyfikacji danych w zakresie tematów przyporządkowanych tym organom przez ustawę o lIP (Rada lIP, 2011). Na tej podstawie przeprowadzono wiele testów, analiz i ocen specyfikacji i przekazano do zespołów unijnych raporty, których zadaniem jest wniesienie wkładu do dalszych prac tematycznych zespołów roboczych (TWGs - Thematic Working Groups) nad końcowymi wersjami specyfikacji. W pracach krajowych autor pełnił rolę międzyresortowego konsultanta i koordynatora z ramienia Głównego Geodety Kraju. Wyniki wykonanych prac zostały przekazane Głównemu Geodecie Kraju w formie obszernego sprawozdania (Michalak, 2011). Przedstawione w artykule wyniki w dużym stopniu są rezultatem tamtych prac, jednak spora część tych wyników pochodzi z niezależnych działań i obserwacji autora.
The communities participating in the INSPIRE implementation, tested and evaluated the draft versions of annex II and III themes data specifications in the period of 4 months, from June to October 2011. In Poland, similarly as in other countries of the European Union, the scope of these works was broad. The Polish Council for Spatial Information Infrastructure has recommended the leading authorities to organize and carry out testing of data specifications with regard to the themes assigned to them by the Act on Spatial Information Infrastructure. Depending on the selected scope of testing and the choice of technique for separate themes, testing works were divided into different stages. The author, acting as the national consultant of these works, has thoroughly analyzed both the achieved results. This publication is a short presentation of experiences and conclusions arising from these works, which should be helpful in planning further activities connected with the implementation of the INSPIRE Directive in Poland.

Źródło:

Roczniki Geomatyki; 2012, 10, 2; 51-64
1731-5522
2449-8963

Pojawia się w:

Roczniki Geomatyki

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 25.

Tytuł:

Synteza behawioralna sterowników rekonfigurowalnych na podstawie modelu maszyny stanowej UML
Behavioural synthesis of reconfigurable controllers based on UML state machine model

Autorzy:

Bazydło, G.

Powiązania:

https://bibliotekanauki.pl/articles/154177.pdf

Data publikacji:

2009

Wydawca:

Stowarzyszenie Inżynierów i Techników Mechaników Polskich

Tematy:

UML
rekonfigurowalny sterownik
Verilog
FPGA
reconfigurable controller

Opis:

W pracy przedstawiono nową metodę projektowania sterowników logicznych realizowanych w sposób układowy w strukturach FPGA z wykorzystaniem języka Verilog. Modelem behawioralnym programu sterownika jest diagram maszyny stanowej UML 2.1.2. Formalnym modelem struktu-ralnym jest hierarchiczna sieć współpracujących ze sobą automatów cyfrowych. Wynikiem jest modularny opis modelowanego systemu w języku opisu sprzętu Verilog. Taka specyfikacja tekstowa może być następnie poddana symulacji i syntezie w zewnętrznych systemach.
The Unified Modeling Language (UML) is a language for specifying, visualizing, constructing, and documenting artifacts of software systems [9], as well as for business modelling and other non-software, for example reactive, systems [1, 8, 10]. The UML represents a collection of the best engineering practices that have proven successful in modelling large and complex systems [14]. The current version of the language is 2.1.2 [6]. One of the UML diagrams is a state machine diagram that defines a set of concepts that can be used for modelling discrete behavior through finite state transition systems. The paper presents a new design method for reconfigurable logic controllers implemented as digital circuit in Field Programmable Gate Arrays (FPGA) by means of hardware description language Verilog. The UML state machine diagram is used as an initial behavioural model [5]. It is worth mentioning that state machine diagrams support various features of the modelling systems such as hierarchy and orthogonality [12]. Figure 2 shows a state machine diagram for the exemplary model of two trolleys control process (Fig. 1) [2]. The formal structured design model is based on the hierarchical network of collaborated Finite State Machines [3, 15]. The specification in Verilog can be simulated and synthesized in professional tools, e.g. Active HDL or Xilinx ISE. To verify presented method a special CAD system UML-XML2Verilog was designed. This system allows automating the translation process from UML diagrams (described in XML) to behavioural, synthesized specification in Verilog. As for future research, the use of other diagrams from UML is going to be investigated.

Źródło:

Pomiary Automatyka Kontrola; 2009, R. 55, nr 7, 7; 508-510
0032-4140

Pojawia się w:

Pomiary Automatyka Kontrola

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 26.

Tytuł:

UML Simulation of a Topology Configuration Model

Autorzy:

Zieliński, Z.
Stasiak, A.
Dąbrowski, W.

Powiązania:

https://bibliotekanauki.pl/articles/307600.pdf

Data publikacji:

2012

Wydawca:

Instytut Łączności - Państwowy Instytut Badawczy

Tematy:

configuration topology
system modeling
UML model simulation

Opis:

The article presents the application of simulation methods for topological models to analyze and design information systems. By using UML extensions and the UAL language it is possible not only to build a topological model for software, but also to perform efficient simulations of topological models. Additionally, it is possible to take into account the restrictive conditions stored in UAL and OCL languages. To execute the simulation the authors used an simulator from IBM. These concepts and methods are illustrated by examples.

Źródło:

Journal of Telecommunications and Information Technology; 2012, 4; 46-53
1509-4553
1899-8852

Pojawia się w:

Journal of Telecommunications and Information Technology

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 27.

Tytuł:

Representation of UML Class Diagrams in OWL 2 on the Background of Domain Ontologies

Autorzy:

Sadowska, Małgorzata
Huzar, Zbigniew

Powiązania:

https://bibliotekanauki.pl/articles/384092.pdf

Data publikacji:

2019

Wydawca:

Politechnika Wrocławska. Oficyna Wydawnicza Politechniki Wrocławskiej

Tematy:

UML
OWL2
transformation rules
verification rules

Opis:

Background: UML class diagrams can be automatically validated if they are compliant with a domain knowledge specified in a selected OWL 2 domain ontology. The method requires translation of the diagrams into their OWL 2 representation. Aim: The aim of this paper is to present transformation and verification rules of UML class diagrams to their OWL 2 representation. Method: The analysis of the results of the systematic literature review on the topic of transformation rules between elements of UML class diagrams and OWL 2 constructs. The purpose of the analysis is to present the extent to which state-of-the-art transformation rules cover the semantics expressed in class diagrams. On the basis of the analysis, new transformation rules expressing the semantics not yet covered but expected from the point of view of domain modelling pragmatics have been defined. Results: The first result is the revision and extension of the transformation rules identified in the literature. The second original result is a proposition of verification rules necessary to check if a UML class diagram is compliant with the OWL 2 domain ontology. Conclusion: The proposed transformations can be used for automatic validation of compliance of UML class diagrams with respect to OWL 2 domain ontologies.

Źródło:

e-Informatica Software Engineering Journal; 2019, 13, 1; 63-103
1897-7979

Pojawia się w:

e-Informatica Software Engineering Journal

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 28.

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

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 29.

Tytuł:

Porównanie efektywności składowania modeli UML w wybranych technologiach bazodanowych
Storage efficiency comparison of UML models in selected database technologies

Autorzy:

Filatov, Andrii
Flis, Paweł
Pańczyk, Beata

Powiązania:

https://bibliotekanauki.pl/articles/98400.pdf

Data publikacji:

2019

Wydawca:

Politechnika Lubelska. Instytut Informatyki

Tematy:

UML
MongoDB
Neo4J
PostreSQL
PostgreSQL

Opis:

Artykuł odpowiada na pytanie, która baza danych jest najlepszym wyborem do efektywnego składowania danych opisujących modele UML. Wzięto pod uwagę trzy produkty: MongoDB, PostgreSQL i Neo4J. Na badanie efektywności składa się pomiar czasu odpowiedzi zapytań zapisujących oraz pobierających dane. Uwzględnia również stopień wzrostu pamięci podczas wstawiania danych oraz ocenę poziomu skomplikowania implementacji mapującej dane testowe do wykorzystania w zapytaniach do baz danych.
The study answers the question which database is the best choice for efficient data storage of UML models. Three products were considered: MongoDB, PostgreSQL and Neo4J. The effectiveness test consists of measurement the response time of queries that save and load data. This study also take into account the memory increase ratio during data insertion and the level of complexity of the implementation of the test data mappers used in database queries.

Źródło:

Journal of Computer Sciences Institute; 2019, 12; 193-198
2544-0764

Pojawia się w:

Journal of Computer Sciences Institute

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 30.

Tytuł:

The method of designing a multiaspect diagnostic model
Metoda konstruowania wieloaspektowego modelu diagnostycznego

Autorzy:

Skupnik, D.

Powiązania:

https://bibliotekanauki.pl/articles/374372.pdf

Data publikacji:

2009

Wydawca:

Politechnika Śląska. Wydawnictwo Politechniki Śląskiej

Tematy:

wieloaspektowy model diagnostyczny
UML
multiaspect diagnostic model

Opis:

The paper presents a method of designing a multiaspect diagnostic model, i.e. the model that consists of at least two submodels which are applied together. In the described method submodels are created on the basis of knowledge about a construction and an operation of a technical object by taking various aspects into consideration. UML is proposed to work out a multiaspect description of the operation of the technical object. The viewpoints (aspects) which, in the author’s opinion, should make possible a precise, unambiguous and exhaustive description of the operation of the technical object are specified and presented. It is shown how to divide a set of diagnostic signal features into subsets, which concern all identified aspects, by means of UML. The way of designing submodels treated as relation models between subsets of values of diagnostic signal features and right subsets of the considered technical states is presented. The general form of a multiaspect diagnostic model is proposed and the idea of its application is shown.
W referacie przedstawiono metodę konstruowania wieloaspektowego modelu diagnostycznego, tzn. modelu składającego się z co najmniej dwóch, stosowanych łącznie, modeli składowych. W opisywanej metodzie modele składowe tworzone są na podstawie wiedzy o działaniu obiektu z uwzględnieniem różnych aspektów. Do wieloaspektowego opisu działania obiektu technicznego zaproponowano język UML. Wyodrębniono i przedstawiono te punkty widzenia, które w przekonaniu autora powinny umożliwiać dokładne, jednoznaczne i wyczerpujące opisanie działania dowolnego obiektu technicznego. Pokazano w jaki sposób można z zastosowaniem języka UML dokonać podziału zbioru cech sygnałów diagnostycznych na odpowiednie podzbiory, które dotyczą zidentyfikowanych aspektów. Przedstawiono sposób tworzenia modeli składowych, rozumianych jako modele relacji pomiędzy podzbiorami wartości cech sygnałów diagnostycznych i odpowiednich podzbiorów rozpatrywanych stanów technicznych obiektu. Zaproponowano ogólną postać wieloaspektowego modelu diagnostycznego oraz przedstawiono idee jego zastosowania.

Źródło:

Transport Problems; 2009, T. 4, z. 3, cz.2; 51-58
1896-0596
2300-861X

Pojawia się w:

Transport Problems

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 31.

Tytuł:

Weryfikacja modelowa hierarchicznej specyfikacji sterownika logicznego
Model checking of hierarchical logic controller specification

Autorzy:

Grobelna, I.
Grobelny, M.

Powiązania:

https://bibliotekanauki.pl/articles/153829.pdf

Data publikacji:

2013

Wydawca:

Stowarzyszenie Inżynierów i Techników Mechaników Polskich

Tematy:

hierarchia
interpretowane sieci Petriego
diagramy aktywności UML
weryfikacja modelowa
hierarchy
interpreted Petri nets
UML activity diagrams
model checking

Opis:

Specyfikacja zachowania projektowanego urządzenia powinna uwzględniać wszystkie elementy behawioralne. Z uwagi na złożoność projektowanych systemów szczególnie istotną rolę odgrywa możliwość dekompozycji. Z wykorzystaniem hierarchii można podzielić specyfikację na logiczne elementy połączone ze sobą na diagramach wyższego poziomu. W artykule przedstawiono zagadnienia związane z formalną weryfikacją hierarchicznych specyfikacji sterownika logicznego wyrażonych za pomocą interpretowanych sieci Petriego oraz diagramów aktywności języka UML.
Specification of a designed logic controller should include all behavioral aspects. By complex systems design decomposition is especially valuable. Specification can be divided into parts using hierarchy. Logical elements are joined together at higher-level diagrams. The paper focuses on formal verification [1] of logic controller hierarchical specification by means of UML activity diagrams and interpreted Petri nets. Although hierarchy itself is presented in the considered specification techniques in different ways (complex activities by UML activity diagrams and macro-places/ macrotransitions by Petri nets), it is possible to use both techniques together in one project and to transform anytime one diagram into the another [5, 9, 10] (example in Figs. 1 and 2). In the transformation process, UML activity diagram actions correspond to Petri net transitions [7, 8]. Model checking [2, 3] of hierarchical specification can be performed step by step, e.g. by means of the NuSMV tool [11]. Rule-based specification (based on a Petri net) can be checked against behavioral properties [12, 13] expressed by temporal logic formulas [4]. Macroplaces can be verified separately (Fig. 3 considering local properties) and/or concurrently (Fig. 4, Fig. 5 considering mutual correlation and global properties). Next, the whole Petri net with macroplaces can be checked (Fig. 6). Sometimes it is convenient to verify a complete net (not hierarchical), like in [14]. Formal verification of specification can significantly increase its quality, and the support for hierarchy simplifies complex systems verification.

Źródło:

Pomiary Automatyka Kontrola; 2013, R. 59, nr 8, 8; 796-798
0032-4140

Pojawia się w:

Pomiary Automatyka Kontrola

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 32.

Tytuł:

RT-UML in modeling of multimedia applications
RT-UML w modelowaniu aplikacji multimedialnych

Autorzy:

Cichoń, P.

Powiązania:

https://bibliotekanauki.pl/articles/305417.pdf

Data publikacji:

2007

Wydawca:

Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie. Wydawnictwo AGH

Tematy:

aplikacja multimedialna
UML
czas rzeczywisty
modelowanie
RT-UML
synchronizacja
zdarzenia czasowe
multimedia application
real-time
modeling
timed events
synchronization

Opis:

RT-UML enables a structural and behavioral description of multimedia applications including time characteristic, however it does not offer mechanisms of a multimedia objects presentation (arrangement) expression or the time constrains expression between events. This fact illustrates RT-UML lack of expressive capabilities, especially in the context of multimedia applications modeling. The presented in the paper extension of RT-UML illustrates how multimedia objects arrangement and events synchronizations can be presented, which means new type of diagrams addition to UML (presentation diagrams) and a synchronized events set class placing into the time model of RT-UML. Moreover extensions provide an application a graphical presentation of synchronized events to sequence and activity diagrams of UML, which enables time constrains of multimedia objects and their activities expression (synchronization of time events, which occur during presentation of multimedia objects). The originality of this approach relies on the extension of RT-UML syntax and on the presentation of an original method of multimedia applications modeling, which can make the production process more formalized and thus more precise.
RT-UML umożliwia opis właściwości strukturalnych oraz behawioralnych aplikacji multimedialnych z uwzględnieniem charakterystyki czasowej, jednak nie oferuje mechanizmów wyrażania prezentacji (rozmieszczenia) obiektów multimedialnych oraz ograniczeń czasowych między zdarzeniami. Fakt ten ilustruje brak wystarczającej ekspresywności języka RT-UML, szczególnie w kontekście modelowania aplikacji multimedialnych. W artykule zaproponowano rozszerzenie RT-UML o mechanizmy opisu rozmieszczenia obiektów multimedialnych oraz synchronizacji zdarzeń. Ponadto wprowadzono nowy rodzaj diagramów od języka UML, tj. diagramy prezentacji, umożliwiające opis aranżacji obiektów multimedialnych. Zaprezentowane rozszerzenie stanowi wartość oryginalną artykułu. Opisana w artykule rozszerzona składnia RT-UML, a także przykłady jej użycia stanowią oryginalną metodę modelowania aplikacji multimedialnych, która może przyczynić się do formalizacji ich procesu wytwórczego.

Źródło:

Computer Science; 2007, 8, Spec. Ed; 11-22
1508-2806
2300-7036

Pojawia się w:

Computer Science

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 33.

Tytuł:

Extending UML Use Case Diagrams to Represent Non-Interactive Functional Requirements

Autorzy:

Iqbal, Saqib
Al-Azzoni, Issam
Allen, Gary
Khan, Hikmat Ullah

Powiązania:

https://bibliotekanauki.pl/articles/384182.pdf

Data publikacji:

2020

Wydawca:

Politechnika Wrocławska. Oficyna Wydawnicza Politechniki Wrocławskiej

Tematy:

use case
modeling
UML
requirements engineering
functional requirement

Opis:

Background: The comprehensive representation of functional requirements is a crucial activity in the analysis phase of the software development life cycle. Representation of a complete set of functional requirements helps in tracing business goals effectively throughout the development life cycle. Use case modelling is one of the most widely-used methods to represent and document functional requirements of the system. Practitioners exploit use case modelling to represent interactive functional requirements of the system while overlooking some of the non-interactive functional requirements. The non-interactive functional requirements are the ones which are performed by the system without an initiation by the user, for instance, notifying something to the user or creating an internal backup. Aim: This paper addresses the representation of non-interactive requirements along with interactive ones (use cases) in one model. This paper calls such requirements 'operation cases' and proposes a new set of graphical and textual notations to represent them. Method: The proposed notations have been applied on a case study and have also been empirically evaluated to demonstrate the effectiveness of the new notations in capturing non-interactive functional requirements. Results and Conclusion: The results of the evaluation indicate that the representation of operation cases helps in documenting a complete set of functional requirements, which ultimately results in a comprehensive translation of requirements into design.

Źródło:

e-Informatica Software Engineering Journal; 2020, 14, 1; 97-115
1897-7979

Pojawia się w:

e-Informatica Software Engineering Journal

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 34.

Tytuł:

Secured Workstation to Process the Data of Different Classification Levels

Autorzy:

Zieliński, Z.
Furtak, J.
Chudzikiewicz, J.
Stasiak, A.
Brudka, M.

Powiązania:

https://bibliotekanauki.pl/articles/309351.pdf

Data publikacji:

2012

Wydawca:

Instytut Łączności - Państwowy Instytut Badawczy

Tematy:

cryptographic protection
multilevel security
software design
UML
virtualization

Opis:

The paper presents some of the results obtained within the ongoing project related with functional requirements and design models of secure workstation for special applications (SWSA). SWSA project is directed toward the combination of the existing hardware and software virtualization with cryptography and identification technologies to ensure the security of multilevel classified data by means of some formal methods. In the paper the requirements for SWSA, its hardware and software architecture, selected security solution for data processing and utilized approach to designing secure software are presented. The novel method for secure software design employs dedicated tools to verify the confidentiality and the integrity of data using Unified Modeling Language (UML) models. In general, the UML security models are embedded in and simulated with the system architecture models, thus the security problems in SWSA can be detected early during the software design. The application of UML topology models enables also to verify the fundamental requirement for MLS systems, namely the hardware isolation of subjects from different security domains.

Źródło:

Journal of Telecommunications and Information Technology; 2012, 3; 5-12
1509-4553
1899-8852

Pojawia się w:

Journal of Telecommunications and Information Technology

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 35.

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

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 36.

Tytuł:

Obsługa wyjątków w maszynie stanowej UML realizowanej w mikrosystemach cyfrowych
Exception handling in a state machine realised as digital microsystems

Autorzy:

Bazydło, G.
Adamski, M.

Powiązania:

https://bibliotekanauki.pl/articles/154670.pdf

Data publikacji:

2010

Wydawca:

Stowarzyszenie Inżynierów i Techników Mechaników Polskich

Tematy:

UML
sterownik
mikrosystem cyfrowy
Verilog
FPGA
reconfigurable controller

Opis:

W referacie przedstawiono i przedyskutowano zagadnienia związane z modelowaniem obsługi wyjątków opierając się na metodzie syntezy behawioralnej sterowników logicznych opisanych diagramami maszyny stanowej UML. Specyfikacją końcową jest modularny opis w języku opisu sprzętu Verilog. Zwrócono uwagę na poprawne stosowanie przejść bezwarunkowych oraz wprowadzanie stanów końcowych, pseudostanów historii oraz niejawnych zdarzeń typu completion event. Metoda została poparta stosownymi przykładami.
The paper presents the design methodology and related framework for deriving Verilog descriptions from UML state machine diagrams in order to capture the behavioral hierarchy in the array structure of an embedded system. The exception handling is introduced at the top level of the graphical specification. As an intuitive example the interrupt is introduced, which illustrates a case of system failure, when the control is temporarily transferred to exceptional safe and determined behavior. The precise semantic interpretation of UML 2.2 state machine diagrams ensures, under the proposed structural design rules, that Verilog description conserves modular properties of an initial specification. The behavioral hierarchy of UML state machine is directly mapped into structural hierarchy inside the designed reconfigurable controller. The tree of properly encapsulated submachines allows independent simulation and modification of particular parts of behavioral model.

Źródło:

Pomiary Automatyka Kontrola; 2010, R. 56, nr 7, 7; 728-731
0032-4140

Pojawia się w:

Pomiary Automatyka Kontrola

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 37.

Tytuł:

Złożoność schematów aplikacyjnych UML i GML
Complexity of UML and GML application schemas

Autorzy:

Chojka, A.

Powiązania:

https://bibliotekanauki.pl/articles/346079.pdf

Data publikacji:

2014

Wydawca:

Polskie Towarzystwo Informacji Przestrzennej

Tematy:

GML
UML
schemat aplikacyjny
złożoność
application schema
complexity

Opis:

Implementacja dyrektywy INSPIRE w Polsce oraz budowa Krajowej Infrastruktury Informacji Przestrzennej, spowodowały znaczny wzrost zainteresowania udostępnianiem danych przestrzennych i związanych z nimi usług, zwłaszcza przez organy publiczne i interesariuszy prywatnych. Zaowocowało to szeregiem inicjatyw mających na celu harmonizację różnych zbiorów danych przestrzennych, a więc zapewnienie ich spójności logicznej i semantycznej. Proces harmonizacji wymaga albo opracowania nowych struktur danych albo dostosowania już istniejących struktur danych przestrzennych do wytycznych i zaleceń INSPIRE. Struktury danych zapisywane są w postaci schematów aplikacyjnych UML i GML. Błędne lub zbyt złożone zapisy struktur danych mają bezpośredni wpływ na możliwość generowania plików GML z konkretnymi danymi (obiektami), a tym samym mogą być przyczyną różnych problemów i anomalii na etapie produkcji danych. Przedmiotem badań jest dokonanie pomiaru złożoności schematów aplikacyjnych UML i GML opracowanych w Głównym Urzędzie Geodezji i Kartografii w zakresie prac związanych z implementacją dyrektywy INSPIRE w Polsce. Zakłada się także dokonanie analizy istniejących miar złożoności struktur zapisanych w języku XML Schema oraz zbadanie możliwości wykorzystania różnych narzędzi do zmierzenia złożoności struktur zapisanych w języku UML i GML (XML Schema).
Implementation of the INSPIRE Directive in Poland and construction of the National Spatial Data Infrastructure have caused a significant increase of interest in making spatial data and services available, particularly among public administration and private institutions. This entailed a series of initiatives that aim to harmonise different spatial data sets, so to ensure their logical and semantic coherence. The process of harmonisation requires either working out new data structures or adjusting existing spatial data structures to the INSPIRE guidelines and recommendations. Data structures are described with the use of UML and GML application schemas. Incorrect or too complex data structures have direct influence on the ability to generate GML data sets with concrete data (objects), and thereby can cause various problems and anomalies at the data production stage. The principal subject of this research is to measure complexity of UML and GML application schemas prepared in the Head Office of Geodesy and Cartography in Poland within the INSPIRE Directive implementation works. It is also assumed to analyse existing complexity measures of XML Schemas and to examine a possibility to use various tools to measure complexity of data structures expressed in UML and GML (XML Schema).

Źródło:

Roczniki Geomatyki; 2014, 12, 2(64); 197-204
1731-5522
2449-8963

Pojawia się w:

Roczniki Geomatyki

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 38.

Tytuł:

Przydatność języka Gello i standardu RIM do obiektowego modelowania systemów medycznych
Usability of Gello and RIM for the object-oriented modeling of medical systems

Autorzy:

Kosiuczenko, P.

Powiązania:

https://bibliotekanauki.pl/articles/305843.pdf

Data publikacji:

2009

Wydawca:

Wojskowa Akademia Techniczna im. Jarosława Dąbrowskiego

Tematy:

HL7
RIM
Gello
UML
medycyna
ścieżki kliniczne

Opis:

Współczesne systemy medyczne charakteryzują się dużą złożonością i heterogenicznością. Wymaga to ich ujednolicenia, także za pomocą standardów. Health Level 7 (HL7) jest szeroko zaakceptowanym standardem pozwalającym na wymianę danych medycznych pomiędzy różnymi instytucjami i systemami informatycznymi. Stowarzyszony z nim standard Reference Information Model (RIM) dotyczy składni i semantyki wiadomości przesyłanych pomiędzy różnymi systemami medycznymi. Tak jak diagramy klas języka UML, modele oparte o RIM wymagają uszczegółowienia. W tym celu powstał klon języka OCL zwany Gello. W tej pracy scharakteryzowane zostały wyżej wspomniane standardy oraz powiązania pomiędzy nimi. Zbadana została także ich przydatność do modelowania i projektowania systemów medycznych.
Modern-day medical systems are complex and heterogeneous. This requires their unification, also with the help of standards. Health Level 7 (HL7) is a widely accepted standard that allows data exchange between various institutions and medical systems. Reference Information Model (RIM) is an associated standard. It concerns the syntax and semantics of messages sent between different medical systems. Like in the case of UML class diagrams, models based on RIM need to be constrained. Gello is a clone of the Object Constraint Language created for this purpose. In this paper above mentioned standards and their relationships are discussed. Their suitability for modeling and design of medical systems is evaluated.

Źródło:

Biuletyn Instytutu Systemów Informatycznych; 2009, 4; 29-33
1508-4183

Pojawia się w:

Biuletyn Instytutu Systemów Informatycznych

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 39.

Tytuł:

Languages of process modeling

Autorzy:

Pawlewski, P.
Hoffa, P.

Powiązania:

https://bibliotekanauki.pl/articles/409260.pdf

Data publikacji:

2014

Wydawca:

Politechnika Poznańska. Wydawnictwo Politechniki Poznańskiej

Tematy:

Languages of process modeling
IDEF0
UML
BPMN

Opis:

The article discusses issues related with process modeling. Process modeling is supposed to help to describe, analyze and document processes within the discussed organization. Processes can be modeled with use various tools, some as simple as a sheet of paper and a pen, some sophisticated as specialized notations. It is crucial that the selected method (language) of modeling is under-standable to all people participating in the process. Currently, there are over 70 modeling languages in use. The choice of a modeling language depends on peculiarity of a process as well as the deter-mined objective. The present work provides a list of the most commonly used languages and a des-cription of some of them (e.g. BPMN notation, SwimLane method, UML).

Źródło:

Research in Logistics & Production; 2014, 4, 3; 221-229
2083-4942
2083-4950

Pojawia się w:

Research in Logistics & Production

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 40.

Tytuł:

Znaczenie narzędzi wirtualizacji procedur cywilnych w opisywaniu procesów prawnych

Autorzy:

Chomiak-Orsa, Iwona
Greńczuk, Andrzej

Powiązania:

https://bibliotekanauki.pl/articles/431988.pdf

Data publikacji:

2017

Wydawca:

Wydawnictwo Uniwersytetu Ekonomicznego we Wrocławiu

Tematy:

postępowanie cywilne
procedura
wizualizacja
narzędzia wizualizacji
BPMN
UML

Opis:

Celem artykułu jest wstępna analiza możliwości wykorzystania narzędzi wizualizacji procesów prawnych na potrzeby lepszego zobrazowania przepływów zachodzących w systemie prawnym. Artykuł przedstawia problematykę postępowania cywilnego z perspektywy procedur prawnych, które powinny być w pełni ustrukturyzowane oraz ustandaryzowane. Ponieważ realizacja procedur cywilnych dotyczy interesariuszy, dla których niejednokrotnie zrozumienie kolejnych etapów postępowania jest trudne, autorzy wskazują na możliwość zastosowania narzędzi wizualizacji procesów, która może znacznie wspomóc przeciętnego obywatela w zrozumieniu procedur cywilnych, których jest wykonawcą. Autorzy wskazują na szerokie spektrum procedur wchodzących w skład postępowania cywilnego, a na tym tle omawiają narzędzia wizualizacji mogące być wykorzystane do zwiększenia zrozumiałości tych procedur przez interesariuszy, a co się z tym wiąże – poprawy jakości ich wykonania

Źródło:

Informatyka Ekonomiczna; 2017, 1(43); 21-34
1507-3858

Pojawia się w:

Informatyka Ekonomiczna

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 41.

Tytuł:

Dependences in the pillar 'Earth's gravity field' of GGOS - description using UML notation

Autorzy:

Paśnicka, M.
Szafranek, K.
Zwirowicz-Rutkowska, A.

Powiązania:

https://bibliotekanauki.pl/articles/224516.pdf

Data publikacji:

2012

Wydawca:

Politechnika Warszawska. Wydział Geodezji i Kartografii

Tematy:

Earth's gravity field
UML
GGOS
pole grawitacyjne Ziemi

Opis:

Earth’s gravity field is one of three pillars of the Global Geodetic Observing System (GGOS). Gravity measurements are made using both classical methods by the means of ground measurement facilities (relative and absolute gravimetry) and methods based on the satellite techniques (SLR, missions CHAMP, GRACE, GOCE) or airborne gravimetry. The main objective of this GGOS pillar is to determine geoid’s shape, Earth’s static gravitational potential and temporal variations induced by solid Earth processes and mass transport in the global water cycle. The paper presents relationships between the main classes of diagrams of the Earth’s gravity field described using UML (Unified Modelling Language). Such description can be helpful in the analysis of the gravitational field pillar linkages with other pillars of GGOS. The main purpose of this paper is to give the full explanation of connections between all Earth’s gravity field GGOS components. Key words: Earth’s gravity field, UML, GGOS.

Źródło:

Reports on Geodesy; 2012, z. 1/92; 135-142
0867-3179

Pojawia się w:

Reports on Geodesy

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 42.

Tytuł:

Partial Reconfiguration in the Field of Logic Controllers Design

Autorzy:

Doligalski, M.
Bukowiec, A.

Powiązania:

https://bibliotekanauki.pl/articles/227174.pdf

Data publikacji:

2013

Wydawca:

Polska Akademia Nauk. Czytelnia Czasopism PAN

Tematy:

HCfgPN
UML state machine diagram
Verilog
logic controller

Opis:

The paper presents method for logic controllers multi context implementation by means of partial reconfiguration. The UML state machine diagram specifies the behaviour of the logic controller. Multi context functionality is specified at the specification level as variants of the composite state. Each composite state, both orthogonal or compositional, describes specific functional requirement of the control process. The functional decomposition provided by composite states is required by the dynamic partial reconfiguration flow. The state machines specified by UML state machine diagrams are transformed into hierarchical configurable Petri nets (HCfgPN). HCfgPN are a Petri nets variant with the direct support of the exceptions handling mechanism. The paper presents placesoriented method for HCfgPN description in Verilog language. In the paper proposed methodology was illustrated by means of simple industrial control process.

Źródło:

International Journal of Electronics and Telecommunications; 2013, 59, 4; 351-356
2300-1933

Pojawia się w:

International Journal of Electronics and Telecommunications

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 43.

Tytuł:

Niejednoznaczność transformacji UML-GML
UML-GML transformation ambiguity

Autorzy:

Chojka, A.

Powiązania:

https://bibliotekanauki.pl/articles/346431.pdf

Data publikacji:

2013

Wydawca:

Polskie Towarzystwo Informacji Przestrzennej

Tematy:

UML
GML
kodowanie
niejednoznaczność
anomalia
encoding
ambiguity
anomaly

Opis:

Uchwalenie w Polsce ustawy o infrastrukturze informacji przestrzennej, która jest transpozycją Dyrektywy INSPIRE spowodowało konieczność nowelizacji wielu ustaw i przepisów prawnych, w tym ustawy prawo geodezyjne i kartograficzne. Postanowiono zastąpić instrukcje i wytyczne rozporządzeniami Rady Ministrów lub odpowiedniego ministra, które z jednej strony stanowią załączniki do ustawy prawo geodezyjne i kartograficzne, a z drugiej strony wprowadzają w życie niektóre zalecenia Dyrektywy INSPIRE. Integralną częścią opracowywanych w Głównym Urzędzie Geodezji i Kartografii rozporządzeń są schematy aplikacyjne UML oraz GML, które definiują strukturę informacyjną baz danych, odpowiednich dla danego rozporządzenia. Jednak, mimo iż schematy te zostały przygotowane zgodnie z normami ISO serii 19100 w dziedzinie informacji geograficznej, w trakcie ich tworzenia napotkano wiele problemów technicznych związanych z transformacją UML-GML. W artykule, na przykładzie schematów aplikacyjnych UML i GML opracowanych w ramach prac GUGiK związanych z implementacją postanowień Dyrektywy INSPIRE, omówiono niejednoznaczności związane z przekształcaniem UML na GML oraz związane z tym błędy i anomalia. Rozważono również, jak zaradzić tego typu niejednoznacznościom, jak zapewnić jedną drogę przekształcania schematu aplikacyjnego UML na odpowiadający mu schemat aplikacyjny GML.
Passing the “Spatial Information Infrastructure Law” in Poland, that is a transposition of the INSPIRE Directive, involved the necessity of many secondary acts and corresponding changes in other Laws, among others the “Geodetic and Cartographic Law”. Decision was made to replace the existing instructions and guidelines by regulations of the Council of Ministers or relevant minister that, on the one hand, become annexes to the “Geodetic and Cartographic Law” and, on the other hand, implement the recommendations of the INSPIRE Directive. An integral part of these regulations elaborated in the Head Office of Geodesy and Cartography in Poland are the UML and GML application schemas that define information structures of databases, corresponding to each regulation. Although these schemas were worked out according to the ISO 19100 series of International Standards in the Geographic Information (Geoinformation/Geomatics) domain, many technical problems connected with UML-GML transformation were identified during their preparation. In this paper, on examples of UML and GML application schemas prepared in the Head Office of Geodesy and Cartography in Poland within the INSPIRE Directive implementation works, some ambiguities concerning UML to GML transformation were discussed as well as some errors and anomalies connected with this issues. Questions how to resolve this ambiguity and how to ensure single way in changing UML application schema into corresponding GML application schema were also considered.

Źródło:

Roczniki Geomatyki; 2013, 11, 1(58); 21-32
1731-5522
2449-8963

Pojawia się w:

Roczniki Geomatyki

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 44.

Tytuł:

Weryfikowanie specyfikacji wymagań sterownika logicznego za pomocą diagramów aktywności UML, logiki temporalnej LTL i środowiska NuSMV
Verification of logic controller requirements specification by means of UML activity diagrams, LTL temporal logic and NuSMV tool

Autorzy:

Grobelna, I.
Grobelny, M.

Powiązania:

https://bibliotekanauki.pl/articles/277589.pdf

Data publikacji:

2013

Wydawca:

Sieć Badawcza Łukasiewicz - Przemysłowy Instytut Automatyki i Pomiarów

Tematy:

diagramy aktywności UML
specyfikacja
model logiczny
weryfikacja modelowa
logika temporalna
UML activity diagrams
specification
logical model
model checking
temporal logic

Opis:

W artykule przedstawiono ideę zastosowania diagramów aktywności UML do specyfikacji wymagań dotyczących zachowania sterownika logicznego. Lista wymagań podlegających weryfikacji zwykle definiowana jest bezpośrednio za pomocą formuł logiki temporalnej. Użycie przyjaznych dla użytkownika, powszechnie znanych i wykorzystywanych diagramów pozwala na prostsze i bardziej intuicyjne zapisanie wymagań. Diagramy są następnie formalnie przekształcane do formuł liniowej logiki temporalnej (LTL).
The article introduces an idea to use UML activity diagrams [1-5] for specification of requirements regarding logic controller behavior. Requirements list to be verified [14] (using model checking technique [6, 7]) is usually directly defined using temporal logic formulas [12, 15]. Using user-friendly, commonly known and practiced diagrams allows to easier and more intuitively write down the requirements easier and more intuitively. Activity diagrams are then formally transformed into linear temporal logic (LTL) formulas. In this paper some sample UML activity diagrams which specify global properties are presented, together with their interpretation using LTL logic. To perform model checking process, model description (based i.e. on a control interpreted Petri net [8] or indirectly on an UML activity diagram [11]), and requirements list are needed. Afterwards it is checked, whether defined properties are satisfied in specified model description. If a requirement cannot be fulfilled, appropriate counterexample is generated allowing to localize error source. The article is structured as follows. Section 1 is an introduction. Background of a logic controller specification and its verification is presented in section 2. A novel approach to logic controller requirements definition using activity diagrams is shown in section 3. The paper ends with a short summary.

Źródło:

Pomiary Automatyka Robotyka; 2013, 17, 10; 188-192
1427-9126

Pojawia się w:

Pomiary Automatyka Robotyka

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 45.

Tytuł:

Krajobraz jako nośnik danych przestrzennych. Próba zastosowania Dyrektywy INSPIRE do zapisów polityki krajobrazowej Polski
Landscape as a carrier of spatial data. Attempts to apply INSPIRE Directive in provisions of Poland’s landscape policy

Autorzy:

Salata, T.
Myga-Piątek, U.

Powiązania:

https://bibliotekanauki.pl/articles/87568.pdf

Data publikacji:

2015

Wydawca:

Polskie Towarzystwo Geograficzne

Tematy:

polityka przestrzenna
polityka krajobrazowa
dyrektywa INSPIRE
dane przestrzenne
notacja UML
landscape policy
spatial policy
Inspire directive
spatial data
UML notation

Opis:

Celem artykułu jest omówienie zasad współczesnej polityki krajobrazowej, jako podsystemu polityki przestrzennej Polski i Unii Europejskiej. Informatyzacja przestrzeni przez powszechność stosowania narzędzi GIS staje się faktem. Zapis zjawisk i procesów zachodzących w krajobrazie przełożonych na sformalizowany język matematyczno-informatyczny budzi obawy, co do kompletności i spójności treści i procesów krajobrazowych w modelu. Artykuł prezentuje zasady konstruowania i modelowania danych krajobrazowych w nawiązaniu do Dyrektywy INSPIRE. Autorzy podjęli próbę identyfikacji metod zapisu elementów przestrzeni ujmowanych w metodyce analizy i oceny krajobrazu. Wykorzystano do tego zapisy zmieniających się polskich aktów prawnych i standardów technicznych, będących wynikiem wdrażania dyrektyw unijnych. Wykonano próbę zapisu wybranych elementów krajobrazu za pomocą notacji UML, pokazującą znaczną rozpiętość tematyczną poruszanych zagadnień i sposobów ich interpretacji.
The aim of the article is to discuss the rules of modern landscape Policy as a subsystem of the spatial policy of Poland and the European Union. Informatization of space through use of GIS tools has become an undoubted fact. Records of phenomena and processes occurring in the landscape, translated to a formalized mathematical-technological language, raise fears regarding completeness and coherence of landscape contents and processes in database model. The article presents rules for construction and modelling of landscape data with reference to the INSPIRE Directive. The authors have taken up an attempt to identify methods of recording for spatial elements considered in the methodology of landscape analysis and evaluation. To achieve this, they used provisions of changing Polish legal acts and technical standards resulting from implementation of the European Union’s directives. The authors made an attempt to record chosen landscape elements using the UML notation, which showed a wide theme range of issues to be discussed and possible ways to interpret them.

Źródło:

Prace Komisji Krajobrazu Kulturowego; 2015, 30; 71-86
1896-1460
2391-5293

Pojawia się w:

Prace Komisji Krajobrazu Kulturowego

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 46.

Tytuł:

Transformation of UML 2.x activity diagrams into control interpreted Petri nets in hardware behavioural modelling
Transformacja diagramów aktywności UML 2.x do interpretowanych sieci Petriego sterowania w specyfikacji behawioralnej sprzętu

Autorzy:

Grobelny, M.

Powiązania:

https://bibliotekanauki.pl/articles/159311.pdf

Data publikacji:

2011

Wydawca:

Sieć Badawcza Łukasiewicz - Instytut Elektrotechniki

Tematy:

sieci Petriego
diagramy aktywności UML
transformacja
sterowanie
specyfikacja behawioralna sprzętu
Petri nets
UML activity diagrams
transformation
control process
hardware behavioural modelling

Opis:

Behavioural specification is one of the most important steps in embedded systems design. This phase play a key role cause in this step the shape and behaviour of the final product is established. The process can be realized with use of various technologies and tools supporting the phase. Two of the technologies supporting behavioural modelling are UML activity diagrams and Petri nets. The paper presents transformation of UML activity diagrams into control interpreted Petri nets. Transformation is targeted for project in which both technologies are used in parallel. The system described in the paper is realized as a bridge between mentioned modelling technologies fully supporting automation of the transformation process. Moreover, the system enables use of additional techniques such as formal verification or hardware description language code generation.
Specyfikacja zachowania systemu jest jednym z kluczowych elementów procesu projektowania sterowników logicznych. Etap ten odrywa ważną rolę ze względu na fakt definiowania kształtu i sposobu zachowania docelowego produktu. Może ona zostać wykonana na wiele sposobów z wykorzystaniem różnych narzędzi wspomagających ten proces. Jednymi z technologii, w których istnieje możliwość opisu zachowania docelowego urządzenia, są diagramy aktywności języka UML i sieci Petriego. Artykuł przedstawia koncepcję transformacji pomiędzy diagramami aktywności języka UML a interpretowanymi sieciami Petriego sterowania. Transformacja dedykowana jest dla projektów, w których inżynierowie wykorzystuję obie wspomniane technologie. Dodatkowo omówiony w artykule system do transformacji ma na celu stworzenie mostu pomiędzy obiema technologiami w pełni automatyzując proces przemieszczania się pomiędzy nimi. Umożliwia on także wykorzystanie dodatkowych narzędzi wspomagających proces projektowania, takich jak formalna weryfikacji czy generowanie kodu w językach opisu sprzętu.

Źródło:

Prace Instytutu Elektrotechniki; 2011, 251; 87-95
0032-6216

Pojawia się w:

Prace Instytutu Elektrotechniki

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 47.

Tytuł:

Computer Aided Design of Mechatronic Systems

Autorzy:

Mrozek, Z.

Powiązania:

https://bibliotekanauki.pl/articles/908187.pdf

Data publikacji:

2003

Wydawca:

Uniwersytet Zielonogórski. Oficyna Wydawnicza

Tematy:

mechatronika
mechatronics
UML
physical modelling
Modelica
Dymola
Simulink
Stateflow

Opis:

Any successful company must react quickly to changing trends in the market. New products should be designed and manufactured quicker and cheaper than counter partners do. A shorter design time provides a distinct competitive advantage. The paper describes two approaches towards designing interdisciplinary mechatronic systems: the first is visual modelling with the UML, the second is physical modelling with Modelica.

Źródło:

International Journal of Applied Mathematics and Computer Science; 2003, 13, 2; 255-267
1641-876X
2083-8492

Pojawia się w:

International Journal of Applied Mathematics and Computer Science

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 48.

Tytuł:

Extracting class diagram from hidden dependencies in data set

Autorzy:

Hnatkowska, Bogumiła
Huzar, Zbigniew
Tuzinkiewicz, Lech

Powiązania:

https://bibliotekanauki.pl/articles/1839287.pdf

Data publikacji:

2020

Wydawca:

Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie. Wydawnictwo AGH

Tematy:

conceptual model
class diagram
UML
data retrieval
raw data

Opis:

A conceptual model is a high-level, graphical representation of a specic domain, presenting its key concepts and relationships between them. In particular, these dependencies can be inferred from concepts' instances being a part of big raw data les. The paper aims to propose a method for constructing a conceptual model from data frames encompassed in data les. The result is presented in the form of a class diagram. The method is explained with several examples and veried by a case study in which the real data sets are processed. It can also be applied for checking the quality of the data set.

Źródło:

Computer Science; 2020, 21 (2); 197-223
1508-2806
2300-7036

Pojawia się w:

Computer Science

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 49.

Tytuł:

Struktura i wymagania normy PN-EN ISO 14001:2015-09 P jako baza do określania elementów zunifikowanego języka modelowania UML

Autorzy:

Chomczyk, Michał Adam
Chomczyk, Zbigniew

Powiązania:

https://bibliotekanauki.pl/articles/1819711.pdf

Data publikacji:

2019-05-12

Wydawca:

Uniwersytet Przyrodniczo-Humanistyczny w Siedlcach

Tematy:

system zarządzania środowiskowego
język modelowania UML
pakiet
klasa
obiekt

Opis:

Niniejsza publikacja przedstawia wymagania nowej normy PN-EN ISO 14001:2015-09 P –„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łównyelement publikacji obejmuje zatem przedstawienie przykładowych elementów normy PN-EN ISO14001:2015-09 P jako części języka modelowania UML, tj. pakietów, klas, obiektów i w konsekwencjidiagramów języka projektowania.

Źródło:

Zeszyty Naukowe Uniwersytetu Przyrodniczo-Humanistycznego w Siedlcach; 2017, 41, 114; 251-262
2082-5501

Pojawia się w:

Zeszyty Naukowe Uniwersytetu Przyrodniczo-Humanistycznego w Siedlcach

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 50.

Tytuł:

Automatic SUMO to UML translation

Autorzy:

Hnatkowska, B.

Powiązania:

https://bibliotekanauki.pl/articles/384143.pdf

Data publikacji:

2016

Wydawca:

Politechnika Wrocławska. Oficyna Wydawnicza Politechniki Wrocławskiej

Tematy:

SUMO ontology
information retrieving
domain model
UML
class diagram

Opis:

Existing ontologies are a valuable source of domain knowledge. That knowledge could be extracted and reused to create domain models. The extraction process can be aided by tools that enable browsing ontology, marking interesting notions and automatic conversion of selected elements to other notations. The paper presents a tool that can be used for SUMO to UML translation. Such transformation is feasible and results in a high-quality domain model, which is consistent, correct, and complete providing that input ontology has the same features.

Źródło:

e-Informatica Software Engineering Journal; 2016, 10, 1; 51-67
1897-7979

Pojawia się w:

e-Informatica Software Engineering Journal

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 51.

Tytuł:

Fixing Design Inconsistencies of Polymorphic Methods Using Swarm Intelligence

Autorzy:

George, Renu
Samuel, Philip

Powiązania:

https://bibliotekanauki.pl/articles/1818478.pdf

Data publikacji:

2021

Wydawca:

Politechnika Wrocławska. Oficyna Wydawnicza Politechniki Wrocławskiej

Tematy:

UML models
software design inconsistency
polymorphism
particle swarm optimization

Opis:

Background: Modern industry is heavily dependent on software. The complexity of designing and developing software is a serious engineering issue. With the growing size of software systems and increase in complexity, inconsistencies arise in software design and intelligent techniques are required to detect and fix inconsistencies. Aim: Current industrial practice of manually detecting inconsistencies is time consuming, error prone and incomplete. Inconsistencies arising as a result of polymorphic object interactions are hard to trace. We propose an approach to detect and fix inconsistencies in polymorphic method invocations in sequence models. Method: A novel intelligent approach based on self regulating particle swarm optimization to solve the inconsistency during software system design is presented. Inconsistency handling is modelled as an optimization problem that uses a maximizing fitness function. The proposed approach also identifies the changes required in the design diagrams to fix the inconsistencies. Result: The method is evaluated on different software design models involving static and dynamic polymorphism and inconsistencies are detected and resolved. Conclusion: Ensuring consistency of design is highly essential to develop quality software and solves a major design issue for practitioners. In addition, our approach helps to reduce the time and cost of developing software.

Źródło:

e-Informatica Software Engineering Journal; 2021, 15, 1; 7--27
1897-7979

Pojawia się w:

e-Informatica Software Engineering Journal

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 52.

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

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 53.

Tytuł:

Obiektowe podejście w modelowaniu procesów pomiarowych w badaniach pojazdów szynowych
The object approach in modelling the measuring processes in tests of rail vehicles

Autorzy:

Barczak, Arkadiusz

Powiązania:

https://bibliotekanauki.pl/articles/34611362.pdf

Data publikacji:

2005

Wydawca:

Sieć Badawcza Łukasiewicz - Poznański Instytut Technologiczny

Tematy:

procesy pomiarowe
pojazdy szynowe
formalizmy
diagramy UML
model obiektowy

Opis:

W artykule przedstawiono zastosowanie wybranych formalizmów w modelowaniu procesów pomiarowych. Przedstawiono diagramy UML dla przykładowych elementów modelu procesu pomiarowego. Podkreślono korzyści wynikające z zastosowania modelu obiektowego.
The application of chosen formalisms in modelling the measuring processes is presented in this article. UML diagrams for the exemplary elements of the model of measuring process are presented. The benefits resulting from application the object model are emphasized.

Źródło:

Rail Vehicles/Pojazdy Szynowe; 2005, 4; 31-39
0138-0370
2719-9630

Pojawia się w:

Rail Vehicles/Pojazdy Szynowe

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 54.

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

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 55.

Tytuł:

Petri nets and activity diagrams in logic controller specification – transformation and verification
Sieci petriego i diagramy aktywności w specyfikacji sterowników logicznych – transformacja i weryfikacja

Autorzy:

Grobelna, I.
Grobelny, M.
Adamski, M.

Powiązania:

https://bibliotekanauki.pl/articles/389795.pdf

Data publikacji:

2010

Wydawca:

Politechnika Bydgoska im. Jana i Jędrzeja Śniadeckich. Wydawnictwo PB

Tematy:

formal verification
logic controller
model checking
Petri nets
UML Activity
Diagrams
formalna weryfikacja
sterownik logiczny
weryfikacja modelowa
sieci Petriego
diagramy aktywności UML

Opis:

The paper presents formal verification method of logic controller specification taking into account user-specified properties. Logic controller specification may be expressed as Petri net or UML 2.0 Activity Diagram. Activity Diagrams seem to be more user-friendly and easy-understanding that Petri nets. Specification in form of activity diagram may afterwards be transformed into Petri net, which may then be formally verified and used to automatically generate implementation (code). A new transformation method dedicated for event-driven systems is proposed. Verification process is executed automatically by the NuSMV model checker tool. Model description based on specification and properties list is being built. Model description derived from Petri net is presented in RTL-level and easy to synthesize as reconfigurable logic controller or PLC. Properties are defined using temporal logic. In model checking process, verification tool checks whether requirements are satisfied in attached system model. If this is not the case, appropriate counterexamples are generated.
Praca prezentuje metodę formalnej weryfikacji specyfikacji sterownika logicznego uwzględniającą właściwości podane przez użytkownika. Specyfikacja sterownika logicznego może być przedstawiona m.in. w postaci sieci Petriego lub diagramu aktywności języka UML. Diagramy aktywności wydają się być bardziej przyjazne i zrozumiałe dla użytkownika niż sieci Petriego. Specyfikacja w postaci diagramu aktywności może zostać przekształcona do sieci Petriego, która następnie może być formalnie zweryfikowana i wykorzystana do automatycznej generacji implementacji (kodu). Węzły diagramu aktywności konsekwentnie interpretowane są jako tranzycje sieci Petriego, w odróżnieniu od klasycznego podejścia (w starszych wersjach UML) gdzie odwzorowywało się je jako miejsca sieci Petriego. Proces weryfikacji wykonywany jest automatycznie przez narzędzia weryfikacji modelowej. Tworzony jest opis modelu bazujący na specyfikacji oraz lista wymagań. Nowatorskim podejściem jest przedstawienie sieci Petriego na poziomie RTL w taki sposób, że łatwo jest przeprowadzić syntezę logiczną sieci w postaci współbieżnego rekonfigurowalnego sterownika logicznego lub sterownika PLC bez konieczności przekształcania modelu. Wymagania określone są przy użyciu logiki temporalnej. W procesie weryfikacji modelowej narzędzie weryfikujące NuSMV sprawdza, czy model systemu spełnia stawiane mu wymagania. Jeżeli tak nie jest, generowany jest odpowiedni kontrprzykład.

Źródło:

Zeszyty Naukowe. Telekomunikacja i Elektronika / Uniwersytet Technologiczno-Przyrodniczy w Bydgoszczy; 2010, 13; 79-91
1899-0088

Pojawia się w:

Zeszyty Naukowe. Telekomunikacja i Elektronika / Uniwersytet Technologiczno-Przyrodniczy w Bydgoszczy

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 56.

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

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 57.

Tytuł:

Korelacja schematu aplikacyjnego z rozporządzenia fotogrametrycznego ze specyfikacjami danych INSPIRE
Correlation of the application schema from the „photogrammetric” regulation with INSPIRE data specifications

Autorzy:

Parzyński, Z.

Powiązania:

https://bibliotekanauki.pl/articles/131072.pdf

Data publikacji:

2012

Wydawca:

Stowarzyszenie Geodetów Polskich

Tematy:

model UML dla FOTO
specyfikacje danych INSPIRE
dyrektywa INSPIRE
rozporządzenie fotogrametryczne
UML model for the PHOTO
INSPIRE data specification
INSPIRE directive
photogrammetric regulation

Opis:

Uchwalona w 2007 r. Dyrektywa INSPIRE ma na celu doprowadzić do interoperacyjności zbiory i usługi danych przestrzennych w krajach członkowskich Unii Europejskiej. Do osiągnięcia zamierzonego celu niezbędne jest przeprowadzenie szeregu zmian prawnych, organizacyjnych, technicznych w poszczególnych krajach. Jednym z wymagań należących do sfery technicznej jest dostosowanie infrastruktury danych, które będą udostępnianie do opracowanych specyfikacji danych. Specyfikacje danych są lub zostaną opublikowane dla każdego tematu danych, które zostały określone w załącznikach do Dyrektywy INSPIRE. „Fotogrametrycznymi” specyfikacjami są dwie specyfikacje z załącznika 2: ukształtowanie terenu (Elevation) oraz sporządzanie ortoobrazów (OrtoImagery). W rozporządzeniu Ministra Spraw Wewnętrznych i Administracji z dn. 3 listopada 2011 r. w sprawie baz danych dotyczących zobrazowań lotniczych i satelitarnych oraz ortofotomapy i numerycznego terenu (Rozporządzenie, 2011) schemat aplikacyjny UML składa się5 modeli (NMT - Numeryczny Model Terenu, Ortofoto, Zobrazowania oraz dwóch modeli pomocniczych). Specyfikacje danych tematów z załącznika 2 nie są jeszcze ostateczne, ale nie należy przypuszczać, że przy dalszych pracach mogą wystąpić jakieś rewolucyjne zmiany. W GUGiK została podjęta decyzja, że w pierwszym kroku dostosowywania polskich infrastruktur do wymogów Dyrektywy INSPIRE będzie opracowanie i uchwalenie rozporządzeń, w skład których będą wchodzić zharmonizowane i zintegrowane z normami ISO serii 19100 schematy aplikacyjne UML i GML. Celem artykułu jest wykonanie analizy porównawczej schematów aplikacyjnych ze specyfikacji danych INSPIRE oraz z rozporządzenia „fotogrametrycznego”. Jest to o tyle istotne, że dane udostępniane w ramach Dyrektywy INSPIRE powinny być zgodne, co do struktury ze specyfikacjami danych.
The INSPIRE Directive, which was passed in2007, has the goal of making possible the interoperability of the sets and services of spatial data in the European Union's member states. Conducting the sequence of legal, organizational, technical changes in individual countries is essential for achieving its planned purpose. One of the requirements for being included in a technical sphere is an adaptation of the data's infrastructure for disclosing data in the specifications which have been drawn up. Specifications of data are, or will be, published for every subject of data which have been described in enclosures to the INSPIRE Directive. Two specifications are „photogrammetric” specifications from attachment #2: Elevationand OrtoImagery. In the Polish regulation, the UML application schema consists of 5 models (DTM, Ortophoto, Picture and two support models). Specifications of given subjects from attachment #2 have not yet been finalized, but we can expect that no revolutionary changes will be made. A decision had been taken in the Polish Head Office of Geodesy and Cartography, as a first step, will adapt „Polish” infrastructures to the requirements of the INSPIRE Directive. This will mean drawing up and enacting future regulations which will access and apply the UML schemas which have been harmonized and integrated with ISO standards of the 19100 series and GML. The purpose of this article is to make a comparative analysis of application schemas of the INSPIRE data specification and from the „photogrammetric” regulation. Given the INSPIRE Directives which have been available, it is essential that the datashould agree with specifications given for the structures.

Źródło:

Archiwum Fotogrametrii, Kartografii i Teledetekcji; 2012, 24; 257-266
2083-2214
2391-9477

Pojawia się w:

Archiwum Fotogrametrii, Kartografii i Teledetekcji

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 58.

Tytuł:

Adaptacja technologii MDA do budowy systemu geoinformacyjnego na poziomie gminy
The adaptation of the MDA technology to build the geoinformation system at the commune level

Autorzy:

Chojka, A.

Powiązania:

https://bibliotekanauki.pl/articles/130948.pdf

Data publikacji:

2009

Wydawca:

Stowarzyszenie Geodetów Polskich

Tematy:

GIS
gmina
INSPIRE
MDA
system geoinformacyjny
UML
commune
geoinformation system

Opis:

Przedmiotem badań była adaptacja nowoczesnej technologii wytwarzania systemów informatycznych – MDA (ang. Model Driven Architecture) do budowy systemu geoinformacyjnego (GIS, ang. Geographical Information System) na poziomie gminy. Technologia ta, opracowana przez OMG (ang. Object Management Group), jest standardem stosowanym do budowy infrastruktur danych przestrzennych. Wykorzystując technologię MDA zbudowano dedykowany system geoinformacyjny – przeznaczony dla gminy i rzeczoznawcy majątkowego, którego zadaniem jest wspomaganie podejmowania decyzji przestrzennych w gminie na przykładzie opracowania miejscowego planu zagospodarowania przestrzennego (w tym prognozy skutków finansowych uchwalenia planu miejscowego). Zadaniem zaprojektowanego systemu jest również usprawnienie komunikacji (wymiany danych i informacji) między gminą a jej partnerami (np. rzeczoznawcą majątkowym) oraz między gminą a jej mieszkańcami. Zbudowany GIS przetestowano na przypadku studialnym – na danych dla gminy Ujazd. Wykonano przy tym szereg analiz przestrzennych, w tym analiz wielokryterialnych. Zaprojektowano także przykładowe usługi geoinformacyjne (ang. GIServices) m.in. w zakresie: prezentacji, pobierania i wizualizacji danych przestrzennych. Opracowanie i realizacja systemu geoinformacyjnego na poziomie gminy pozwoliły stwierdzić, iż technologia zastosowana do budowy GIS może być wykorzystana przez każdą gminę w Polsce do stworzenia własnego systemu geoinformacyjnego dla stosownego zakresu przedmiotowego odpowiadającego potrzebom gminy i oczekiwaniom użytkowników.
The subject of research was the adaptation of modern software development technology – the MDA (Model Driven Architecture) to build GIS (Geographical Information System) at the commune level. This technology, worked out by the OMG (Object Management Group), is a standard applied to build Spatial Data Infrastructures. Using the MDA technology, the dedicated GIS was created. The system is designed for the commune administration and for the property valuers to support spatial decision-making processes in the commune, especially in designing the local area development plan, including its economic effects. The goal of the designed system is also an improvement of information flow between the commune and its partners (e.g. property valuers), and between the commune and its residents. The built GIS was tested on the case study – the commune of Ujazd. A number of spatial and multicriteria analyses were carried out, and also exemplary GIServices were designed for, among other things, presenting, receiving and visualizing of spatial data. The design and implementation of the geoinformation system at the commune level led to a conclusion that technology applied to build that GIS can be implemented by any commune in Poland to build a system according to its own requirements and needs.

Źródło:

Archiwum Fotogrametrii, Kartografii i Teledetekcji; 2009, 19; 47-57
2083-2214
2391-9477

Pojawia się w:

Archiwum Fotogrametrii, Kartografii i Teledetekcji

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 59.

Tytuł:

Business process modeling and analysis system
Modelowanie procesów biznesowych i analiza systemowa

Autorzy:

Milewska, E.

Powiązania:

https://bibliotekanauki.pl/articles/359365.pdf

Data publikacji:

2010

Wydawca:

Akademia Morska w Szczecinie. Wydawnictwo AMSz

Tematy:

BPMN
UML
model przedsiębiorstwa
system informatyczny
business model
information system

Opis:

The paper is characterized by efforts to create a business model of enterprise software and technical documentation. The author points out that the overriding factor is to identify actions to modeling, which defines the scope of the project. In mapping the organization and construction of scenarios of business processes is of paramount importance dictionary of phrases and descriptions of domain rules of correctness for the recording and processing. The author describes the key process models, partial (procedures) and elementary (the workflow map.) This indicates the suitability of BPMN and UML notation in the record of the mapping rules and modalities for the functioning of the organization and in the description of static and dynamic structure of the system. Pointing to the integration of business process management system architecture author assesses the suitability of the chosen modeling notation.
Artykuł charakteryzuje działania mające na celu utworzenie biznesowego modelu przedsiębiorstwa oraz dokumentacji technicznej oprogramowania. Autor dowodzi, że nadrzędnym czynnikiem działań jest określenie celu modelowania, który definiuje zakres projektu. W odwzorowaniu organizacji i budowie scenariuszy procesów biznesowych fundamentalne znaczenie ma słownik zwrotów dziedzinowych i opis reguł poprawności dotyczących zapisu i przetwarzania danych. Autor opisuje modele procesów głównych, cząstkowych (procedury) oraz elementarnych (mapę przepływu pracy). Wskazuje na przydatność notacji BPMN i UML w zapisie odwzorowującym zasady i sposoby funkcjonowania organizacji oraz w opisie statycznej i dynamicznej struktury systemu informatycznego. Wskazując na integrację procesu zarządzania biznesowego z architekturą systemu informatycznego, autor dokonuje oceny przydatności wybranych notacji w zakresie modelowania.

Źródło:

Zeszyty Naukowe Akademii Morskiej w Szczecinie; 2010, 24 (96); 59-62
1733-8670
2392-0378

Pojawia się w:

Zeszyty Naukowe Akademii Morskiej w Szczecinie

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 60.

Tytuł:

Hierarchical Configurable Petri Net Modeling in VHDL

Autorzy:

Doligalski, M.
Adamski, M.

Powiązania:

https://bibliotekanauki.pl/articles/226346.pdf

Data publikacji:

2012

Wydawca:

Polska Akademia Nauk. Czytelnia Czasopism PAN

Tematy:

index terms
HCfgPN
UML state machine diagram
VHDL
logic controller

Opis:

The paper presents method for hierarchical configurable Petri nets description in VHDL language. Dual model is an alternative way for behavioral description of the discrete control process. Dual model consists of two correlated models: UML state machine diagram and hierarchical configurable Petri net (HCfgPN). HCfgPN are Petri nets variant with direct support of exceptions handling mechanism. Logical synthesis of dual model is realized by the description of HCfgPN model by means of hardware description language. The paper presents placesoriented method for HCfgPN description in VHDL language.

Źródło:

International Journal of Electronics and Telecommunications; 2012, 58, 4; 397-402
2300-1933

Pojawia się w:

International Journal of Electronics and Telecommunications

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 61.

Tytuł:

UML Modelling in Rigorous Design Methodology for Discrete Controllers

Autorzy:

Łabiak, G.
Adamski, M.
Doligalski, M.
Tkacz, J.
Bukowiec, A.

Powiązania:

https://bibliotekanauki.pl/articles/227244.pdf

Data publikacji:

2012

Wydawca:

Polska Akademia Nauk. Czytelnia Czasopism PAN

Tematy:

UML modelling
binary controller
decomposition
digital synthesis
formal analysis
verification

Opis:

The paper presents an application of UML technology in a discrete system development process. In the process at the analysis stage UML diagrams are fundamental tool. The outcome of this stage is a basis for formal models exploited at the design stage, where the design is symbolically verified and treated as a rule-based system. Two formal models of good graphical appeal are proposed: Petri nets and state machine diagrams. Both are heavily using Boolean expressions what makes that design can easily be implemented in modern programmable structures.

Źródło:

International Journal of Electronics and Telecommunications; 2012, 58, 1; 27-34
2300-1933

Pojawia się w:

International Journal of Electronics and Telecommunications

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 62.

Tytuł:

Ocena rozdzielczości pojęciowej zbioru danych
Determining the conceptual resolution of a data set

Autorzy:

Bielawski, B.

Powiązania:

https://bibliotekanauki.pl/articles/345772.pdf

Data publikacji:

2016

Wydawca:

Polskie Towarzystwo Informacji Przestrzennej

Tematy:

schemat aplikacyjny
UML
IFPUG
cecha atomowa
application schema
atomic property

Opis:

Aktualny sposób określania rozdzielczości zbiorów danych w postaci mianownika skali mapy wydaje się być niewystarczający. Zdaniem autora można zaproponować sposób opisu rozdzielczości zbiorów danych, bazujący na standardach ISO z zakresu informacji geograficznej (seria ISO 19100) oraz ocenie złożoności systemów informatycznych (ISO 19761; ISO 20926), a także aksjomatycznej teorii poznania. Proponowana metoda obejmuje tylko jeden aspekt rozdzielczości zbiorów danych – rozdzielczość pojęciową. Dotyczy ona zbiorów danych zdefiniowanych na poziomie Platform Independent Model (PIM) w podejściu Model Driven Approach (MDA). Najważniejszym elementem koncepcji oceny rozdzielczości pojęciowej jest identyfikacja najmniejszych porcji informacji (cech atomowych) zakodowanych w schemacie pojęciowym wyrażonym w postaci diagramów klas UML. Autor proponuje zestaw reguł służących do identyfikacji cech atomowych i na ich podstawie obliczenie rozdzielczości pojęciowej schematu aplikacyjnego. Proponowany sposób wyliczania rozdzielczości znajduje zastosowanie wyłącznie dla specyfikacji zbiorów danych utworzonych na podstawie norm i dokumentów normatywnych ISO serii 19100 dotyczących informacji geograficznej.
Actually the way of determining a data set resolution by an equivalent scale seems to be insufficient. In the author's opinion, there is a way to describe a data set resolution based upon the concepts of the ISO 19100 series of Geographic Information Quality Standards, the ISO 19761 COSMIC Measurement Standard and the software and system engineering (ISO 20926), as well as the base concepts of the axiomatic theory of knowledge. The proposal allows to calculate only one aspect of data density – the conceptual resolution. In practice it concerns datasets defined on the PIM level (Platform Independent Model) according to the Model Driven Approach – MDA). The most important element of the proposed method is to identify the smallest information portion (atomic property) coded in the conceptual schema expressed by the UML class diagram. The key of identifying is to understand information given by the application schema. In this paper the author proposes a set of rules to identify the atomic property in the application schema. Based upon identified atomic properties the author proposes the way to calculate the conceptual resolution of the application schema.

Źródło:

Roczniki Geomatyki; 2016, 14, 5(75); 549-559
1731-5522
2449-8963

Pojawia się w:

Roczniki Geomatyki

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 63.

Tytuł:

Zastosowanie SyMaP do tworzenia bazy danych przestrzennych fortyfikacji
Using SyMaP to create Spatial Databases of Fortifications

Autorzy:

Rudowicz-Nawrocka, J.
Woźniak, M.

Powiązania:

https://bibliotekanauki.pl/articles/346239.pdf

Data publikacji:

2012

Wydawca:

Polskie Towarzystwo Informacji Przestrzennej

Tematy:

baza danych przestrzennych
SyMaP
fortyfikacje
UML
XML
spatial database
fortifications

Opis:

Celem pracy było opracowanie bazy danych przestrzennych pozostałości fortyfikacji na polach uprawnych i jej zaimplementowanie z wykorzystaniem m.in. języka XML oraz technologii LINQ. Przyjęto, że w ramach pracy zinwentaryzowane i wykorzystane do przetestowania wytworzonej aplikacji zostaną pozostałości fortyfikacji Międzyrzeckiego Rejonu Umocnionego (MRU). Opracowana baza danych wykorzystuje wektorowy model danych obejmujący część geometryczną i opisową obiektów (pozostałości fortyfikacji i działek). Aplikacja SyMaP umożliwia: przechowywanie danych o zinwentaryzowanych przeszkodach w bazie danych (w plikach XML), wyświetlanie przeszkód oraz działek rolniczych, na których występują w postaci wektorowej, wyświetlanie atrybutów przeszkód, wyszukiwanie przeszkód wg atrybutów, przeprowadzanie prostych analiz, dodawanie, modyfikowanie, usuwanie danych o działkach, przeszkodach, mapach podkładowych i in. oraz wczytywanie map innych rejonów. W wyniku działania aplikacji SyMaP otrzymuje się mapy i zestawienia opisowe prezentujące lokalizację oraz typ przeszkód na poszczególnych działkach. Aplikacja SyMaP została wytworzona w Visual Studnio 2008 korzystającym z .Net Framework 3.5. Jako język implementacji wykorzystano C#. Informacje tworzące bazy danych programu zostały zapisane w plikach XML. Zarządzanie plikami XML odbywa się przy pomocy technologii LINQ. Określone zostały wymagania funkcjonalne i niefunkcjonalne oraz przygotowane diagramy UML prezentujące statyczne i dynamiczne aspekty działania aplikacji. Aplikacja została przetestowana za pomocą danych zebranych w czasie inwentaryzacji pozostałości fortyfikacji pasa umocnień MRU. Wprowadzenie danych o pozostałościach MRU do opracowanej bazy danych oraz zarządzanie nimi w wytworzonej aplikacji SyMaP pozwala stwierdzić, że opracowany model bazy danych i jego implementacja spełniają przyjęte założenia.
The objective of this project was to create the spatial database of the remains of fortifications on the landfarms and to implement it using, among others, the XML language and LINQ technology. The developed SyMaP application was tested with the data of the remains of fortifications of the Międzyrzecki Rejon Umocniony. The database uses a vector data model which contains geometry and attributes of defined objects (remains of fortifications and land parcels). SyMaP makes it possible to store the data about the fortification in the data base, to present the fortification, their attributes and farmlands in vector format, to search fortifications and farmlands according to the attributes, to make simple analysis, to add, modify and delete data about farmlands, fortifications, maps etc. and to download maps of other regions. As the result of SyMaP application, we obtain maps and texts which present location and type of fortifications on given farmlands. The SyMaP application was created in Visual Studio 2008 with Net Framework 3.5. Implementation was made in C#. The database information are stored in XML files, which are managed by using LINQ technology. For SyMaP application functional and non-functional requirements were defined as well as UML diagrams for static and dynamic aspects of its working. The application was tested with the data of the remains of fortifications of the Międzyrzecki Rejon Umocniony. Entering the data to the created data base and managing them with the SyMaP application allows to state that the proposed database model and its implementation meet the assumptions made.

Źródło:

Roczniki Geomatyki; 2012, 10, 3; 117-123
1731-5522
2449-8963

Pojawia się w:

Roczniki Geomatyki

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 64.

Tytuł:

Petri Net Based Specification in the Design of Logic Controllers with Exception Handling Mechanism

Autorzy:

Doligalski, M.
Adamski, M.

Powiązania:

https://bibliotekanauki.pl/articles/227254.pdf

Data publikacji:

2012

Wydawca:

Polska Akademia Nauk. Czytelnia Czasopism PAN

Tematy:

logic controller
dual specification
hierarchical Petri net
UML
state machine diagram

Opis:

Hierarchical Petri nets beside UML state machine diagrams, sequentional function charts (SFC) and hierarchical concurrent state machines are common solution for specification of logic controllers. These specification formats provide both concurrency and modeling on multi levels of abstraction (hierarchic approach). But only state machine diagrams supports exceptions handling in direct way. Program model presented in form of state machine diagram may be later transformed into a program in the SFC language or transformed in the Petri Net and implemented in the FPGA structure. Similarity between SFC language and Petri Nets give us lot of tools for analysis such control system. Article presents new approach for exceptions handling in hierarchical Petri nets as formal specification for logic controllers. Proposed method of specification can be used independently or as a part of dual specification (correlated state machine diagram and hierarchical configurable Petri Net).

Źródło:

International Journal of Electronics and Telecommunications; 2012, 58, 1; 43-48
2300-1933

Pojawia się w:

International Journal of Electronics and Telecommunications

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 65.

Tytuł:

Control system of a multifunctional tester for electronically protected documents
System sterowania wielofunkcyjnego urządzenia do testowania dokumentów z zabezpieczeniem elektronicznym

Autorzy:

Neska, M.
Majcher, A.
Przybylski, J.

Powiązania:

https://bibliotekanauki.pl/articles/276596.pdf

Data publikacji:

2013

Wydawca:

Sieć Badawcza Łukasiewicz - Przemysłowy Instytut Automatyki i Pomiarów

Tematy:

testowanie produktów
układy RFID
zabezpieczenia dokumentów
obciążenie udarowe
obciążenie ścierne
diagram aktywności UML
product testing
RFID systems
document protection
impact load
abrasive load
UML activity diagram

Opis:

Introduction of electronic protection into documents makes it necessary for the documents to undergo multicriteria tests, and results in a growing need for the development of specialized testers, an example of which can be constituted by a multifunctional testing device. The article presents a control system for a tester which realises the following tests: stamping, writing in, abrasion in an electronically protected document. The authors also describe the structure of hardware used and the structure of tests the devices can realise. Additionally, behavioural analysis with the use of UML activity diagrams is presented as well as technical parameters of the control system developed and its possible areas of application in a series of testing devices.
Wprowadzanie do dokumentów papierowych zabezpieczeń elektronicznych stwarza konieczność ich wielokryterialnego testowania, a tym samym opracowywania specjalistycznych testerów. Przykładem takiego urządzenia jest tester wielofunkcyjny. W artykule przedstawiono system sterowania tym urządzeniem, realizującym testy: stemplowania, zapisu oraz ścierania w dokumencie z zabezpieczeniem elektronicznym. Opisano strukturę sprzętową systemu sterowania oraz strukturę realizowanych testów. Przedstawiono analizę behawioralną z zastosowaniem diagramów aktywności języka UML. Zaprezentowano parametry techniczne opracowanego systemu sterowania oraz możliwości jego zastosowania, w typoszeregu urządzeń testujących.

Źródło:

Pomiary Automatyka Robotyka; 2013, 17, 2; 239-244
1427-9126

Pojawia się w:

Pomiary Automatyka Robotyka

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 66.

Tytuł:

A new concept for creating the basic map
Nowy pomysł na tworzenie mapy zasadniczej

Autorzy:

Parzyński, Z.

Powiązania:

https://bibliotekanauki.pl/articles/1836646.pdf

Data publikacji:

2014

Wydawca:

Polska Akademia Nauk. Czytelnia Czasopism PAN

Tematy:

mapa zasadnicza
osnowa geodezyjna
uzbrojenie terenu
harmonization
INSPIRE directive
basic map
UML

Opis:

A lot of changes have been made to the legislative regulations associated with geodesy during the implementation of the INSPIRE Directive in Poland (amongst others, the structure of databases). There have also been great changes concerning the basic map and the method of its creation and updating. A new concept for creating the basic map is presented in this article.
Dokonaliśmy wielu zmian w prawnych regulacjach dotyczących geodezji w trakcie implementacji Dyrektywy INSPIRE w Polsce (m.in. struktury baz danych). Bardzo duże zmiany objęły mapę zasadniczą i procedury jej tworzenia i uaktualniania. W artykule jest zaprezentowana nowa koncepcja tworzenia mapy zasadniczej.

Źródło:

Geodesy and Cartography; 2014, 63, 2; 211-217
2080-6736
2300-2581

Pojawia się w:

Geodesy and Cartography

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 67.

Tytuł:

Inhibitor and enabling arcs in logic controller design
Łuki zakazujące i zezwalające w projektowaniu sterowników logicznych

Autorzy:

Grobelna, I.
Grobelny, M.

Powiązania:

https://bibliotekanauki.pl/articles/153449.pdf

Data publikacji:

2012

Wydawca:

Stowarzyszenie Inżynierów i Techników Mechaników Polskich

Tematy:

specyfikacja sterownika logicznego
formalna weryfikacja
łuki zakazujące i zezwalające sieci Petriego
diagramy aktywności języka UML
logic controller specification
formal verification
Petri nets inhibitor and enabling arcs
UML activity diagrams

Opis:

The paper presents a novel approach to rule-based logic controller specification and its verification. The proposed abstract model is suited for formal verification (using model checking technique) as well as for logic synthesis (using hardware description language VHDL). Special focus is put on Interpreted Petri Nets with inhibitor and enabling arcs, their realization in rule-based model and, additionally, their interpretation in another logic controller specification technique - UML Activity Diagrams (version 2.x).
Artykuł przedstawia nowatorskie podejście do regułowej specyfikacji sterownika logicznego, wraz z jej weryfikacją (walidacją). Proponowany abstrakcyjny model logiczny jest dogodny zarówno do formalnej weryfikacji modelowej, jak również do syntezy logicznej (język opisu sprzętu VHDL). Szczególną uwagę poświęcono łukom zakazującym i zezwalającym interpretowanych sieci Petriego. Po krótkim wprowadzeniu do omawianej tematyki (rozdział 2), przedstawiono przykład interpretowanej sieci Petriego z łukami zakazującymi i zezwalającymi (rys. 1). Podano sposób ich realizacji w abstrakcyjnym modelu logicznym (rozdział 3, schemat kompletnego proponowanego systemu na rys. 2 oraz przykład regułowego modelu sterownika logicznego na rys. 3). Zaproponowano interpretację łuków zakazujących i zezwalających sieci Petriego w innej postaci specyfikacji zachowania sterownika logicznego (rozdział 4) - diagramach aktywności języka UML (w wersji 2.x). Ze względu na bezstanowość diagramów aktywności, nie jest możliwe bezpośrednie odwzorowanie rozpatrywanych łuków. W artykule zaproponowano dwa rozwiązania - opierające się na wprowadzeniu dodatkowego sygnału (rys. 4a) oraz alternatywne - bazujące na etykietowaniu przepływów (rys. 4b). Przedstawiono sposób formalnej weryfikacji tak przygotowanej specyfikacji regułowej oraz jej syntezy logicznej (rozdział 5). Publikacja kończy się podsumowaniem oraz wnioskami (rozdział 6)

Źródło:

Pomiary Automatyka Kontrola; 2012, R. 58, nr 6, 6; 510-513
0032-4140

Pojawia się w:

Pomiary Automatyka Kontrola

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 68.

Tytuł:

Modelowanie baz danych o nieruchomościach
The modelling of real estate databases

Autorzy:

Bydłosz, J.
Cichociński, P.
Dębińska, E.

Powiązania:

https://bibliotekanauki.pl/articles/131196.pdf

Data publikacji:

2009

Wydawca:

Stowarzyszenie Geodetów Polskich

Tematy:

bazy danych
nieruchomości
UML
narzędzia CASE
ArcGIS
databases
real estates
CASE tools

Opis:

Przy wycenie nieruchomości konieczna jest znajomość atrybutów oraz cen i wartości nieruchomości z danej miejscowości, dzielnicy lub otoczenia. Informacje takie tworzą bazy danych o nieruchomościach. W Polsce taką oficjalną bazą jest rejestr cen i wartości nieruchomości (RCiWN), będący częścią ewidencji gruntów i budynków, prowadzonej przez starostów na szczeblu powiatu. Inne bazy nieruchomości są prowadzone przez poszczególnych rzeczoznawców lub firmy zajmujące się wyceną nieruchomości lub wykorzystujące takie dane. W niniejszej pracy opisano podjęte próby modelowania baz danych o nieruchomościach z zastosowaniem narzędzi Komputerowo Wspomaganej Inżynierii Oprogramowania (Computer Aided Software Engineering – CASE). Działania były prowadzone dwutorowo. Jedną ścieżkę badań stanowiło modelowanie rejestru cen i wartości nieruchomości, jako bazy o zawartości i strukturze narzuconej przez uregulowania prawne, natomiast druga ścieżka to projektowanie i budowa bazy danych o nieruchomościach przeznaczonej bezpośrednio dla rzeczoznawców. W przeprowadzonych pracach oparto się na opisanych w literaturze schematach modelowania. Do tego celu użyto zunifikowany język modelowania (UML) oraz oprogramowanie Visio i ArcGIS.
When performing a real estate valuation, it is necessary to know the attributes, prices and values of real estates from the given locality, district, or neighbourhood. All that information makes up databases of real estates. The register of prices and values for real estates is such an official database in Poland, and it is part of land and building cadastre managed on the county level. Other databases are maintained by individual appraisers or companies dealing with real estate valuation or using such data. The paper presents attempts that were undertaken at modelling databases of real estates, using Computer Aided Software Engineering (CASE) tools. Those activities were conducted in two ways. One path of research included the modelling of the register of prices and values for real estates, as a database with contents and structure imposed by legal regulations, while the second path was the designing and building of a database intended directly for real-estate appraisers. The performed works were based on modelling schemes described in subject literature. Unified Modelling Language (UML), Visio and ArcGIS software were used for that purpose.

Źródło:

Archiwum Fotogrametrii, Kartografii i Teledetekcji; 2009, 19; 35-46
2083-2214
2391-9477

Pojawia się w:

Archiwum Fotogrametrii, Kartografii i Teledetekcji

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 69.

Tytuł:

Diagramy aktywności UML w projektowaniu rekonfigurowalnych sterowników logicznych
UML activity diagrams in design of reconfigurable logic controllers

Autorzy:

Grobelny, M.
Grobelna, I.

Powiązania:

https://bibliotekanauki.pl/articles/156715.pdf

Data publikacji:

2012

Wydawca:

Stowarzyszenie Inżynierów i Techników Mechaników Polskich

Tematy:

specyfikacja behawioralna
rekonfigurowalny sterownik logiczny
UML
diagramy aktywności
behavioural specification
activity diagrams

Opis:

Artykuł przedstawia sposób reprezentacji behawioralnej sterownika logicznego przy wykorzystaniu diagramów aktywności języka UML. Zaproponowane zostało zastosowanie diagramów aktywności do projektowania rekonfigurowalnych sterowników logicznych, a dokładnie do opisu zachowania sterownika logicznego podczas pracy. Do tego celu został dostosowany zbiór elementów diagramów aktywności w celu umożliwienia efektywnego modelowania behawioralnego. Rozważane jest także wykorzystanie hierarchicznych możliwości diagramów aktywności do częściowej rekonfiguracji
The paper focuses on behavioural representation of a logic controller with usage of UML activity diagrams. There is shown a subset of UML activity diagram elements sufficient to present logic controller behaviour simultaneously suitable for automatic synthesis with use of hardware description languages. After short introduction (Section 1) to the topic, UML activity diagrams as a specification technique are presented (Section 2). Additionally, there is described a subset of elements (Tab.1) of the discussed specification techniques fulfilling behavioural modelling requirements of a reconfigurable logic controller. Specification possibilities are given using sample control process of preparing the exact amount of liquid in two tanks (Section 3). The real model of the process is shown in Fig. 1. One of the possible behavioural specifications with use of UML activity diagrams is depicted in Fig. 2. This is a representation of the considered action state concept specification techniques in version 1.x. The other possibility is to specify a process with use of elementary system actions (Fig. 3), which is characteristic of the UML activity diagrams version 2.x. Fig. 4, on the other hand, shows signal based specification which is suitable for automatic hardware description language code generation (e.g. VHDL). Furthermore, Section 4 describes possibilities of using hierarchical aspects of activity diagrams to prepare specification for partial reconfiguration. Finally, Section 5 concludes the paper.

Źródło:

Pomiary Automatyka Kontrola; 2012, R. 58, nr 7, 7; 596-598
0032-4140

Pojawia się w:

Pomiary Automatyka Kontrola

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 70.

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

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 71.

Tytuł:

Wykorzystanie pseudostanów historii do modelowania sytuacji awaryjnych w maszynie stanów UML
Use of history pseudostates for modeling the emergency situation in a UML state machine

Autorzy:

Bazydło, G.
Adamski, M.
Stefanowicz, Ł.

Powiązania:

https://bibliotekanauki.pl/articles/156086.pdf

Data publikacji:

2014

Wydawca:

Stowarzyszenie Inżynierów i Techników Mechaników Polskich

Tematy:

UML
maszyna stanów
pseudostan historii
sterownik logiczny
state machine
history pseudostate
logic controller

Opis:

W artykule przedstawiono zagadnienia związane z modelowaniem obsługi sytuacji awaryjnych opierając się na metodzie syntezy behawioralnej sterowników logicznych opisanych diagramami maszyny stanowej UML. Szczególną uwagę zwrócono na wykorzystanie pseudostanów historii a także zdarzeń i przejść zakończenia (typu completion event), przejść wysokiego poziomu, stanów końcowych i przejść bezwarunkowych. Celem zaproponowanej metody jest takie przekształcenie modelu hierarchicznej maszyny stanów UML, aby otrzymać opis układu w języku opisu sprzętu Verilog. Metoda została poparta stosownym przykładem układu sterowania.
The paper presents the design methodology for deriving Verilog descriptions from UML state machine diagrams (Figs. 2, 3) in order to capture the behavioral hierarchy in the array structure of an embedded system. The exception handling is introduced at the top level of the graphical specification. As an intuitive example the interrupt is introduced. It illustrates the case of a system failure, when the control is temporarily transferred to exceptional safe and determined behavior. The precise semantic interpretation of the UML 2.4 state machine diagrams ensures, under the proposed structural design rules, that the Verilog description conserves modular properties of an initial specification. The behavioral hierarchy of the UML state machine is directly mapped into a structural hierarchy inside the designed reconfigurable controller. The tree of properly encapsulated submachines allows independent simulation and modification of particular parts of the behavioral model. In the paper the emphasis is put on the support of modeling an emergency situation with use of history pseudostates, high-level transitions and completion events. The way of hardware implementation of storing the information about the previously active state is also presented (Fig. 5). The most important algorithm of the proposed method is illustrated by an appropriate example (Fig. 1).

Źródło:

Pomiary Automatyka Kontrola; 2014, R. 60, nr 7, 7; 513-515
0032-4140

Pojawia się w:

Pomiary Automatyka Kontrola

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 72.

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

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 73.

Tytuł:

Zastosowanie narzędzi CASE do projektowania baz danych systemów informacji geograficznej
Application of CASE tools to geographic information system databases design

Autorzy:

Dębińska, E.
Cichociński, P.

Powiązania:

https://bibliotekanauki.pl/articles/262330.pdf

Data publikacji:

2006

Wydawca:

Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie. Wydawnictwo AGH

Tematy:

system informacji geograficznej
geobaza
UML
narzędzia CASE
geographic information system (GIS)
geodatabase
CASE tools

Opis:

Podstawą efektywnego korzystania z systemów informacji geograficznej (SIG) jest poprawnie skonstruowana baza danych, pozwalająca na szybkie i sprawne przeszukiwanie danych. Ze względu na specyfikę SIG, konieczne jest, by taka baza oprócz danych opisowych obiektów przechowywała również informacje dotyczące ich położenia i kształtu. Wówczas taka baza danych zawierająca informacje geograficzne, co ją w sposób szczególny wyróżnia spośród innych baz danych, może być nazwana geobazą. Wprowadzenie modelu geobazy pozwoliło na zastosowanie metod projektowania relacyjnych baz danych, w tym narzędzi CASE, również do informacji geograficznej. Oprócz rozważań teoretycznych, w artykule zaprezentowano przykład modelu danych na potrzeby wyceny nieruchomości, obejmujący definicje niezbędnych klas obiektów i relacji pomiędzy nimi.
The base for the effective use of the Geographic Information Systems (GIS) is a correctly constructed database allowing quick and swift browsing of the data. Because of GIS specifies, it is necessary that such a database, apart from descriptive data of the objects, also stores information referring to their location and shape. Then such a database, containing geographical information, that distinguishes it from among another databases, can be named a geodatabase. The introduction of the geodatabase model allowed the application of the methods of designing relational databases, including CASE tools, also for geographic information. Apart from theoretical considerations, the paper presents an example of the data model for the evaluation of real estate, containing the definitions of necessary object classes and their relationships

Źródło:

Geodezja / Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie; 2006, 12, 2/1; 157-165
1234-6608

Pojawia się w:

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

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 74.

Tytuł:

System Wspomagania Pracy Nauczyciela
A teacher assistant system

Autorzy:

Litwiniuk, P.
Chudzikiewicz, J.

Powiązania:

https://bibliotekanauki.pl/articles/273387.pdf

Data publikacji:

2010

Wydawca:

Wojskowa Akademia Techniczna im. Jarosława Dąbrowskiego

Tematy:

aplikacja internetowa
usługi sieciowe
UML
ASP.NET
AJAX ASP.NET
web application
web services

Opis:

W artykule przedstawiono opis projektu oraz implementacji aplikacji wspomagającej pracę nauczyciela. Zdefiniowano wymagania funkcjonalne i niefunkcjonalne nakładane na system. Zaprezentowano diagramy interakcji wybranych przypadków użycia w notacji UML. Przedstawiono wspłpracę z zewnętrznymi, w stosunku do omawianego, systemami (SRU, SZZD) poprzez mechanizm Web Services. Omóiono wybrane rozwiązania implementacyjne wykorzystane w projektowanym systemie.
In this paper a project and implementation of a teacher-assistant software application system is presented. Requirements of the system have been defined. Selected interaction diagrams are given in the UML notation. An issue of cooperation with outside systems via web services is presented too. Selected aspects of the system implementation are discussed.

Źródło:

Biuletyn Instytutu Automatyki i Robotyki; 2010, R. 16, nr 29, 29; 3-18
1427-3578

Pojawia się w:

Biuletyn Instytutu Automatyki i Robotyki

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 75.

Tytuł:

System SMCAD wspomagający projektowanie częściowo rekonfigurowalnych sterowników logicznych
SMCAD system supporting design of partial reconfigurable logic controllers

Autorzy:

Doligalski, M.
Mrowiec, P.

Powiązania:

https://bibliotekanauki.pl/articles/154185.pdf

Data publikacji:

2009

Wydawca:

Stowarzyszenie Inżynierów i Techników Mechaników Polskich

Tematy:

UML
maszyna stanów
rekonfigurowalny sterownik logicznych
SMCAD
częściowa rekonfiguracja
state machine
reprogrammable logic controller

Opis:

Rozwój technologii półprzewodnikowych, dynamiczny wzrost pojemności i funkcjonalności układów FPGA stwarza nowe możliwości funkcjonalne, które z powodów ograniczeń współcześnie stosowanego oprogramowania projektowego nie mogą być w pełni wykorzystanie. W referacie opisano moduł graficznego edytora systemu SMCAD - wspomagającego projektowanie oraz przeprowadzenie procesu częściowej rekonfiguracji sterowników logicznych. W artykule opisano moduł graficzny systemu SMCAD, który umożliwia modelowanie behawioralne sterowników logicznych z wykorzystaniem diagramów maszyny stanów UML.
Evolution of silicon technology, dynamic growth of FPGA device capacity and functionality requires introducing new techniques and developing new design tools. The application of a Petri net as a form of specification is a common solution used in the field of discrete systems. The application of the UML language, especially the state machine diagrams, is a perfect solution. These diagrams enable the hierarchical modelling of programs with concurrent elements. The UML language makes it possible to shorten the time of designing such a system and to optimise the use of hardware resources of the controller. There is no editor of the UML state machine diagrams dedicated to logic controller developing. In this paper the graphical editor module of an SMCAD system is presented. The SMCAD system is driven on reprogrammable logic controller partial reconfiguration. The new graphical editor enables behavioural modelling based on the UML state machine diagrams. Section 2 describes the graphical editor advantages compared to the existing, classical, software engineering driven UML tools like: Sybase Power Designer, ArgoUML, StarUML. It also gives the reasons for implementing the new editor. The supported subset of the UML state machine diagrams is presented in Section 3. In Section 4 there is shown an example of the manufacturing process outline (Fig. 2). The process of developing logic controller specification for the exemplary schema is also contained in this section. The behavioural specification in form of the UML state machine diagrams (Figs. 3 and 5) shows the partial reconfiguration process. The graphic specification was exported in the SCXML format (Fig. 8). Lack of possibility of do actions specification justifies the proposal of SCXML standard extension (Fig. 8).

Źródło:

Pomiary Automatyka Kontrola; 2009, R. 55, nr 7, 7; 504-507
0032-4140

Pojawia się w:

Pomiary Automatyka Kontrola

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 76.

Tytuł:

Specyfikacja sterowników cyfrowych zorientowana na niezawodność
Quality oriented specification of logic controllers

Autorzy:

Doligalski, M.
Adamski, M.

Powiązania:

https://bibliotekanauki.pl/articles/154557.pdf

Data publikacji:

2010

Wydawca:

Stowarzyszenie Inżynierów i Techników Mechaników Polskich

Tematy:

systemy wbudowane
Rekonfigurowalne Sterowniki Logiczne
Diagramy Maszyny Stanów UML
sieci Petriego
diagramy SFC
embedded systems
reconfigurable logic controller
UML state machine diagram
Petri net
sequential function chart
quality-driven design
formal verification

Opis:

W artykule przedstawiono wdrażaną metodę projektowania rekonfigurowalnych sterowników logicznych, ukierunkowaną na jakość behawioralnej specyfikacji, a tym samym niezawodność pracy. Zamierzone funkcjonowanie sterownika jest opisane z wykorzystaniem równocześnie dwóch dualnych języków graficznych: diagramu maszyny stanów UML oraz komplementarnej sieci Petriego. Synergia spowodowana dwoma wzajemnie się uzupełniającymi podejściami do behawioralnego opisu tego samego sterownika daje szansę na otrzymanie uwiarygodnionej specyfikacji już we wstępnej fazie projektowania.
In the paper quality oriented approach to the design of digital embedded reconfigurable controllers is presented. The behaviour of a logic controller is described by means of dual related graphical languages: UML State machine diagram and Petri Net graph. The first one is well accepted among designers from the electronic industry, the second one among control engineers taking the advantage from similarities between Petri nets and Sequential Function Charts (SFC). The synergy of the view from two sides into the same project gives a chance to obtain validated specification at the design process beginning. It is shown in the second paragraph. Comparison of elementary models (Tab. 1) and design process with use of the dual specification (Fig. 1) are also presented. The third paragraph deals with mutual conversion of the elementary elements (Tab. 2) and shows their subsets in the form of class diagrams (Figs. 2 and 3). An example of the logic controller dual specification (Figs. 4 and 5) is given in the fourth paragraph. The practical use of dual specification is contingent upon implementation of tools for performing the conversion process in an automatic way.

Źródło:

Pomiary Automatyka Kontrola; 2010, R. 56, nr 7, 7; 671-674
0032-4140

Pojawia się w:

Pomiary Automatyka Kontrola

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 77.

Tytuł:

From UML object behavior description into petri net models towards systematic development of embedded systems

Autorzy:

Szmuc, W.
Szmuc, T.

Powiązania:

https://bibliotekanauki.pl/articles/398100.pdf

Data publikacji:

2016

Wydawca:

Politechnika Łódzka. Wydział Mikroelektroniki i Informatyki

Tematy:

UML
state machine
event
queue
object
Petri
formal
model
maszyna stanów
zdarzenie
kolejka
obiekt

Opis:

The paper describes a translation of object behavior specified by UML into semantically equivalent Petri net models. The translation focuses on object behavior with event handling implemented in UML. The resulted Petri net allows to check UML model properties not only by simulation but also in formal way. For possibly closest congruence between UML and Petri net model an event queue is defined. Each state machine assigned to an object has its own event queue which is available as long as the machine exists. It allows modeling not just a simple message passing but also cases, when state machine cannot handle an event. A higher priority of sub-machine's event queue is also considered. The presented solution is a part of wider conversion algorithm from UML model into Petri nets [12]. However, the paper is intended to describe the issue in such a detailed way and focuses on aspects crucial for embedded systems development.

Źródło:

International Journal of Microelectronics and Computer Science; 2016, 7, 2; 60-64
2080-8755
2353-9607

Pojawia się w:

International Journal of Microelectronics and Computer Science

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 78.

Tytuł:

A Graphical Modelling Editor for STARSoC Design Flow Tool Based on Model Driven Engineering Approach

Autorzy:

Kerkouche, E.
Bourennane, E. B.
Chaoui, A.

Powiązania:

https://bibliotekanauki.pl/articles/953066.pdf

Data publikacji:

2018

Wydawca:

Politechnika Wrocławska. Oficyna Wydawnicza Politechniki Wrocławskiej

Tematy:

embedded systems
hardware-software codesign
STARSoC tool
UML
model driven engineering
Eclipse modelling project

Opis:

Background : Due to the increasing complexity of embedded systems, system designers use higher levels of abstraction in order to model and analyse system performances. STARSoC (Synthesis Tool for Adaptive and Reconfigurable System-on-Chip) is a tool for hardware/software co-design and the synthesis of System-on-Chip (SoC) starting from a high level model using the StreamsC textual language. The process behaviour is described in the C syntax language, whereas the architecture is defined with a small set of annotation directives. Therefore, these specifications bring together a large number of details which increase their complexity. However, graphical modelling is better suited for visualizing system architecture. Objectives : In this paper, the authors propose a graphical modelling editor for STARSoC design tool which allows models to be constructed quickly and legibly. Its intent is to assist designers in building their models in terms of the UML Component-like Diagram, and in the automatic translation of the drawn model into StreamsC specification. Methods : To achieve this goal, the Model-Driven Engineering (MDE) approach and well-known frameworks and tools on the Eclipse platform were employed. Conclusion : Our results indicate that the use of the Model-Driven Engineering (MDE) approach reduces the complexity of embedded system design, and it is sufficiently flexible to incorporate new design needs.

Źródło:

e-Informatica Software Engineering Journal; 2018, 12, 1; 9-26
1897-7979

Pojawia się w:

e-Informatica Software Engineering Journal

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 79.

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

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 80.

Tytuł:

Mechanizm obsługi sytuacji wyjątkowych oraz ponownego wznowienia sterowania w hierarchicznych sieciach Petriego
Exception handling mechanism and control resumption in hierarchical Petri nets

Autorzy:

Doligalski, M.
Adamski, M.

Powiązania:

https://bibliotekanauki.pl/articles/152398.pdf

Data publikacji:

2011

Wydawca:

Stowarzyszenie Inżynierów i Techników Mechaników Polskich

Tematy:

hierarchiczna sieć Petriego
wywłaszczenie
rekonfigurowalny sterownik logiczny
UML
hierarchical Petri net
expropriation
reconfigurable logic controller

Opis:

Opis programów dla rekonfigurowalnych sterowników logicznych jest przeprowadzany z wykorzystaniem dualnej specyfikacji tego samego, abstrakcyjnego automatu współbieżnego opisanego zarówno diagramem maszyny stanów UML jak i skorelowanym z nim diagramem hierarchicznej sieci Petriego [2, 3]. W artykule pokazano sposób obsługi sytuacji wyjątkowych oraz ponownego wznowienia sterowania współbieżnego, hierarchicznego procesu dyskretnego przedstawionego modularną siecią Petriego. W literaturze przedmiotu dotyczącej sieci Petriego, brak jest spójnej i prostej metodologii wprowadzenia tego rodzaju funkcjonalności, znanej z teorii hierarchicznych map stanów wprowadzonej przez Harela i rozwiniętej w pracach Gajskiego [7, 8]. Dotychczasowe sposoby odwzorowania sytuacji wyjątkowych w sieciach Petriego, znane ze standardu UML, prowadzą do zerwania związku między prostotą odwzorowania algorytmu a jego sensownością i intuicyjnością. W pracy zaproponowano sposób obsługi sytuacji wyjątkowych polegający na wprowadzeniu do hierarchicznych sieci Petriego dodatkowych miejsc konfiguracyjnych (aktywnych i spoczynkowych). W przypadku prawidłowego funkcjonowania sterownika miejsca konfiguracyjne aktywnych modułów są oznakowane. W przypadku wystąpienia konieczności wstrzymania pracy układu, aktywne miejsce konfiguracyjne traci marker na rzecz spoczynkowych miejsc konfiguracyjnych. W przypadku wznowienia procesów po awarii, następuje powrót markerów do aktywnych miejsc konfiguracyjnych. W przypadku obsługi sytuacji krytycznej, konfiguracyjne miejsce aktywne przekazuje marker do miejsca konfiguracyjnego wywłaszczającego. Przeprowadzane jest opróżnienie z markerów wszystkich miejsc sterujących w sieci a wznowienie pracy powoduje wprowadzenie jej do stanu początkowego.
The description of programs for reconfigurable logic controllers is performed with use of dual specification [5, 6], concurrent abstract state machine described both with the UML state machine diagram and correlated hierarchical Petri net [1, 2, 3]. The paper shows the exceptions handling mechanism and control resumption of the hierarchical concurrent binary process described by means of a modular Petri net. In the literature on Petri nets (Fig. 2), there is no coherent and simple methodology for introduction of this kind of functionality, known from the theory of hierarchical map of states introduced by Harel and developed in the work by Gajski [7, 8]. The paper proposes how to handle exceptions based on introducing additional configurational places (active and idle) into hierarchical Petri nets (Fig. 3). In the case of having to stop operation of the system, the active configurational place loses its marker for the idle configurational place. In the case of resumption processes after the failure (Fig. 6), markers will return to the active configurational places. In the case of an emergency (critical exceptions - Fig. 7.), the active configurational place moves a marker to the resumption configurational place. Evacuation of all markers in the control places of the network and resumption of the net work to its original state are carried out. In the paper the possibility and desirability of implementing a new method of exceptions handling in a binary logic controller for productive is presented.

Źródło:

Pomiary Automatyka Kontrola; 2011, R. 57, nr 6, 6; 671-674
0032-4140

Pojawia się w:

Pomiary Automatyka Kontrola

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 81.

Tytuł:

Extending the UML for modelling variability for system families

Autorzy:

Robak, S.
Franczyk, B.
Politowicz, K.

Powiązania:

https://bibliotekanauki.pl/articles/907979.pdf

Data publikacji:

2002

Wydawca:

Uniwersytet Zielonogórski. Oficyna Wydawnicza

Tematy:

informatyka
object-oriented software engineering
system families
commonality and variability
feature diagram
UML extensibility mechanisms

Opis:

The process of modelling and developing commonality and variability for system families should be supported by suitable methods and notations. The object-oriented methods and their notations, which are used at present, focus on the development of a single system at a time. In this paper we analyse feature models as a representation of the common parts and variants contained in a system family, and propose using a feature diagram as a basic representation of commonality, variability and dependencies. We examine various approaches to customizing the standard modelling language UML to model system families and propose how to extend the UML for the purposes of modelling variants in object-oriented analysis and design techniques. We recommend the use of UML standard lightweight extensibility mechanisms (stereotypes combined with tagged values) without changing the UML metamodel. This enables us to join the advantages of feature models with UML and provides the traceability of a concept throughout system development. An application of lightweight UML extension mechanisms allows the existing standard UML modelling tools to be used without any adaptations. An example of an application illustrates our approach.

Źródło:

International Journal of Applied Mathematics and Computer Science; 2002, 12, 2; 285-298
1641-876X
2083-8492

Pojawia się w:

International Journal of Applied Mathematics and Computer Science

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 82.

Tytuł:

Projektowanie sterowników logicznych z wykorzystaniem łuków zezwalających i zakazujących sieci Petriego
Logic controller design using enabling and inhibitor arcs of Petri nets

Autorzy:

Grobelna, I.
Grobelny, M.

Powiązania:

https://bibliotekanauki.pl/articles/156703.pdf

Data publikacji:

2012

Wydawca:

Stowarzyszenie Inżynierów i Techników Mechaników Polskich

Tematy:

specyfikacja behawioralna
rekonfigurowalny sterownik logiczny
UML
diagramy aktywności
behavioural specification
reconfigurable logic controller
activity diagrams

Opis:

Artykuł dotyczy zagadnień związanych z projektowaniem sterowników logicznych z wykorzystaniem łuków zezwalających i zakazujących sieci Petriego. Zaproponowano nowatorskie podejście do regułowej specyfikacji sterownika logicznego, przygotowanej w postaci abstrakcyjnego autorskiego modelu logicznego dogodnego do formalnej weryfikacji modelowej oraz syntezy logicznej. Szczególną uwagę zwrócono tutaj na łuki zakazujące i zezwalające interpretowanych sieci Petriego, ich realizację w abstrakcyjnym modelu logicznym i interpretację w innej postaci specyfikacji zachowania sterownika logicznego - diagramach aktywności języka UML.
The paper focuses on logic controller design using enabling and inhibitor arcs of Petri nets. There is proposed a novel original approach to rule-based specification of logic controller behaviour prepared as an abstract logical model suitable for formal verification and logic synthesis. Special interest is put on enabling and inhibitor (disabling) arcs of interpreted Petri nets, their realization in an abstract logical model and interpretation in other specification form - namely UML activity diagrams (in version 2.x). These arcs can be used for flow synchronization or controlled usage of shared resources. After a short introduction (Section 1), some basic concepts on logic controller specification are presented (Section 2), in particular considering (interpreted) Petri nets and UML (activity) diagrams. Usage of enabling and inhibitor arcs is shown on an example of the interpreted Petri net in Fig. 1 (transitions firing sequence in Fig. 2), followed by their representation in the proposed abstract rule-based logical model, its formal verification (using model checking technique) and synthesis (Section 3). The paper also proposes enabling and inhibitor arcs interpretation in UML activity diagrams (Section 4). Although direct representation of these arcs is not possible, the authors try to achieve an alternative solution which corresponds semantically to appropriate Petri net elements. Tab. 1 presents graphic representation of the considered arcs in interpreted Petri nets as well as in UML activity diagrams. The paper ends with a short summary (Section 5).

Źródło:

Pomiary Automatyka Kontrola; 2012, R. 58, nr 7, 7; 605-607
0032-4140

Pojawia się w:

Pomiary Automatyka Kontrola

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 83.

Tytuł:

Polski system katastralny w aspekcie ISO 19152
Polish cadastral system and ISO 19152

Autorzy:

Bydłosz, J.

Powiązania:

https://bibliotekanauki.pl/articles/345856.pdf

Data publikacji:

2013

Wydawca:

Polskie Towarzystwo Informacji Przestrzennej

Tematy:

ISO 19152
LADM
kataster
ewidencja gruntów i budynków
INSPIRE
UML
cadastre
Grounds and Buildings Cadastre

Opis:

W chwili obecnej trwają końcowe prace związane z przygotowaniem oraz publikacją rozporządzenia zmieniającego rozporządzenie w sprawie ewidencji gruntów i budynków. Zawiera ono między innymi nowy model pojęciowy danych ewidencji gruntów i budynków opracowany z wykorzystaniem notacji Zunifikowanego Języka Modelowania (UML). W grudniu 2012 roku opublikowana została norma międzynarodowa ISO 19152, będąca również normą europejską i polską (polski tytuł "Katastralny Model Administrowania Terenem"). Norma ta dostarcza referencyjny model dla budowy systemów związanych z szeroko pojętą administracją nieruchomościami. Polska jako kraj Unii Europejskiej jest zobowiązana do stosowania się do zapisów dyrektywy INSPIRE. Zgodnie z jej artykułem 7 przy opracowywaniu przepisów wykonawczych uwzględniane są między innymi istniejące inicjatywy i standardy międzynarodowe, służące harmonizacji zbiorów danych przestrzennych. W artykule podjęto próbę określenia wpływu i wymagań ISO 19152 w stosunku do modelu polskiego katastru, zdefiniowanego w projekcie nowego rozporządzenia. W wyniku przeprowadzonych badań, wyciągnięto wstępny wniosek, że polski system katastralny spełnia wymagania względem normy ISO 19152 zawarte w artykule 7 dyrektywy INSPIRE, dotyczące między innymi uwzględnienia standardów międzynarodowych, służących harmonizacji zbiorów i usług danych przestrzennych.
Poland as a European Union Member State is obliged to meet the requirements of the INSPIRE Directive. According to the article 7 of the Directive, when preparing national implementing rules the existing initiatives and international standards serving harmonization of spatial data sets and services should be taken into account. In December 2012, the international standard ISO 19152 "Land Administration Domain Model" was published. This standard provides a reference model for building systems concerning widely understood land administration. At present, final works connected with preparation and publication of amended ordinance on grounds and buildings cadastre are under way. This ordinance includes, inter alia, a new conceptual (UML) model of grounds and buildings cadastre data. In the paper an attempt was made to evaluate the influence and requirements of ISO 19152 towards Polish cadastral model, defined in the draft ordinance. The preliminary conclusion drawn as the result of performed research is that the Polish cadastral system meets the requirements of ISO 19152.

Źródło:

Roczniki Geomatyki; 2013, 11, 2(59); 15-23
1731-5522
2449-8963

Pojawia się w:

Roczniki Geomatyki

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 84.

Tytuł:

Podejście wieloaspektowe do modelowania w diagnostyce technicznej
A multiaspect approach to the modelling in technical diagnostics

Autorzy:

Skupnik, D.

Powiązania:

https://bibliotekanauki.pl/articles/327626.pdf

Data publikacji:

2008

Wydawca:

Polska Akademia Nauk. Polskie Towarzystwo Diagnostyki Technicznej PAN

Tematy:

diagnostyka techniczna
model diagnostyczny
aspekt
model wieloaspektowy
UML
technical diagnostics
diagnostic model
aspect
multiaspect model

Opis:

W referacie przedstawiono podejście wieloaspektowe do modelowania w diagnostyce technicznej. Pojęcie "aspekt" rozumiane jest najczęściej jako punkt widzenia, z którego dany obiekt, zjawisko itp. są rozpatrywane, a zatem w odniesieniu do diagnostyki technicznej aspekt może być traktowany jako "widok" obiektu technicznego z określonego punktu widzenia. W literaturze diagnostycznej koncepcja zastosowania wieloaspektowego modelu diagnostycznego, w celu określenia stanu technicznego danego obiektu, jest znana. Jednak jak do tej pory nie zaproponowano metody identyfikacji relewantnych aspektów oraz sposobu ich reprezentacji. Niniejszy referat przedstawia rozwiązanie wspomnianych problemów, w odniesieniu do określonej klasy obiektów technicznych, za pomocą ujednoliconego języka modelowania (ang. Unified Modelling Language, UML).
The paper presents a multiaspect approach to the modelling in technical diagnostics. The term "an aspect" is most often understood as a point of view which a thing, a phenomenon etc. are considered. Thus in relation to the technical diagnostics, an aspect may be understood as "a view" of a technical object from a definite viewpoint. In diagnostic literature a possibility of the use of a multiaspect diagnostic model in order to determine a technical state of a considered object is known. However so far, there is not any description in what way identification of aspects and their representation should be done. Possible solution of these problems, in relation to the specific kind of technical objects, was shown in the paper. It consists in application of the Unified Modelling Language (UML).

Źródło:

Diagnostyka; 2008, 2(46); 117-120
1641-6414
2449-5220

Pojawia się w:

Diagnostyka

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 85.

Tytuł:

Automatic bridge between BPMN models and UML activity diagrams based on graph transformation

Autorzy:

Rahmoune, Yasmina
Chaoui, Allaoua

Powiązania:

https://bibliotekanauki.pl/articles/27312904.pdf

Data publikacji:

2022

Wydawca:

Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie. Wydawnictwo AGH

Tematy:

MDE
BPMN
business process models
UML-AD
meta-modeling
graph grammars
models transformation
AToM3

Opis:

Model-driven engineering (MDE) provides the available tools, concepts, and languages for creating and transforming models. One of the most important successes of MDE is model transformation; it permits the transformion of models that are used by one community to equivalent models that can be used by another one. Moreover, each community of developers has its own tools for verification, testing, and test-case generation. Hence, a developer of one community who moves to another community needs a transformation process from the second community to his/her own community and vice versa. Therefore, the target community can benefit from the expertise of the source one, and the developers do not begin from zero. In this context, we propose an automatic transformation in this paper for creating a bridge between the BPMN and UML communities. We propose an approach and a visual tool for the automatic transformation of BPMN models to UML activity diagrams (UML-AD). The proposed approach is based on meta-modeling and graph transformation and uses the AToM3 tool. Indeed, we were inspired by the OMG meta-models of BPMN and UML-AD and implemented versions of both meta-models using AToM3 . This latter one allows for the automatic generation of a visual-modeling tool for each proposed meta-model. Based on these two meta-models, we propose a graph grammar that is composed of 58 rules that perform the transformation process. The proposed approach is illustrated through three case studies.

Źródło:

Computer Science; 2022, 23 (3); 411--445
1508-2806
2300-7036

Pojawia się w:

Computer Science

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 86.

Tytuł:

Metody przeprowadzania analiz dotyczących ochrony wód podziemnych na obszarach wiejskich dla potrzeb SIP
Analytical method dealing with underground water protection on rural areas as required by the Spatial Information System

Autorzy:

Rudowicz-Nawrocka, J.

Powiązania:

https://bibliotekanauki.pl/articles/287480.pdf

Data publikacji:

2005

Wydawca:

Polskie Towarzystwo Inżynierii Rolniczej

Tematy:

system informacji przestrzennej
GIS
wody podziemne
obszary wiejskie
UML
spatial information system
underground water
rural areas

Opis:

Celem pracy było opracowanie, według podstawowych możliwości i funkcji analitycznych technologii systemów informacji przestrzennej (SIP), przykładowej analizy przestrzennej, której wynik może stanowić podstawę do podejmowania decyzji ułatwiających zarządzanie wodami podziemnymi na terenie gminy oraz przedstawienie przebiegu tej analizy za pomocą języka UML (Unified Modelling Language). Wykazano, że podstawowe możliwości SIP są wystarczające do wykonywania tego typu analiz. Nie ma konieczności wykorzystywania specjalistycznych systemów wspomagania decyzji. Ponadto stwierdzono, że na diagramie czynności UML można jednoznacznie przedstawić kroki wykonywanej analizy dotyczącej przetwarzania informacji przestrzennych.
Considering the characteristics and analytical functions of the spatial information system (SIS) technology an attempt was made to elaborate an exemplary spatial analysis, the results of which could be an useful base to making decisions concerning underground water management on district area as well as to presenting the course of analysis by using the unified modeling language (UML). It was stated that the basis SIS possibilities are sufficient to perform the analyses of this kind, without a necessity of using specialistic system aiding decision making. Moreover, it was found that the steps of analysis being carried out to process the spatial information, may be univocally presented on the diagram of UML activities.

Źródło:

Inżynieria Rolnicza; 2005, R. 9, nr 8, 8; 323-331
1429-7264

Pojawia się w:

Inżynieria Rolnicza

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 87.

Tytuł:

The register of prices and values for real estates database modelling, applying computer aided software engineering tools
Modelowanie bazy danych rejestru cen i wartości nieruchomości za pomocą narzędzi wspomagających projektowanie oprogramowania

Autorzy:

Bydłosz, J.

Powiązania:

https://bibliotekanauki.pl/articles/385429.pdf

Data publikacji:

2008

Wydawca:

Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie. Wydawnictwo AGH

Tematy:

ArcGIS
rejestr cen i wartości nieruchomości
XML
UML
register of prices and values for real estates

Opis:

This paper concerns the register of prices and values (RCiWN) for real estates database modelling, applying CASE (Computer Aided Software Engineering) tools. The paper’s first part contains legal basis and technical guidelines for register of prices and values (RCiWN) managing. The main purpose of researches that had been performed there was register of prices and values database creating. The register’s modelling includes the following stages – conceptual modelling, logical model building and physical model creation. The process of conceptual modelling has already been done before, for the Technical instruction G-5 contains register’s objects catalogue and their relation schema. The logical model has been built according to practically ready conceptual model that is included in instruction G-5. The register of prices and values objects, including corresponding attributes and links among them were created in Microsoft Visio. The UML notation was used. The author’s intention was the register of prices and values database creating with ArcInfo software, so the template from ESRI, ESRI XMI Export tool and SemanticsChecker macro were used. The register of prices and values for real estates were then exported into XML format file, that is semantically correct and corresponds with ArcInfo UML model. The final result of this work is the register of prices and values for real estates database in mdb format, ready for filling with data and possible further processing with ArcGIS software and other programs managing databases. The additional result is XML file that might be used for other works concerning ground and building cadastre system.
Publikacja dotyczy modelowania bazy danych rejestru cen i wartości nieruchomości za pomocą narzędzi CASE (komputerowe wspomaganie inżynierii oprogramowania). Pierwsza część pracy zawiera podstawy prawne funkcjonowania oraz wytyczne techniczne prowadzenia rejestru cen i wartości nieruchomości (RCiWN). Głównym celem wykonanych prac badawczych było stworzenie bazy danych rejestru. Modelowanie bazy RCiWN podzielono na następujące etapy: modelowanie pojęciowe, budowa modelu logicznego oraz utworzenie modelu fizycznego. Model logiczny został wykonany na podstawie gotowego w zasadzie modelu pojęciowego, zawartego w Instrukcji technicznej G-5. W programie Microsoft Visio utworzono obiekty rejestru cen i wartości nieruchomości podane w instrukcji, łącznie z ich odpowiednimi atrybutami, oraz wykonano połączenia między nimi. Wykorzystana tu została notacja UML. Zamierzeniem autora było utworzenie bazy danych rejestru w programie ArcInfo, stąd wykorzystano szablon dostarczony przez firmę ESRI, narzędzie ESRI XMI Export oraz makro SemanticsChecker. Następnie wykonano eksport modelu rejestru cen i wartości nieruchomości do pliku w formacie XML, który jest poprawny semantycznie i zgodny z modelem UML dla ArcInfo. Końcowym efektem pracy jest baza rejestru cen i wartości nieruchomości w formacie MDB, która jest gotowa do zapełnienia danymi i ewentualnej dalszej obróbki w programie ArcGIS lub programach obsługujących bazy danych. Dodatkowym rezultatem prac jest plik w formacie XML, który można próbować wykorzystać w innych pracach związanych z ewidencją gruntów i budynków.

Źródło:

Geomatics and Environmental Engineering; 2008, 2, 4; 25-33
1898-1135

Pojawia się w:

Geomatics and Environmental Engineering

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 88.

Tytuł:

Planowanie złożonego wdrożenia systemu IT
Planning of IT system complex deployment

Autorzy:

Laszko, Ł.
Stasiak, A.

Powiązania:

https://bibliotekanauki.pl/articles/273351.pdf

Data publikacji:

2011

Wydawca:

Wojskowa Akademia Techniczna im. Jarosława Dąbrowskiego

Tematy:

model topologii
model wdrożenia
planowanie wdrożenia
języki dziedzinowe
UML
topology model
deployment model
deployment planning
domain languages

Opis:

W artykule przedstawiono zestaw technik i modeli wspierających procesy planowania wdrożeń systemów IT. Złożoność tych procesów zilustrowano przykładem opisu wdrożenia produktów platformy Jazz wykorzystywanych w badaniach i dydaktyce na Wydziale Cybernetyki WAT. Dodatkowo wskazano kierunek rozwoju tych procesów: od modeli konfiguracji w języku UML, do kompletnych opisów wdrożen w postaci modeli topologii. Modele topologii mogą być uruchamiane, co pozwala na prowadzenie eksperymentów w zakresie architektury oprogramowania.
This paper presents a set of techniques as well as models supporting planning of IT systems deployment. The complexity of such processes was depicted using an example of the Jazz platform deployment which is widely use in research and didactics on Cybernetics Faculty at the MUT. Additionally, development directions for such processes were indicated, starting from UML's deployment models and ending in comprehensive topology models which provide the basement for architectural experiments.

Źródło:

Biuletyn Instytutu Automatyki i Robotyki; 2011, R. 17, nr 31, 31; 55-77
1427-3578

Pojawia się w:

Biuletyn Instytutu Automatyki i Robotyki

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 89.

Tytuł:

Strategie tworzenia systemów zarządzania wiedzą
Strategies for creating knowledge management systems

Autorzy:

Karwowski, W.

Powiązania:

https://bibliotekanauki.pl/articles/153731.pdf

Data publikacji:

2011

Wydawca:

Stowarzyszenie Inżynierów i Techników Mechaników Polskich

Tematy:

zarządzanie wiedzą
inżynieria wiedzy
projektowanie systemów informatycznych
UML
CommonKADS
knowledge management
knowledge engineering
design of information systems

Opis:

W pracy przedstawiono i przedyskutowano podstawowe metody i techniki stosowane w projektowaniu i implementacji systemów zarządzania wiedzą oraz omówiono typowe cykle zarządzania wiedzą. Następnie zaprezentowano strategie tworzenia systemu wspierającego zarządzanie wiedzą. W końcowej części omówiono perspektywy zastosowania omówionych metod i techniki do tworzenia systemów zarządzania wiedzą w produkcji roślinnej. Zaproponowano strategię projektowania i implementacji systemu zarządzania wiedzą w produkcji roślinnej.
Knowledge management systems play an increasing role in the modern world. This applies both to producing a product and using it. The access to the latest technology is not all - to get the desired effect you need to know when and how to use it. Several basic methods and techniques used for designing and implementing knowledge management systems are presented and quite thoroughly discussed. The very concept of knowledge together with its typical life cycles is elaborated. Then the specific features and peculiarities of knowledge management systems are pointed out and discussed. Some methodologies for designing and implementing knowledge management systems, including various UML-based approaches, are reviewed,. At the end the key elements of the CommonKADS methodology, being holistic approach to creating knowledge management systems, are given. This review is the starting point for the choice of strategy for the project "knowledge management tools in plant production" conducted, among others, by the authors of the present paper at the Department of Informatics of WULS - SGGW. An analysis of potential users, including scientific workers, officials, farmers, students, vendors, and service engineers form agribusiness, was performed. Roles in designing and implementing the system were identified and the whole project management strategy was prepared. In the final part of the paper the general architecture of the proposed system is described and illu-strated.

Źródło:

Pomiary Automatyka Kontrola; 2011, R. 57, nr 11, 11; 1384-1387
0032-4140

Pojawia się w:

Pomiary Automatyka Kontrola

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 90.

Tytuł:

Contribution a la formalisation de lelaboration des cartographies de processus
Wkład w rozwój formalizacji mapowania procesu

Autorzy:

Benmoussa, R.

Powiązania:

https://bibliotekanauki.pl/articles/406147.pdf

Data publikacji:

2011

Wydawca:

Politechnika Częstochowska

Tematy:

metamodelowanie
czynnik zmiany
podejście procesowe
UML
zunifikowany język modelowania
metamodelling
change factor
process approach
Unified Modelling Language

Opis:

Le travail présenté dans cet article contribue, à travers la modélisation UML, à la formalisation de la mise en oeuvre des cartographies de processus. A cause du flou d'utilisation perçu dans la littérature, nous commençons par définir les concepts de base sous jacent à l'approche processus. Nous nous basons ensuite sur la méta modélisation pour proposer une représentation de la structuration du savoir faire selon l'approche fonctionnelle et l'approche processus. Nous proposons enfin un modèle représentant le processus de passage entre les deux approches.
Prace przedstawione w tym artykule przyczynią się, poprzez UML, do formalizacji wykonania mapy procesu. Ze względu na postrzegane rozmycie stosowania w literaturze, musimy najpierw zdefiniować podstawowe koncepcje leżące u podstaw procesu. Wtedy możemy liczyć na model meta, aby zapewnić reprezentację struktury wiedzy, zgodnie z funkcją podejścia i podejścia procesowe. Wreszcie, proponujemy model reprezentujący proces przejścia między tymi dwoma podejściami.

Źródło:

Polish Journal of Management Studies; 2011, 4; 31-41
2081-7452

Pojawia się w:

Polish Journal of Management Studies

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 91.

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

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 92.

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

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 93.

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

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 94.

Tytuł:

Dane referencyjne: zastosowanie norm ISO serii 19100 do opisywania geometrii i położenia
Reference data: using the ISO standards series 19100 for describing geometry and position

Autorzy:

Pachelski, W.

Powiązania:

https://bibliotekanauki.pl/articles/385729.pdf

Data publikacji:

2009

Wydawca:

Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie. Wydawnictwo AGH

Tematy:

integracja modeli danych referencyjnych
standardy ISO
dyrektywa INSPIRE
UML
integration of the reference data
ISO standards
INSPIRE directive

Opis:

W pracy przedstawiono koncepcję integracji modeli danych referencyjnych, opartych na instrukcjach i wytycznych technicznych Głównego Geodety Kraju, z rozwiązaniami normatywnymi ISO serii 19100 w zakresie opisu geometrii danych wektorowych i położenia obiektów. Praca wykorzystuje metodykę, terminologię i formalizm wymienionych norm oraz języka UML.
The paper presents a conception of integration of the reference data, as defined by the national technical regulations and guidelines, with the ISO standards in the fields of vector geometry and position of spatial features. The methodology, terminology and formalism of the mentioned standards, as well as of the UML, are extensively used.

Źródło:

Geomatics and Environmental Engineering; 2009, 3, 1/1; 13-24
1898-1135

Pojawia się w:

Geomatics and Environmental Engineering

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 95.

Tytuł:

Semantic and Syntactic Interoperability Issues in the Context of SDI
Interoperacyjność semantyczna i syntaktyczna w kontekście infrastruktury danych przestrzennych

Autorzy:

Chojka, Agnieszka

Powiązania:

https://bibliotekanauki.pl/articles/385653.pdf

Data publikacji:

2020

Wydawca:

Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie. Wydawnictwo AGH

Tematy:

schemat aplikacyjny
wymiana danych
interoperacyjność semantyczna
interoperacyjność syntaktyczna
UML
GML
application schema
data exchange
semantic interoperability
syntactic interoperability

Opis:

Interoperability is one of the core concepts of Spatial Data Infrastructure due to the fact that exchange and access to spatial data is the foremost aim of any SDI. These issues are closely related to the concept of application schema that plays a significant role in interchanging spatial data and information across SDI. It is the basis of a successful data interchange between two systems as it defines the possible content and structure of data, thus it covers both semantic and syntactic interoperability. These matters also appear in a couple of questions concerning SDI including, among others, a model driven approach and data specifications. Spatial data exchange through SDI involves UML and GML application schemas that comprise semantic and syntactic interoperability respectively. How ever, working out accurate and correct application schemas may be a challenge. Moreover, their faultiness or complexity may influence the ability to valid data interchange. The principal subject of this paper is to present the concept of interoperability in SDI, especially semantic and syntactic, as well as to discuss the role of UML and GML application schemas during the interoperable exchange of spatial data over SDI. Considerations were conducted focusing on the European SDI and the National SDI in Poland.
Interoperacyjność jest jedną z podstawowych koncepcji infrastruktury danych przestrzennych (SDI), ponieważ wymiana i dostęp do danych przestrzennych są głównymi jej celami. Zagadnienie to jest ściśle związane z pojęciem schematu aplikacyjnego, który z kolei odgrywa kluczową rolę podczas interoperacyjnej wymiany danych i informacji przestrzennych w SDI. Stanowi on podstawę pomyślnej wymiany danych między dwoma systemami, ponieważ definiuje możliwą zawartość i strukturę danych, a więc obejmuje zarówno interoperacyjność semantyczną, jak i składniową. Problematyka ta pojawia się również w kilku innych kwestiach związanych z SDI, takich jak na przykład podejście oparte na modelu czy specyfikacje danych przestrzennych. Proces wymiany danych przestrzennych w SDI wymaga przygotowania schematów aplikacyjnych UML i GML, które obejmują interoperacyjność semantyczną i składniową. Opracowanie odpowiednich i poprawnych schematów aplikacyjnych może jednak nie być proste. Ponadto błędne lub zbyt złożone struktury danych mogą mieć negatywny wpływ na przebieg procesu wymiany danych. Głównym przedmiotem artykułu jest przedstawienie koncepcji interoperacyjności w SDI, w szczególności interoperacyjności semantycznej i składniowej, jak również omówienie roli schematów aplikacyjnych UML i GML podczas wymiany danych przestrzennych w SDI. Rozważania przeprowadzono na przykładzie europejskiej i krajowej infrastruktury danych przestrzennych w Polsce.

Źródło:

Geomatics and Environmental Engineering; 2020, 14, 3; 5-20
1898-1135

Pojawia się w:

Geomatics and Environmental Engineering

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 96.

Tytuł:

Modele danych przestrzennych w UML i ich transformacja do schematów GML i struktur baz danych
UML geospatial data models and their transformation into GML schemas and database structures

Autorzy:

Michalak, J.
Chojka, A.
Zwirowicz-Rutkowska, A.
Parzyński, Z.

Powiązania:

https://bibliotekanauki.pl/articles/1818481.pdf

Data publikacji:

2012

Wydawca:

Polskie Towarzystwo Informacji Przestrzennej

Tematy:

geoinformacja
informacja geograficzna
model pojęciowy
UML
model relacyjny
transformacja
geoinformation
geographic information
conceptual model
application schema
GML
relational model
transformation

Opis:

Celem monografii jest przedstawienie czytelnikom podstawowych metodyk, technik i narzędzi przeznaczonych do budowy modeli pojęciowych danych przestrzennych na poziomie pojęciowym i implementacyjnym, a następnie do transformacji tych modeli do schematów XSD bazujących na języku GML i do zapisów struktur baz danych w języku DDL. Całość składa się z dwunastu rozdziałów dotyczących poszczególnych aspektów budowy modeli i ich transformacji. Wstęp wprowadza czytelników w całą przedstawianą problematykę i naświetla szerszy teoretyczny kontekst z zakresu modelowania i wykorzystania modeli w zastosowaniach praktycznych. Rozdział drugi poświęcony jest nowym metodom zapisu danych przestrzennych opartego na językach znacznikowych, a w szczególności na języku GML, objaśnia zasady takiego zapisu, zawiera krótką historię języka GML i przedstawia inne języki znacznikowe z nim powiązane. Rozdziały trzeci i czwarty stanowią wprowadzenie do modelowania informacji przestrzennej opartego o metodykę MDA z wykorzystaniem języka UML i zawierają przegląd standardów i narzędzi służących temu modelowaniu. W rozdziałach piątym i szóstym przedstawione są podstawowe zasady budowy tematycznych schematów aplikacyjnych w metodyce języka UML i języka GML zilustrowane przykładami. Rozdział siódmy poświęcony jest zagadnieniom transformacji schematów aplikacyjnych z UML do GML, a w szczególności wymaganiom i ograniczeniom, jakie muszą być spełnione, a także dostępnym narzędziom. Kolejny ósmy rozdział dotyczy modeli UML dedykowanych komponentowi infrastruktury krajowej, przeznaczonym dla Służby Geodezyjnej i Kartograficznej. W rozdziale dziewiątym dokonany jest przegląd najczęściej popełnianych błędów w budowie modeli UML przeznaczonych do utworzenia schematów bazujących na języku GML. Tematem rozdziału dziesiątego jest zastosowanie metodyki MDA do transformacji modeli UML do struktur relacyjnych baz danych. Rozdział jedenasty zawiera metodyczną analizę różnych przypadków występujących w modelach danych tematów aneksów II i III dyrektywy INSPIRE, w tym porównanie z modelami tematów aneksu I, analizę różnych typów i form danych, jakie tam występują. Dwunasty rozdział to podsumowanie, w którym zwraca się szczególną uwagę na dynamiczny rozwój metod z tego zakresu, zmiany zachodzące w zakresie stosowanej terminologii i skutki, jakie te zmiany za sobą pociągają.
The main objective of the monograph is to present essential methodologies, technologies and software tools dedicated to building conceptual models of geospatial data on conceptual level, and implementation level, and then to be transformed into XSD schemas based on GML language and to encode data bases structures in DDL language. The whole monograph consists of twelve chapters concerning different aspects of models development and their transformation. The introduction familiarizes readers with all issues presented and clarifies broader theoretical context with regard to modeling and exploitation of models in practical applications. The second chapter is dedicated to modern methods of encoding spatial data based on markup languages, in particular on GML language; rules for that encoding are also explained. This chapter contains a short history of GML language and presents other markup languages associated with it. Chapters three and four provide an introduction to spatial information modeling based on MDA methodology with application of UML language and it contains a review of standards and tools dedicated to such modeling. In chapters five and six, essential rules of development of thematic application schemas are presented in the methodology of UML and GML languages. Examples to illustrate them are provided. Chapter seven is dedicated to issues of transformation application schemas from UML to GML, in particular to the requirements and constrains that must be fulfilled and also to available tools. The next chapter eight concerns UML models dedicated to components of the national infrastructure designated for Geodetic and Cartographic Service. In chapter nine, a review of most frequent mistakes committed in drawing up UML models dedicated to generating of schemas based on GML language are presented. The subject of chapter ten is the application of MDA methodology for transformation of UML models into relational databases structures. Chapter eleven contains methodological analysis of various cases occurring in data models for the themes defined in Annex II and III of INSPIRE Directive as well as a comparison with the models for themes defined in Annex I and an analysis of various data forms occuring there. In chapter twelve, the recapitulation is presented, in which dynamic development of methods in this area is taken in consideration. In addition, significant changes in the terminology and the effects of these changes are discussed.

Źródło:

Roczniki Geomatyki; 2012, 10, 1
1731-5522
2449-8963

Pojawia się w:

Roczniki Geomatyki

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 97.

Tytuł:

System Zdalnego Egzaminowania
Examining remote system

Autorzy:

Piotrowicz, M.
Chudzikiewicz, J.

Powiązania:

https://bibliotekanauki.pl/articles/273339.pdf

Data publikacji:

2011

Wydawca:

Wojskowa Akademia Techniczna im. Jarosława Dąbrowskiego

Tematy:

aplikacja internetowa
usługa sieciowa
weryfikacja wiedzy studenta
procedury składowane
UML
ASP.NET
web application
network service
student's knowledge verification
stored procedures

Opis:

W artykule przedstawiono opis projektu oraz implementacji wybranych elementów Systemu Zdalnego Egzaminowania. Zaprezentowano mechanizmy obsługi bazy danych z wykorzystaniem procedur składowanych. Omówiono sposób integracji opracowywanego systemu z istniejącym systemem dziennika nauczyciela oraz sposób użytkowania aplikacji.
A design description including implementation of selected elements of an examining remote system is presented in the paper. Mechanisms of database maintenance using stored procedures are shown. An integration of the elaborated system with the existing system of teacher's diary has been discussed. An explanation to the use of application is given.

Źródło:

Biuletyn Instytutu Automatyki i Robotyki; 2011, R. 17, nr 31, 31; 37-52
1427-3578

Pojawia się w:

Biuletyn Instytutu Automatyki i Robotyki

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 98.

Tytuł:

Odwzorowanie hierarchicznych interpretowanych sieci Petriego sterowania z makromiejscami w diagramach aktywności UML
Mapping of hierarchical control interpreted Petri nets with macroplaces in UML activity diagrams

Autorzy:

Grobelny, M.

Powiązania:

https://bibliotekanauki.pl/articles/153447.pdf

Data publikacji:

2012

Wydawca:

Stowarzyszenie Inżynierów i Techników Mechaników Polskich

Tematy:

UML
diagramy aktywności
interpretowane sieci Petriego sterowania
specyfikacja behawioralna
specyfikacja hierarchiczna
activity diagrams
control interpreted Petri nets
behavioural specification
hierarchical specification

Opis:

Artykuł przedstawia metodę odwzorowania hierarchicznych interpretowanych sieci Petriego sterowania z makromiejscami w diagramach aktywności języka UML. Zgodnie z przyjętą zasadą odwzorowania akcji w tranzycjach sieci Petriego nie ma możliwości bezpośredniej graficznej reprezentacji miejsc interpretowanej sieci Petriego sterowania w diagramach UML. Jednocześnie konieczna jest zamiana takich elementów jak wyjścia przypisane do miejsc na aktywację i dezaktywację wyjść przy realizacji tranzycji oraz zamiany makromiejsc w makrotranzycje. Takie postępowanie kom-plikuje cały proces oraz może wprowadzać nieznaczne rozbieżności pomiędzy specyfikacją źródłową i docelową.
The paper presents a method for mapping hierarchical control interpreted Petri nets into activity diagrams of UML. Usage of both specification techniques is possible considering international and multicultural design projects specifying hardware behavioural properties of a control process. Sometimes use of two different modelling techniques can be reasonable. After a short introduction (Section 1), a sample control process and its graphical interpretation using the control interpreted Petri net is described (Section 2). Fig. 1 shows the real model of the considered process of transportation of friable goods, whereas Fig. 2 presents graphical specification of the process with use of the control interpreted Petri net. Fig. 3 shows interpretation of action of UML activity diagrams in Petri nets. Due to no direct representation of the system state in UML activity diagrams, the outputs attached to places have to be exchanged with the outputs activated and deactivated with transitions firings. Sample output replacement scenario is depicted in Fig. 4 and is in details described in Section 3. Fig. 5 presents specification of the deliberated control process with usage of Mealy outputs (after replacement). On the other hand, conversion of macroplaces into macrotransitions is shown in Section 4 with graphical representation after exchange in Fig. 6. Section 5 describes transformation of the prepared Petri net into the activity diagram of UML with the process graphical representation in Fig. 7. Finally, Section 6 concludes the paper.

Źródło:

Pomiary Automatyka Kontrola; 2012, R. 58, nr 6, 6; 506-509
0032-4140

Pojawia się w:

Pomiary Automatyka Kontrola

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 99.

Tytuł:

Analiza dostosowania obowiązujących struktur i treści danych ewidencji gruntów i budynków do wymagań INSPIRE
Analysis of adaptation of the structure and contents of the land and buildings registry to INSPIRE requirements

Autorzy:

Wróblewska, K.
Pachelski, W.

Powiązania:

https://bibliotekanauki.pl/articles/346800.pdf

Data publikacji:

2016

Wydawca:

Polskie Towarzystwo Informacji Przestrzennej

Tematy:

ewidencja gruntów i budynków
INSPIRE
EGiB
schemat aplikacyjny
działka katastralna
budynek
UML
land and building registry
cadastre
application schema
cadastral parcel
building

Opis:

Celem niniejszej pracy jest zinwentaryzowanie różnic pomiędzy modelem danych INSPIRE dla tematów: „działki katastralne” i „budynki” a obowiązującym modelem danych ewidencji gruntów i budynków. W ramach pracy wykonano analizę dostosowania tych modeli, mającą na celu sprawdzenie, na ile polskie zbiory danych katastralnych, gromadzone zgodnie z modelem danych według (Rozporządzenie, 2001), są zgodne z wymaganiami zawartymi w specyfikacjach INSPIRE dla analizowanych tematów, (INSPIRE–D2.8.I.6, 2014) i (INSPIRE–D2.8.III.2, 2013).W wyniku przeprowadzonych analiz stwierdzono, że obowiązujący model danych ewidencji gruntów i budynków spełnia wymagania INSPIRE dla tematów: „działki katastralne” i „budynki”. Jednakże, znaczna część atrybutów opcjonalnych, występujących w modelach danych INSPIRE, nie będzie mogła być zasilona danymi zawartymi w zbiorach krajowych.
The purpose of this work is making an inventory of the differences between the INSPIRE data model for the themes „cadastral parcel” and „buildings” and the current data model records of the land and buildings registry. As a part of the work we analyzed the relevant adaptation of these models; one of the objectives was to check how many Polish cadastral data sets, collected in accordance with the data model (2001) meet the requirements set out in the INSPIRE specifications for analyzed themes, (INSPIRE- D2.8.I.6, 2014) and (INSPIRE-D2.8.III.2, 2013). As a result of the analysis, it was found that the existing data model is compliant with the requirements of INSPIRE for the themes “cadastral parcels” and „buildings”. However, a significant part of optional attributes included in INSPIRE data models cannot be supported by data contained in the national repository.

Źródło:

Roczniki Geomatyki; 2016, 14, 2(72); 253-269
1731-5522
2449-8963

Pojawia się w:

Roczniki Geomatyki

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 100.

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

/5

Artykuł

Zmień widok

• na półce