Thats a unique idea.You should consider the following idea to enhance your idea so that it would impact uniquely: Road systems 1 , railway systems 2 , air traffic systems 3 , and, for example, container vessel shipping 4 , all share underlying abstractions such as transportation nets with hubs (road intersections, train stations, airports and harbours) and links (road segments, train tracks, air and sea lanes) and their states of being open or closed for certain flows of traffic across hubs and along links, etc.   shall first hint at an abstract formal model for such transportation and then show how it can be refined into models for road traffic, train traffic and air traffic. Then  likewise hint at how such, so-called domain models — which reflect only what there is ”out there”, in reality, before computing and communication — can be rigorously transformed into requirements for respective traffic monitoring and control s The paper concludes with a discussion of issues of development of the right systems, that is, the systems that customers (that is, transportation and traffic authorities) expect to receive, and of systems which are right, that is, are correct.
['Dines Bjørner']
I am writing a research paper on a idea Development of Transportation Systems
[{"from": "human", "value": "I am writing a research paper on a idea Development of Transportation Systems"}, {"from": "gpt", "value": "Thats a unique idea.You should consider the following idea to enhance your idea so that it would impact uniquely: Road systems 1 , railway systems 2 , air traffic systems 3 , and, for example, container vessel shipping 4 , all share underlying abstractions such as transportation nets with hubs (road intersections, train stations, airports and harbours) and links (road segments, train tracks, air and sea lanes) and their states of being open or closed for certain flows of traffic across hubs and along links, etc.   shall first hint at an abstract formal model for such transportation and then show how it can be refined into models for road traffic, train traffic and air traffic. Then  likewise hint at how such, so-called domain models \u2014 which reflect only what there is \u201dout there\u201d, in reality, before computing and communication \u2014 can be rigorously transformed into requirements for respective traffic monitoring and control s The paper concludes with a discussion of issues of development of the right systems, that is, the systems that customers (that is, transportation and traffic authorities) expect to receive, and of systems which are right, that is, are correct."}]