run formed rule wish enforc connect param connect type param element param element connect satisfi wellformed rule connect wellform connect type model element element model element element element element connect type gener uml spec section generaliz element child generaliz element kind element element 