HW03 Composer: Family wealth management

Create a Business Network Archive (BNA) with the appropriate models, transactions, and access constraints that fulfill the requirements below. The BNA must have an initial transaction (setupHomework) that sets up a ledger state, where the fulfillment of each requirement can be demonstrated (assuming that the ledger is empty before the call of the initial transaction). Transactions that would dynamically add participants or assets are not needed, unless noted explicitly under the requirements, except the initializer transaction.

Please test your solution on Composer Playground before submission.

For every Participant and Asset type, the unique identifier must be a non-optional String field with the name id. The value of the field must conform to the following format: <TYPENAME>_<COUNTER>. For example, if we have a Participant type named User, then the id of the first created user must be USER_0, the id of the second user must be USER_1, etc.

Problem statement

Implement a BNA for shared wealth management for couples.

• There should be a single participant type for users, which: has a name (non-unique), a partner (User), a single account, and a phone number.
• Only account owners can access the funds stored.
• Owners can
  • add money to the account.
  • withdraw money from the account.
  • transfer money to another user.
• Transfers of withdrawals over 5 units do not go through until the partner accepted the transfer.

Additional requirements:

• The initializer transaction should set up at least two users as partners and their account.
• You can assume that every user has an account and a partner.
• Transactions that add a user or change any property of the user aren't needed.
• Negative balances are not possible, transactions that'd create such a state should be rejected.

Example scenario

Alice and Bob are partners, with an initial account containing 10 units. Claire is Alice's coworker, who has 2 units. Alice puts in her salary of 7 units. Bob withdraws 2 units for rent. Alice tries to transfers 6 units to Claire, and Bob verifies the transaction.

Transactions

• addMoney
• withdrawMoney
• transferMoney
• accept
• reject