Service logic program generation method using specification supplementing techniques | IEEE Conference Publication | IEEE Xplore