Informacja

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

English (EN)·Polski (PL)·Yкраїнський (UK)
Przejdź do strony domowej biblioteki Centralna Biblioteka Wojskowa Link otwiera się w nowym oknie Logo biblioteki Prolib Integro - strona głównaCentralna Biblioteka Wojskowa

Wyszukujesz frazę "graph transformation" wg kryterium: Temat

  Lista filtrów
Wyrównaj
    Wyświetlanie 1-6 z 6
    Tytuł:
    A UML 2.0 activity diagrams/csp integrated approach for modeling and verification of software systems
    Autorzy:
    Elmansouri, Raida
    Meghzili, Said
    Chaoui, Allaoua
    Powiązania:
    https://bibliotekanauki.pl/articles/2097950.pdf
    Data publikacji:
    2021
    Wydawca:
    Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie. Wydawnictwo AGH
    Tematy:
    model-driven engineering
    graph transformation
    transformation correctness
    model checker
    groove
    software systems
    Opis:
    This paper proposes an approach that integrates UML 2.0 Activity Diagrams (UML2-ADs) and the communicating sequential process (CSP) for modeling and verifying software systems. A UML2-AD is used for modeling a software system, while a CSP is used for verification purposes. The proposed approach consists of another way of transforming UML2-AD models to CSP models. It also focuses on checking the correctness of some properties of the transformation itself. These properties are specified using linear temporal Logic (LTL) and verified using the GROOVE model checker. This approach is based on model -driven engineering (MDE). The meta-modeling is realized using the AToMPM tool, while the model transformation and the correctness of its properties are realized using the GROOVE tool. Finally, we illustrated this approach through a case study.
    Źródło:
    Computer Science; 2021, 22 (2); 209-233
    1508-2806
    2300-7036
    Pojawia się w:
    Computer Science
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    GRADIS - środowisko dla Rozproszonych Transformacji Grafowych (z perspektywy pięciu lat badań)
    GRADIS - environment for Distributed Graph Transformation (from the five year perspective)
    Autorzy:
    Kotulski, L.
    Powiązania:
    https://bibliotekanauki.pl/articles/274597.pdf
    Data publikacji:
    2011
    Wydawca:
    Sieć Badawcza Łukasiewicz - Przemysłowy Instytut Automatyki i Pomiarów
    Tematy:
    transformacje grafowe
    przetwarzanie rozproszone
    systemy agentowe
    graph transformation
    distributed and parallel processing
    multi-agent system
    Opis:
    W niniejszym artykule zaprezentowano historię prowadzonych w Katedrze Automatyki pod kierunkiem Autora badań w zakresie przetwarzania transformacji grafowych w środowisku rozproszonym.
    The article presents a brief history of investigation made in the area of the distributed graph transformation. Their effect is designing the multiagent GRADIS environment.
    Źródło:
    Pomiary Automatyka Robotyka; 2011, 15, 12; 150-151
    1427-9126
    Pojawia się w:
    Pomiary Automatyka Robotyka
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Review of The Data Modeling Standards and Data Model Transformation Techniques
    Autorzy:
    Jaskierny, Leszek
    Powiązania:
    https://bibliotekanauki.pl/articles/118081.pdf
    Data publikacji:
    2018
    Wydawca:
    Polskie Towarzystwo Promocji Wiedzy
    Tematy:
    business standards
    interoperability
    canonical data models
    graphs
    graph databases
    graph transformation
    standardy biznesowe
    interoperacyjność
    modele danych kanonicznych
    wykresy
    bazy danych wykresów
    transformacje grafowe
    Opis:
    Manual data transformations that result in high error rates are a big problem in complex integration and data warehouse projects, resulting in poor quality of data and delays in deployment to production. Automation of data trans-formations can be easily verified by humans; the ability to learn from past decisions allows the creation of metadata that can be leveraged in future mappings. Significant improvement of the quality of data transformations can be achieved, when at least one of the models used in transformation is already analyzed and understood. Over recent decades, particular industries have defined data models that are widely adopted in commercial and open source solutions. Those models (often industry standards, accepted by ISO or other organizations) can be leveraged to increase reuse in integration projects resulting in a) lower project costs and b) faster delivery to production. The goal of this article is to provide a comprehensive review of the practical applications of standardization of data formats. Using use cases from the Financial Services Industry as examples, the author tries to identify the motivations and common elements of particular data formats, and how they can be leveraged in order to automate process of data transformations between the models.
    Źródło:
    Applied Computer Science; 2018, 14, 4; 93-108
    1895-3735
    Pojawia się w:
    Applied Computer Science
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Extending the MAX Algorithm for Maximum Independent Set
    Autorzy:
    Lê, Ngoc C.
    Brause, Christoph
    Schiermeyer, Ingo
    Powiązania:
    https://bibliotekanauki.pl/articles/31339469.pdf
    Data publikacji:
    2015-05-01
    Wydawca:
    Uniwersytet Zielonogórski. Wydział Matematyki, Informatyki i Ekonometrii
    Tematy:
    maximum independent set
    stable set
    stability number
    independence number
    reduction
    graph transformation
    MAX Algorithm
    MIN Algorithm
    Vertex Order Algorithm
    Opis:
    The maximum independent set problem is an NP-hard problem. In this paper, we consider Algorithm MAX, which is a polynomial time algorithm for finding a maximal independent set in a graph G. We present a set of forbidden induced subgraphs such that Algorithm MAX always results in finding a maximum independent set of G. We also describe two modifications of Algorithm MAX and sets of forbidden induced subgraphs for the new algorithms.
    Źródło:
    Discussiones Mathematicae Graph Theory; 2015, 35, 2; 365-386
    2083-5892
    Pojawia się w:
    Discussiones Mathematicae Graph Theory
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Automatic bridge between BPMN models and UML activity diagrams based on graph transformation
    Autorzy:
    Rahmoune, Yasmina
    Chaoui, Allaoua
    Powiązania:
    https://bibliotekanauki.pl/articles/27312904.pdf
    Data publikacji:
    2022
    Wydawca:
    Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie. Wydawnictwo AGH
    Tematy:
    MDE
    BPMN
    business process models
    UML-AD
    meta-modeling
    graph grammars
    models transformation
    AToM3
    Opis:
    Model-driven engineering (MDE) provides the available tools, concepts, and languages for creating and transforming models. One of the most important successes of MDE is model transformation; it permits the transformion of models that are used by one community to equivalent models that can be used by another one. Moreover, each community of developers has its own tools for verification, testing, and test-case generation. Hence, a developer of one community who moves to another community needs a transformation process from the second community to his/her own community and vice versa. Therefore, the target community can benefit from the expertise of the source one, and the developers do not begin from zero. In this context, we propose an automatic transformation in this paper for creating a bridge between the BPMN and UML communities. We propose an approach and a visual tool for the automatic transformation of BPMN models to UML activity diagrams (UML-AD). The proposed approach is based on meta-modeling and graph transformation and uses the AToM3 tool. Indeed, we were inspired by the OMG meta-models of BPMN and UML-AD and implemented versions of both meta-models using AToM3 . This latter one allows for the automatic generation of a visual-modeling tool for each proposed meta-model. Based on these two meta-models, we propose a graph grammar that is composed of 58 rules that perform the transformation process. The proposed approach is illustrated through three case studies.
    Źródło:
    Computer Science; 2022, 23 (3); 411--445
    1508-2806
    2300-7036
    Pojawia się w:
    Computer Science
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Robust Diagnosis of a Proton Exchange Membrane Fuel Cell Using Bond Graph Methodology – Physical and Electrical Faults Detection and Isolation
    Autorzy:
    Sallami, Abderrahmene
    Mzoughi, Dhia
    Allagui, Hatem
    Mami, Abdelkader
    Powiązania:
    https://bibliotekanauki.pl/articles/103256.pdf
    Data publikacji:
    2019
    Wydawca:
    Stowarzyszenie Inżynierów i Techników Mechaników Polskich
    Tematy:
    robust diagnosis
    bond graph approach
    PEM fuel cell
    linear fractional transformation
    performance of the observer
    solidna diagnoza
    podejście do wykresu wiązań
    ogniwo paliwowe PEM
    liniowe transformacje ułamkowe
    ocena wyników obserwatora
    Opis:
    Fuel cells are currently experiencing an invigorating resurgence, both at the industrial and research levels. Diagnosis of stack performance is of importance for proton exchange membrane fuel cell (PEMFC) research. In this paper, a bond graph (BG) approach was used for modelling, simulation and robust diagnosis of a PEMFC. In literature, several PEMFC diagnosis methodologies were outlined in terms of efficiency and applicability. This paper described the linear fractional transformations (LFT) method to make it capable for handling the PEMFC diagnostics; an approach based on LFT-BG was developed to diagnose hydration and cells deterioration faults that may occur within a fuel cell. Simulation and experimental diagnostic testing results of a 1.2 kW Nexa fuel cell were presented and used to show the dynamic behaviour of the system variables and assessing the performance of the observer.
    Źródło:
    Advances in Science and Technology. Research Journal; 2019, 13, 4; 194-203
    2299-8624
    Pojawia się w:
    Advances in Science and Technology. Research Journal
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
      Wyświetlanie 1-6 z 6

      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