architecture PlannerSystem is { basic_types { Integer is basic_subtype Number; Natural is basic_subtype Integer; } component_types { component Map is extern { /extra/neno0/dev/c2/planner/PlannerSpec/Map.c2; } component Clock is extern { /extra/neno0/dev/c2/planner/PlannerSpec/Clock.c2; } component DeliveryPort is extern { /extra/neno0/dev/c2/planner/PlannerSpec/InPort.c2; } component Vehicle is extern { /extra/neno0/dev/c2/planner/PlannerSpec/Vehicle.c2; } component DeliveryPortArtist is extern { /extra/neno0/dev/c2/planner/PlannerSpec/InPortArtist.c2; } component VehicleArtist is extern { /extra/neno0/dev/c2/planner/PlannerSpec/VehicleArtist.c2; } component LayoutManager is extern { /extra/neno0/dev/c2/planner/PlannerSpec/LayoutManager.c2; } component CargoRouter is extern { /extra/neno0/dev/c2/planner/PlannerSpec/CargoRouter.c2; } component RouterArtist is extern { /extra/neno0/dev/c2/planner/PlannerSpec/RouterArtist.c2; } component Warehouse is extern { /extra/neno0/dev/c2/planner/PlannerSpec/Warehouse.c2; } component WarehouseArtist is extern { /extra/neno0/dev/c2/planner/PlannerSpec/WarehouseArtist.c2; } component GraphicsBinding is virtual { } } connector_types { connector FilteringConn is { message_filter message_filtering; } connector RegularConn is { message_filter no_filtering; } } architectural_topology { component_instances { SimClock : Clock; Runway : DeliveryPort; RunwayArt : DeliveryPortArtist; Whouse : Warehouse; WhouseArt : WarehouseArtist; Truck : Vehicle; DistanceCalc : Map; VehicleArt : VehicleArtist; Router : CargoRouter; RouteArt : RouterArtist; LayoutArtist : LayoutManager; Binding : GraphicsBinding; } connector_instances { UtilityConn : FilteringConn; RunwayConn : FilteringConn; TruckConn : FilteringConn; WhouseConn : FilteringConn; RouterConn : FilteringConn; RouterArtConn : FilteringConn; LayoutArtistConn : FilteringConn; BindingConn : RegularConn; } connections { connector UtilityConn { top SimClock, DistanceCalc; bottom Runway, Truck; } connector RunwayConn { top Runway; bottom RunwayArt; } connector TruckConn { top Truck; bottom VehicleArt; } connector WhouseConn { top Whouse; bottom WhouseArt; } connector RouterConn { top TruckConn, RunwayConn, WhouseConn; bottom Router; } connector RouterArtConn { top Router; bottom RouteArt; } connector LayoutArtistConn { top RunwayArt, VehicleArt, WhouseArt; bottom LayoutArtist; } connector BindingConn { top LayoutArtist, RouteArt; bottom Binding; } } } }