Środowisko projektowania systemów sterowania ruchem

• Autorzy: Dąbrowski W. , Stasiak A.

Warianty tytułu

EN

Design environment for traffic control systems

• Języki publikacji: PL

Abstrakty

PL

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.

EN

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.

Słowa kluczowe

PL

systemy sterowania ruchem; języki dziedzinowe; DSL; transML; TransCAD

EN

traffic control systems; domain specific languages; DSL; transML; TransCAD

• Wydawca: Instytut Naukowo-Wydawniczy "TTS" Sp. z o.o
• Czasopismo: TTS Technika Transportu Szynowego
• Rocznik: 2013
• Tom: R. 20, nr 10
• Strony: 1423--1435, CD
• Opis fizyczny: Bibliogr. 7 poz., il. kolor., rys.

Twórcy

autor

Dąbrowski W.

• Politechnika Warszawska, Wydział Elektryczny, Instytut Sterowania i Elektroniki Przemysłowej, ul. Koszykowa 75, Warszawa

autor

Stasiak A.

• Wojskowa Akademia Techniczna, Wydział Cybernetyki, Instytut Teleinformatyki i Automatyki, ul. Kaliskiego 2, Warszawa

Bibliografia

• 1. Amborski K., Dąbrowski W., Kowalczuk P., Markowski K., Logistyka 3/2011, Zastosowanie baz danych w sterowaniu ruchem ulicznym, ISSN 1231-5478.
• 2. W. Dąbrowski, P. Kowalczuk, K. Amborski, P. Kruczkowski, Struktury GUI do baz danych w zastosowaniu do sterowania ruchem ulicznym w: Computer Systems aided science industry and transport, Transport Committee of the Polish Academy of Science, 2011.
• 3. Dubilewicz I., Hnatkowska B., Huzar Z., Tuzinkiewicz L. (2008). Języki dziedzinowe w modelowaniu danych w kontekście MDA, [w:] S. Kozielski, B. Małysiak, P. Kasprowski, D. Mrozek (red.), Bazy danych. Rozwój metod i technologii. Architektura, metody formalne i zaawansowana analiza danych, tom 1. Warszawa: Wydawnictwa Komunikacji i Łączności.
• 4. Fowler M, Domain Specific Languages, Pearson Education Inc, 2012.
• 5. A.Kosior, A.Stasiak, W.Dąbrowski “Wytwarzanie serwisów informacyjnych z wykorzystaniem koncepcji modelowania dziedzin. Budowa transformacji”, Biuletyn Instytutu Automatyki i Robotyki, 32/201.
• 6. Student Manual, „Domain-Specific Modeling with IBM Rational Software Architect v7.5”, RD420 July 2009.
• 7. Concrete Syntax for a UML Action Language: Action Language for Foundational UML (ALF), OMG, marzec 2013.