Towards a method for business process and informal business rules compliance · Study