There are both open source and commercial products to convert ESRI shape (SHP)/ArcView files to GML. Commercial tools include SAFE software (FME). Among Open Source, Deegree, JUMP, and GDAL/OGC.