Executable specifications for information systems