Text this: The use of formal languages for business rules realisation in information systems