An application method of message sequence chart specifications for services with variant process structure