Towards automating the creation of hypermedia service manuals by compiling specifications | IEEE Conference Publication | IEEE Xplore