object PersonDatabase components: PersonRecord*; operations: AddRecord, DeleteRecord, FindRecord, CreateDatabase; description: (* A PersonDatabase contains zero or more personal information records. *); end PersonDatabase; object PersonRecord components: Name and Age and Address; description: (* A PersonRecord contains the information items for an individual in the PersonDatabase. *); end PersonRecord; object Name = string; object Age = number; object Address = string;