A Method for Defining Information Structures and Transactions in Conceptual Schema Design