Specification and Generation of Adapters for System Integration