Informacja

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

Wyszukujesz frazę "model UML" wg kryterium: Temat


Wyświetlanie 1-12 z 12
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
Artykuł
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
Artykuł
Tytuł:
Konstrukcja diagramu klas UML z zastosowaniem Model-Driven Development
Construction of UML class diagram with Model-Driven Development
Autorzy:
Górski, T.
Sowa, M.
Powiązania:
https://bibliotekanauki.pl/articles/209524.pdf
Data publikacji:
2016
Wydawca:
Wojskowa Akademia Techniczna im. Jarosława Dąbrowskiego
Tematy:
Model-Driven Development
transformacje
Unified Modeling Language
Model analityczny/projektowy
diagram klas UML
diagram komunikacji UML
transformations
Unified Modelling Language
analysis/design model
UML class diagram
UML communication diagram
Opis:
Transformacje modeli odgrywają istotną rolę w projektach projektowania systemów informatycznych wykorzystujących Model-Driven Development (MDD). Pozwalają automatyzować powtarzalne i dobrze określone czynności, przez co skracają czas projektowania oraz umożliwiają zmniejszenie liczby błędów. Wpodejściu obiektowym kluczowymi elementami są przypadki użycia. Są one opisywane, modelowane, a później projektowane, aż uzyskiwany jest działający kod aplikacji. W artykule przedstawiono transformację Communication-2-Class umożliwiającą automatyzację konstrukcji diagramu klas języka Unified Modeling Language (UML) tworzonego w realizacji przypadku użycia w ramach modelu analitycznego/projektowego. Diagram klas UML tworzony jest na podstawie diagramu komunikacji UML dla realizacji przypadku użycia. Dzięki temu diagram klas przedstawia wszystkie klasy zaangażowane w realizację przypadku użycia i związki między nimi. Wtyczka realizująca transformację Communication-2-Class została zrealizowana w środowisku IBMRational Software Architect. W artykule przedstawiono także wyniki testów opracowanej wtyczki realizującej transformację Communication-2-Class pokazujące możliwości skrócenia czasu projektowania realizacji przypadku użycia.
Model transformations play a key role in software development projects based on Model-Driven Development (MDD) principles. Transformations allow for automation of repetitive and well-defined steps, thus shortening design time and reducing a number of errors. In the object-oriented approach, the key elements are use cases. They are described, modelled and later designed until executable application code is obtained. The aim of the paper is to present transformation of a model-to-model type, Communication-2-Class, which automates construction of Unified Modelling Language (UML) class diagram in the context of the analysis/design model. An UML class diagram is created based on UML communication diagram within use case realization. As a result, a class diagram shows all of the classes involved in the use case realization and the relationships among them. The plug-in which implements Communication-2-Class transformation was implemented in the IBMRational Software Architect. The article presents the tests results of developed plug-in, which realizes Communication-2-Class transformation, showing capabilities of shortening use case realization’s design time.
Źródło:
Biuletyn Wojskowej Akademii Technicznej; 2016, 65, 1; 111-129
1234-5865
Pojawia się w:
Biuletyn Wojskowej Akademii Technicznej
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
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
Artykuł
Tytuł:
Diagramy aktywności języka UML i sieci Petriego w systemach sterowania binarnego - od transformacji do weryfikacji
UML activity diagrams and Petri nets in binary control systems - from transformation to verification
Autorzy:
Grobelny, M.
Grobelna, I.
Powiązania:
https://bibliotekanauki.pl/articles/158260.pdf
Data publikacji:
2010
Wydawca:
Stowarzyszenie Inżynierów i Techników Mechaników Polskich
Tematy:
diagramy aktywności UML
sieci Petriego
weryfikacja modelowa
UML activity diagrams
Petri nets
model checking
Opis:
Język UML jest technologią powszechnie stosowaną w świecie naukowym oraz w przemyśle. Sieci Petriego są modelem matematycznym ogólnego zastosowania ugruntowanym od wielu lat. Obie te techniki doskonale nadają się do specyfikacji procesów sterowania. Jednakże jako odmienne, każda z nich posiada unikatowe właściwości. Technika weryfikacji modelowej jest jedną z metod formalnej weryfikacji specyfikacji pozwalającą na zdiagnozowanie błędów w specyfikacji wymagań albo w opisie modelu. Artykuł przedstawia metodę transformacji pomiędzy obiema wymienionymi technikami specyfikacji w celu formalnej weryfikacji projektu sterowania opisanego w języku UML.
Unified Modeling Language (UML) [1-3, 5, 6-8] is commonly used in scientific and industrial world. Petri nets [9] are mathematical model used for a long period of time. Both techniques are well suited for control processes specification. However, they are quite different. Each technique has its own unique properties. Model checking technique [14-17] is one of formal verification methods [18] for specifications. It allows detecting errors either in requirements specification or in model description. The paper presents the method for transformation between both mentioned specification techniques - from UML activity diagram (Fig. 1) to Petri net (Fig. 4), using some defined rules [10, 11]. Mapping of particular elements is presented in Table 1. Petri net after direct transformation may include redundant places which can be after-wards removed. Then, it is possible to formally verify control process described in UML. The proposed model checker tool is NuSMV [20]. NuSMV (Fig. 5) compares model description (Fig. 6 - 8) and requirements (Fig. 9) which have to be fulfilled. The requirements are defined using temporal logic. If a specified requirement may not be fulfilled, appropriate counterexamples are generated (Fig. 10) which allow detecting an error source. Then, the specification can be corrected and model checking process can start again, sometimes including only the particular part of a designed system.
Źródło:
Pomiary Automatyka Kontrola; 2010, R. 56, nr 10, 10; 1154-1158
0032-4140
Pojawia się w:
Pomiary Automatyka Kontrola
Dostawca treści:
Biblioteka Nauki
Artykuł
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
Artykuł
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
Artykuł
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
Artykuł
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
Artykuł
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
Artykuł
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
Artykuł
Tytuł:
Propozycja modelu pojęciowego danych wieczysto-księgowych
Proposal of a conceptual model of the land register data
Autorzy:
Góźdź, K.
Pachelski, W.
Powiązania:
https://bibliotekanauki.pl/articles/345950.pdf
Data publikacji:
2014
Wydawca:
Polskie Towarzystwo Informacji Przestrzennej
Tematy:
księga wieczysta
modelowanie pojęciowe
UML
katastralny model administrowania terenem
land register
conceptual modeling
Land Administration Domain Model
Opis:
Celem artykułu jest przedstawienie modelu pojęciowego danych wieczysto-księgowych, opracowanego zgodnie z metodyką modelowania informacji geograficznej opisaną w normach ISO serii 19100 – Geographic Information. Księgi wieczyste pełnią istotną rolę w budowie infrastruktury informacyjnej państwa, pozwalają bowiem na ustalenie stanu prawnego nieruchomości rozumianego jako ujawnione w księgach prawo własności i użytkowania wieczystego, ograniczone prawa rzeczowe oraz prawa osobiste i roszczenia. Obecnie księgi wieczyste są prowadzone przez sądy rejonowe w systemie informatycznym NKW, zaś treść ksiąg wieczystych jest gromadzona w Centralnej Bazie Danych Ksiąg Wieczystych. System NKW pozwala na każdorazową rejestrację zestawu informacji dotyczących pojedynczej księgi wieczystej. W zaproponowanym modelu pojęciowym danych wieczysto-księgowych określono klasy obiektów, ich właściwości (atrybuty) oraz powiązania, stosując przy tym jednolity sposób definiowania i opisu obiektów w języku UML. Zarekomendowano również uzupełnienie obecnej struktury danych wieczysto-księgowych o nowe atrybuty służące identyfikacji obiektów oraz określające ich cykl życia. Stwierdzono, że docelowe wykorzystanie obiektowego modelu danych przyczyni się do eliminacji redundancji informacji oraz wprowadzenia licznych usprawnień pozwalających na skrócenie czasu rejestracji danych, automatyzację procesów aktualizacyjnych oraz umożliwianie wyszukiwania danych i zaawansowanych analiz. W drugiej części artykułu dokonano analizy modelu ksiąg wieczystych pod kątem jego zbieżności z wzorcem LADM. Satysfakcjonujący poziom zgodności pomiędzy modelami upoważnił do stwierdzenia, że propozycja schematu jest prawidłowa z punktu widzenia prezentowanego zakresu informacyjnego i może stanowić podstawę do dalszych rozwinięć w zależności od potrzeb i oczekiwań użytkowników.
The main objective of this paper is to present a conceptual model of land register data, drawn up in accordance with methodology of modeling geographic information described in ISO 19100 series of Geographic Information Standards. The land register plays a crucial role in developing the national information infrastructure, because it enables to determine legal status of the property, understood as rights revealed in land books (pl. księgi wieczyste) such as: the right of ownership and perpetual usufruct, limited property rights as well as personal rights and claims. Land books are currently carried out by district courts in the IT-system called "NKW". Their content is stored in the Central Database of Land Register. "NKW" system allows to register each time the set of information concerning a single land book. The proposed conceptual model of land register data specifies classes of objects, their features (attributes) and relations between them, with the usage of unified way for defining and describing objects in UML. It is recommended to complement the current structure of land register data with new attributes serving identification of objects and defining their life cycles. The target use of object-oriented data model will contribute to elimination of redundant information and introduction of many improvements allowing to shorten the time of registering data, to automate the updating processes and the use of searching and analyzing services. In the second part of the paper, analysis of the model of land register data in terms of its compliance with the LADM standard is carried out. A satisfactory level of conformity between models entitles to the statement that the proposed UML application scheme is correct from the point of view of its contents and it may constitute a basis for further developments, depending on the needs and expectations of users.
Źródło:
Roczniki Geomatyki; 2014, 12, 3(65); 259-278
1731-5522
2449-8963
Pojawia się w:
Roczniki Geomatyki
Dostawca treści:
Biblioteka Nauki
Artykuł
    Wyświetlanie 1-12 z 12

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