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


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

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