Computer-aided modeling and analysis techniques for determining business information systems requirements