TY CONF TI ITS ARCHITECTURE FORMALIZATION BASED ON THE SEMANTIC MODEL AND USER NEEDS KW intelligent transport systems KW semantic modeling KW cooperative systems KW V2X KW user needs JO MODERN TECHNOLOGIES AND SYSTEMS IN TRANSPORT: PROBLEMS AND PROSPECTS AU Bulatova, O.Y. AU Jiang, H.. PY 2026 PB FSBE Institution of Higher Education Voronezh State University of Forestry and Technologies named after G.F. Morozov