Wyniki wyszukiwania - BazTech

Ograniczanie wyników

2 Przegląd Elektrotechniczny

2 2011

Znaleziono wyników: 2

Liczba wyników na stronie

Wyniki wyszukiwania

Wyszukiwano:
w słowach kluczowych: transformacja grafu

Sortuj według:

Ogranicz wyniki do:

From Class Diagrams to Relational Tables: A Graph Transformation-based Approach

Rafe V., Jamali S., Rahmani M., Mahdian F.

Przegląd Elektrotechniczny

2011

R. 87, nr 8

163-165

Nowadays UML has been accepted in both academia and industry as a de facto modelling language to develop software systems. As relational databases are widely used for developing software systems, thus, it is a challenge to derive relational tables from designed models. In this paper, we present a formal yet automatic approach to extract relational tables from class diagrams. To do so, we adopt graph transformation systems. We have designed some graph transformation rules to derive necessary tables from UML class diagrams. All the necessary concepts are illustrated through a case study.

Język UML jest powszechnie akceptowany jako język do tworzenia oprogramowania. Jako baza relacyjna jest powszechnie wykorzystywany chociaż nie jest łatwo tworzyć na jego podstawie tablice relacyjne. W artykule przedstawiono automatyczną metodę ekstrakcji takich tabel. W tym celu zaadaptowano transformację grafu.

Formal Analysis of Service-oriented Architectures

Rafe V.

Przegląd Elektrotechniczny

2011

R. 87, nr 11

310-313

Even though model checking is one of the most accurate analyses techniques to verify software systems, the problem of model checking is that it is not feasible for large and complex software systems, which their state spaces are too large. In these situations one can use scenariobased model checking techniques. In this paper, we present an approach to analyze large and complex systems specified by graph transformation systems. To do so, we propose the scenario-based model checking techniques. We explain how the approach will affect to the size of the state space by focusing on the most important occurring scenarios in a system.

Problem sprawdzania modelu software jest istotny jeśli badamy duży i złożony system. W artykule zaprezentowano metodę umożliwiającą taką analizę systemu opisanego przez transformację grafu. Zaproponowano technikę sprawdzania opierającą się na modelu bazującym na scenariuszu.