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-24 z 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
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ł
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ł
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
Artykuł
Tytuł:
New features in UML syntax and semantics
Autorzy:
Wolski, M.
Stasiak, A.
Powiązania:
https://bibliotekanauki.pl/articles/92885.pdf
Data publikacji:
2006
Wydawca:
Uniwersytet Przyrodniczo-Humanistyczny w Siedlcach
Tematy:
unified modeling language
UML 2.0
model of IT system
new modeling techniques
Opis:
This paper is an overview of the most important new features introduced to version 2.0 of Unified Modeling Language. We denote the changes to existing diagram and present four new modeling techniques. We present the changes in definitions of syntax, semantics and pragmatics of behavioral and static models of systems designed with UML 2.0. Particular emphasis is put on the changes to sequence and activity diagrams and to component diagrams. The newly introduced diagrams, unknown in previous UML versions - interaction overview diagrams, timing diagrams, composite structure diagrams and package diagrams - are described with the most detail.
Źródło:
Studia Informatica : systems and information technology; 2006, 1(7); 265-276
1731-2264
Pojawia się w:
Studia Informatica : systems and information technology
Dostawca treści:
Biblioteka Nauki
Artykuł
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
Artykuł
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
Artykuł
Tytuł:
Formal analysis of use case diagrams
Formalna analiza diagramów przypadków użycia
Autorzy:
Klimek, R.
Szwed, P.
Powiązania:
https://bibliotekanauki.pl/articles/305621.pdf
Data publikacji:
2010
Wydawca:
Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie. Wydawnictwo AGH
Tematy:
UML
przypadek użycia
model formalny
weryfikacja
weryfikacja modelowa
logika temporalna
metoda tablic semantycznych
use case
formal model
verification
model checking
temporal logic
semantic tableau
Opis:
Use case diagrams play an important role in modeling with UML. Careful modeling is crucial in obtaining a correct and efficient system architecture. The paper refers to the formal analysis of the use case diagrams. A formal model of use cases is proposed and its construction for typical relationships between use cases is described. Two methods of formal analysis and verification are presented. The first one based on a states' exploration represents a model checking approach. The second one refers to the symbolic reasoning using formal methods of temporal logic. Simple but representative example of the use case scenario verification is discussed.
Diagramy przypadków użycia odgrywają znaczącą rolę w modelowaniu systemów z wykorzystaniem UML. Staranne i dokładne modelowanie ma zasadnicze znaczenie w postępowaniu umożliwiającym uzyskanie poprawnej i efektywnej architektury systemu. Artykuł odnosi się do formalnej analizy diagramów przypadków użycia. Został zaproponowany model formalny przypadku użycia, a także opisano odpowiednie konstrukcje dla relacji występujących pomiędzy przypadkami użycia. Zostały przedstawione dwie formalne metody ich analizy i weryfikacji. Pierwsza oparta jest na eksploracji stanów i reprezentuje podejście nazwane weryfikacją modelową. Druga odwołuje się do wnioskowania symbolicznego z wykorzystaniem logiki temporalnej. Został pokazany prosty i reprezentatywny przykład weryfikacji pewnego scenariusza przypadku użycia.
Źródło:
Computer Science; 2010, 11; 115-131
1508-2806
2300-7036
Pojawia się w:
Computer Science
Dostawca treści:
Biblioteka Nauki
Artykuł
    Wyświetlanie 1-24 z 24

    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