RAISE specification language