operationspec.h added