Specification : Add edit label test on operation and property
Specification : Add tests on activity diagram services