=======================
StreamHasFunctionalPart
=======================
.. rubric:: Description


This modelling pattern shall give the possibility to define a part of a stream
that serves a particular purpose.

If stream A is subjected to a unit operation. This unit operation is modelled 
as a single module in a simulator software. It is later detailed to consist of 
multiple activities. The single internal stream from before has to be split into
several internal streams that have to be addressable. This modelling pattern allows
the distinction between a stream as whole and a part of it.    


.. rubric:: Definition


A stream (x1) has a part (x2) that is of interest.


.. image:: StreamHasFunctionalPart.svg


::

    
    StreamHasFunctionalPart(x1, x2) <-> 
        edm:ClassOfStream(x1) & 
        edm:ClassOfStream(x2) & 
        exists u1 exists u2( 
            Cardinality(u1) &
            Cardinality(u2) &
            MMT:ClassOfArrangementDefinition(x1, x2, u1, u2)) .
    

.. rubric:: Roles

1. hasStream

2. hasFunctionalPart

.. rubric:: Restrictions

* Role filler of hasStream must have entity type EdmClassOfStream.

* Role filler of hasFunctionalPart must have entity type EdmClassOfStream.