Procasor je nástroj umožňující automatický převod textových 'use-cases' napsaných v běžné angličtině do formální specifikace.