/*
 Insurance - sample system 
  Last updated: May 26, 2008
*/
//Namespace for facade class.
namespace insurance

//Namespace for core of the system.
namespace insurance.core

class InsurancePolicy{ 
 policyNumber;
 monthlyPremium;
 starDate;
 endDate;
 insuradValue;
 1 -- * Transaction;
 * -- 1 Person holder;
}
class Transaction {
 date;
}
class Renewal {
 isA Transaction;
}
class Claim {
 description;
 amountClaimed;
 isA Transaction;
}
class Person{
 name;
 address;
 dateOfBirth;
}

class LifeInsurancePolicy {
 isA InsurancePolicy;
 * -- 1 Person insuredLife;
 * lifeInsuranceByAssociation -- * Person beneficiary;
}

class PropertyInsurancePolicy{
 isA InsurancePolicy;
}

class InsuredProperty {
 yearBuilt;
 1 -- 1 PropertyInsurancePolicy;
}

class Building {
 isA InsuredProperty;
 address;
 floorArea;
}

class Vehicle{
 isA InsuredProperty;
 identificationNumber;
 manufacturer;
 model;
}