- Tytuł:
-
Środowisko projektowania systemów sterowania ruchem
Design environment for traffic control systems - Autorzy:
-
Dąbrowski, W.
Stasiak, A. - Powiązania:
- https://bibliotekanauki.pl/articles/249961.pdf
- Data publikacji:
- 2013
- Wydawca:
- Instytut Naukowo-Wydawniczy TTS
- Tematy:
-
systemy sterowania ruchem
języki dziedzinowe
DSL
transML
TransCAD
traffic control systems
domain specific languages - Opis:
-
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. - Źródło:
-
TTS Technika Transportu Szynowego; 2013, 10; 1423-1435, CD
1232-3829
2543-5728 - Pojawia się w:
- TTS Technika Transportu Szynowego
- Dostawca treści:
- Biblioteka Nauki
Artykuł