Distributed System Behavior Modeling of Urban Systems with Ontologies, Rules and Message Passing Mechanisms