Web service for designing and implementing formal languages | IEEE Conference Publication | IEEE Xplore