{* 
* Some more complex example queries to analyze a cyber-physical model 
*
* Manfred Jeusfeld, 2026-08-28 (2026-08-31), License: CC-BY-NC 4.0
*
* Copy and paste the query definition to the TelosEditor of your model and press "?" button
*
*}


ExternallyControlledRTU in QueryClass isA RTU with
  constraint
      c1: $ exists cc1,cc2/ComputerCode 
                   ds/UnidirectionalDataStream
                   controller/Computer
                (this subcomponent cc1) and
                (controller subcomponent cc2) and
                (ds sender cc2) and 
                (ds receiver cc1) $
end


{* This query is simular to the first one  but outputs the
   other computer as 'controller' *}

RTUcontrolledFrom in QueryClass isA RTU with
  computed_attribute
    controller: Computer
  constraint
      c1: $ exists cc1,cc2/ComputerCode 
                   ds/UnidirectionalDataStream
                 (this subcomponent cc1) and
                 (~controller subcomponent cc2) and
                 (ds sender cc2) and 
                 (ds receiver cc1) $
end