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