A front end implementation for IDS