option_3=PortOption(name="variable1",doc="a port variable",allow_private=True,properties=frozenset({"basic","mandatory"}),informations={'type':'port'})
option_4=PortOption(name="variable2",doc="a port variable with default value",default="8080",allow_private=True,properties=frozenset({"mandatory","standard"}),informations={'type':'port'})
option_5=PortOption(name="variable3",doc="a port variable with integer default value",default="8080",allow_private=True,properties=frozenset({"mandatory","standard"}),informations={'type':'port'})
option_8=PortOption(name="variable1",doc="a port variable",allow_private=True,properties=frozenset({"basic","mandatory"}),informations={'type':'port'})
option_9=PortOption(name="variable2",doc="a port variable with default value",default="8080",allow_private=True,properties=frozenset({"mandatory","standard"}),informations={'type':'port'})
option_10=PortOption(name="variable3",doc="a port variable with integer default value",default="8080",allow_private=True,properties=frozenset({"mandatory","standard"}),informations={'type':'port'})