Modeling and Abstraction in Multilevel Simulation