A message publishing server for ocean-core