Then there is not use for highway=busway, because highway=busway and  highway=service + access=no + bus=designated mean the exact same thing. Since it seams to be down to preference (since they mean the exact same thing with not distinction between the two) it is preferable that highway=busway be used in Miami.

it makes no sense to use both tagging's in a since town/city, use either all busways use highway=busway or all of them use highway=service + access=no + bus=designated . if you want to use highway=service + access=no + bus=designated then you should update ways such as https://www.openstreetmap.org/way/42507785 to use that tagging . consistency in tagging within a region matters allot. when tagging is consistent, new contributors can figure out what the best ways to map features by just looking at what has already been fully mapped. it also helps ensure that different areas with different customs and preferences remain consistently well mapped (both tagging and geometry) by following standards set by the local community. 

so again please remove the highway=service + access=no + bus=designated on this and other way or remove the highway=busway on other ways in Miami Dade county and replace it with your preferred tagging. there is also the fact that highway=busway is the what the community uses since the iD tagging schema has that as the tagging added to a way if added as a "busway" and the ways modified in this commit are busways without a shadow of a doubt. 