specification-abstract