Typesysteem v. IDP4

• Oneindig grote set domeinelementen
• Predicaten identificeren partities van dit domein

• Een aantal ingebouwde types:

  • integers, rationals

• Over- of onderschatting:
  • Ook Person(tafel)

• Eenduidig bepaald

vb.

Vocabulary V {
  type AttrSrc  
  type Stakeholder isa AttrSrc
  type User isa Stakeholder
  type Organization isa Stakeholder
}

Structure S : V {
  AttrSrc = { 
    User;
    Government; University; WS; PS;
    BasicIDCard; PrivIDCard; StudentCard;
    BasicPurchaseServ; PrivPurchaseServ; 
    BasicReductionPurchaseServ; 
    PrivReductionPurchaseServ; DeliveredServ;
    DeliveryRequestServ; DeliveryServ;
  }
  
  Stakeholder = {
    User;
    Government; University; WS; PS;
  }
  
  User = {
    User;
  }
  
  Organization = {
    Government; University; WS; PS;
  }
}

Vocabulary {
    AttrSrc
    User
    Organization
    Stakeholder
}

{
    AttrSrc(User).
    ...
    AttrSrc(DeliveryRequestServ).
    AttrSrc(DeliveryServ).

    User(User).

    Organization(Government).
    Organization(University).
    Organization(WS).
    Organization(PS).

    Stakeholder(x) <- User(x).
    Stakeholder(x) <- Organization(x).
}

!x : Stakeholder(x) => Location(x,Londen).
?x : Stakeholder(x) & Secure(x).

DB1

DB2