Declarative Specification of Information System Data Models and Business Logic