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ę "UML" wg kryterium: Temat

  Lista filtrów
Wyrównaj
    Wyświetlanie 1-4 z 4
    Tytuł:
    RT-UML in modeling of multimedia applications
    RT-UML w modelowaniu aplikacji multimedialnych
    Autorzy:
    Cichoń, P.
    Powiązania:
    https://bibliotekanauki.pl/articles/305417.pdf
    Data publikacji:
    2007
    Wydawca:
    Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie. Wydawnictwo AGH
    Tematy:
    aplikacja multimedialna
    UML
    czas rzeczywisty
    modelowanie
    RT-UML
    synchronizacja
    zdarzenia czasowe
    multimedia application
    real-time
    modeling
    timed events
    synchronization
    Opis:
    RT-UML enables a structural and behavioral description of multimedia applications including time characteristic, however it does not offer mechanisms of a multimedia objects presentation (arrangement) expression or the time constrains expression between events. This fact illustrates RT-UML lack of expressive capabilities, especially in the context of multimedia applications modeling. The presented in the paper extension of RT-UML illustrates how multimedia objects arrangement and events synchronizations can be presented, which means new type of diagrams addition to UML (presentation diagrams) and a synchronized events set class placing into the time model of RT-UML. Moreover extensions provide an application a graphical presentation of synchronized events to sequence and activity diagrams of UML, which enables time constrains of multimedia objects and their activities expression (synchronization of time events, which occur during presentation of multimedia objects). The originality of this approach relies on the extension of RT-UML syntax and on the presentation of an original method of multimedia applications modeling, which can make the production process more formalized and thus more precise.
    RT-UML umożliwia opis właściwości strukturalnych oraz behawioralnych aplikacji multimedialnych z uwzględnieniem charakterystyki czasowej, jednak nie oferuje mechanizmów wyrażania prezentacji (rozmieszczenia) obiektów multimedialnych oraz ograniczeń czasowych między zdarzeniami. Fakt ten ilustruje brak wystarczającej ekspresywności języka RT-UML, szczególnie w kontekście modelowania aplikacji multimedialnych. W artykule zaproponowano rozszerzenie RT-UML o mechanizmy opisu rozmieszczenia obiektów multimedialnych oraz synchronizacji zdarzeń. Ponadto wprowadzono nowy rodzaj diagramów od języka UML, tj. diagramy prezentacji, umożliwiające opis aranżacji obiektów multimedialnych. Zaprezentowane rozszerzenie stanowi wartość oryginalną artykułu. Opisana w artykule rozszerzona składnia RT-UML, a także przykłady jej użycia stanowią oryginalną metodę modelowania aplikacji multimedialnych, która może przyczynić się do formalizacji ich procesu wytwórczego.
    Źródło:
    Computer Science; 2007, 8, Spec. Ed; 11-22
    1508-2806
    2300-7036
    Pojawia się w:
    Computer Science
    Dostawca treści:
    Biblioteka Nauki
    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ł:
    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ł:
    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-4 z 4

      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