Provided

If an element l of type L can provide element of type R then the operator can be used

To access to the load services provided by an element l (e.g. a Hardware)

 l.loads 

To access to the store services provided by an element l

  l.stores 

To access to the services provided by an element l

 l.services 

To access to the initiators provided by an element l (e.g. a pml.model.hardware.Platform)

 l.initiators 

To access to the targets provided by an element l

 l.targets 

To access to the transporters provided by an element l

 l.transporters 

To access to the hardware provided by an element l

 l.hardware 

To access to the initiator providing an element l (e.g. a Service)

 l.initiatorOwner 

To access to the target providing an element l

 l.targetOwner 

To access to the transporter providing an element l

 l.transporterOwner 

To access to the hardware providing an element l

 l.hardwareOwner 

To check if an hardware r is providing an element l

 l.hardwareOwnerIs(r)  

An implementation of the services provided by a target on which a data is allocated is derivable from the services provided by a target and the name if the platform

An implementation of the initiators provided by a platform

An implementation of the provide operator between two object is derivable from a relation

An implementation of the services provided by an hardware component is derivable from the services provided by a physical component

An implementation of the services provided by platforms