Improvement of SRS, correction of ActivityDiagram