A Method for Reverse Extraction of Object Statechart Diagram with Controllable Granularity