Wyniki wyszukiwania - BazTech

Ograniczanie wyników

1 2013

Powiadomienia systemowe

Sesja wygasła!
Sesja wygasła!
Sesja wygasła!
Sesja wygasła!
Sesja wygasła!

Znaleziono wyników: 1

Liczba wyników na stronie

Wyniki wyszukiwania

Wyszukiwano:
w słowach kluczowych: transML

Sortuj według:

Ogranicz wyniki do:

Środowisko projektowania systemów sterowania ruchem

Dąbrowski W., Stasiak A.

TTS Technika Transportu Szynowego

2013

R. 20, nr 10

1423--1435, CD

Poprawne projektowanie systemów sterowania ruchem wymaga, przy obecnej ich złożoności, wsparcia konceptualnego i narzędziowego. Niniejsze praca przedstawia propozycję budowy środowiska projektowania systemów kontroli i sterowania ruchem TransCAD. Środowisko to bazuje na języku TransML, który jest specjalizowanym, dziedzinowym językiem dedykowanym do budowy systemów kontroli i nadzoru ruchu. Proponowane środowisko projektowe może stanowić wsparcie dla ekspertów dziedzinowych przy projektowaniu systemów nadzoru ruchu. Artykuł przedstawia koncepcję języka dziedzinowego TransML, wprowadza definicję reguł dziedzinowych zapisanych w sposób formalny w języku OCL i przedstawia środowisko projektowania TransCAD. Autorzy ilustrują koncepcję zastosowań środowiska na prostym przykładzie. Definiowanie reguł dziedzinowych (w postaci formuł OCL) daje możliwość weryfikacji poprawności budowanego modelu oraz automatyzacji procesów projektowania i budowy tego typu systemów. W artykule autorzy proponują też dalsze kierunki rozwoju i badań języka TransML i środowiska TransCAD.

Proper design of complex control systems needs conceptual tools. This paper presents a proposal for the construction of design environment for control of traffic systems TransCAD . This environment is based on the language TransML, which is a specialized , domain centric language for experts in the field of traffic control systems. This paper presents the concept of TransML language , provides a definition of domain rules written in a formal language OCL and presents design environment TransCAD. The authors illustrate the concept uses a simple example. Defining the rules of domain (in the form of formulas OCL) provides the opportunity to verify the correctness of the model under construction and automation of the design and construction of such systems. In this paper the authors discuss future development of the language TransML and the environment TransCAD.