research.utwente.nl · Data and event flow diagram (DFD), textual specifications Behavior view...

74

Transcript of research.utwente.nl · Data and event flow diagram (DFD), textual specifications Behavior view...

Page 1: research.utwente.nl · Data and event flow diagram (DFD), textual specifications Behavior view Event model Event specifications Function-data integration Function-entity type links

��� ������ �� ��� �� ��� ��

�� ������ ��� ����� ��� �������

����� �����

�� � ��������

������� � ���� ����� ��� �� ����� �������

����� ������������

�� ��������� ������ ���� � ! ������

"�� #����������

$% ���& �� '��(��(��

�)*& ����&++,,,(��(��(��+���

����� ��� ����

Page 2: research.utwente.nl · Data and event flow diagram (DFD), textual specifications Behavior view Event model Event specifications Function-data integration Function-entity type links

��������

��� ���� � ��� ����� ���

� � ���������� � �� �������� ������ � �� ������ �� �� ������� ������ ����� ������������ �� ���� �������� �� �� ������ ��� ��������� �� ��������� �� �� ��� ���� ����� ����!���� ��

� � ���������� � �� ������� ���"������ ��� �������� � �� ����� �� ��� ���� ��� �� ���!���� ���"������ ��� �������� � � �� ������ "������ � �� ����#� �� $�������� ������� ��$�� �� �� �����

� ��� ������ � �� ���������� ��� ���� �� � ��%��� ��&�������� �����'����� �� � ��% "������� �$� ��$�(� �� ������� ������

Page 3: research.utwente.nl · Data and event flow diagram (DFD), textual specifications Behavior view Event model Event specifications Function-data integration Function-entity type links

��������

� ���� ���� �

)�) *������ � ��� ����� � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � +

)�( ,��������� � �$� � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � +

)�� ,��������� � ��� � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � -

)���) .����� � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � -)���( $�������� � ��� � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � -

)�+ /����� � �� ��� � ��� ����� � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � 0

� ��� ����� ����������� ����� �

(�) 1��� ����������� ��� ���� �� ��� � � � � � � � � � � � � � � � � � � � � � � � � � � � � 2

(�( ������ �����'������ � 13 ������ �� ��� � � � � � � � � � � � � � � � � � � � � � � � � 2

(�� $��������� � ��� ��� �$� � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � 2

(���) $��"������ ��� �������� � � � � � � � � � � � � � � � � � � � � � � � � � � � � � 2

(���( 4�% ����� ��������� �� �$�( � � � � � � � � � � � � � � � � � � � � � � � � � )+

(�+ 3�&�������� �����'����� �� 13 ������� ���� � � � � � � � � � � � � � � � � � � � � � )-

(�+�) �����'����� � �� ���� ������� � � � � � � � � � � � � � � � � � � � � � � � � � )-

(�+�( �����'����� � �� ����� ������� � � � � � � � � � � � � � � � � � � � � � � � � )2

� ��� �������� �� � ����� �

��) ������ � ������� �� ��� � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � (5

��( $��������� � ��� ��� �$� � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � (5

��� 3�&�������� �����'����� �� ��* ���� � � � � � � � � � � � � � � � � � � � � � � � � � � (5

� ��� !��� "��# ����� ��

+�) ,��������� � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � ()

+�( $���� ��� ���� �� ��� � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � ()

+�� 6�� 7�% ��� ���� �� ��� � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � ()

+�+ ������ �����'������ � 68 ������ �� ��� � � � � � � � � � � � � � � � � � � � � � � � � (+

+�- $��������� � ��� ��� �$� � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � (+

+�-�) 6�� 7�% ������ �� ��������� �� � � � � � � � � � � � � � � � � � � � � � � � � � � (+

+�-�( 6�� 7�% ������ �� �3�61 � � � � � � � � � � � � � � � � � � � � � � � � � � � � (9

+�-�� $��"������ ��� �������� � � � � � � � � � � � � � � � � � � � � � � � � � � � � � (9

+�-�+ 4�% ����� ��������� �� �$�( � � � � � � � � � � � � � � � � � � � � � � � � � ��

+�9 3�&�������� �����'����� �� 68 ������� ���� � � � � � � � � � � � � � � � � � � � � � �+

+�9�) 6�'������ ��� ���"������ � � � � � � � � � � � � � � � � � � � � � � � � � � � � � �+

+�9�( �����'����� � �� ���� ������� � � � � � � � � � � � � � � � � � � � � � � � � � �-

+�9�� �����'����� � �� ����� ������� � � � � � � � � � � � � � � � � � � � � � � � � �-

(

Page 4: research.utwente.nl · Data and event flow diagram (DFD), textual specifications Behavior view Event model Event specifications Function-data integration Function-entity type links

�������� �

$ ��� �%�� �����&����� ��

-�) 1"�� �����'������ �� ��� � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � ++-�( $��������� � ��� ��� �$� � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � ++-�� 3�&�������� �����'����� �� �"�� �����'����� ���� � � � � � � � � � � � � � � � � � � ++

-���) �����'����� � �� ���� ������� � � � � � � � � � � � � � � � � � � � � � � � � � ++-���( �����'����� � �� ����� ������� � � � � � � � � � � � � � � � � � � � � � � � � +0

' ��� " ����(����� ���� )�*� ��

9�) 8������ ����!��� ����� �� ��� � � � � � � � � � � � � � � � � � � � � � � � � � � � � � +29�( $��������� � ��� ��� �$� � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � +29�� 3�&�������� �����'����� �� ������!��� ��� ����� ���� � � � � � � � � � � � � � � +2

9���) �����'����� � �� ���� ������� � � � � � � � � � � � � � � � � � � � � � � � � � +29���( �����'����� � �� ����� ������� � � � � � � � � � � � � � � � � � � � � � � � � +�

+ ��� �����(����� �������� ����� $�

0�) 1���!��� �������� ��� ���� �� ��� � � � � � � � � � � � � � � � � � � � � � � � � � � -)0�( $��������� � ��� ��� �$� � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � -)0�� 3�&�������� �����'����� �� ���� �� ������� ���� � � � � � � � � � � � � � � � � � -�

0���) �����'����� � �� ���� ������� � � � � � � � � � � � � � � � � � � � � � � � � � -�0���( �����'����� � �� ����� ������� � � � � � � � � � � � � � � � � � � � � � � � � -�

� ��� ����� ����(�%�� )�*� $'

2�) 1���!�"�� ����� �� ��� � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � -92�( $��������� � ��� ��� �$� � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � -92�� 3�&�������� �����'����� �� �"��!��� ��� ����� ���� � � � � � � � � � � � � � � � � -9

2���) �����'����� � �� ���� ������� � � � � � � � � � � � � � � � � � � � � � � � � � -92���( �����'����� � �� ����� ������� � � � � � � � � � � � � � � � � � � � � � � � � -2

, ��� -���%����� ����� �������� ����� $,

��) :���"����� ��� �������� ��� ���� �� ��� � � � � � � � � � � � � � � � � � � � � � � � -���( :���"����� ��� �������� ����� �� ��� � � � � � � � � � � � � � � � � � � � � � � � � � -���� $��������� � ��� ��� �$� � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � -���+ 3�&�������� �����'����� �� ����"����� �� ������� ���� � � � � � � � � � � � � � � � 9)

��+�) �����'����� � �� ���� ������� � � � � � � � � � � � � � � � � � � � � � � � � � 9)��+�( �����'����� � �� ����� ������� � � � � � � � � � � � � � � � � � � � � � � � � 9)

� ��� ��.����� �� ��� ����� /������� '+

)5�) ������ ����� ��������� � ���� � � � � � � � � � � � � � � � � � � � � � � � � � � � � 90)5�( 4�"� ���� ��%��� ���� � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � 92)5�� ;����� ���������� ����#� � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � 92

Page 5: research.utwente.nl · Data and event flow diagram (DFD), textual specifications Behavior view Event model Event specifications Function-data integration Function-entity type links

������� �

����������

��� ������ � �� � �����

,� ��� ����� �� �������� �����&��� ��� �������� � � �� ������� ������ ����� ������� <)9=��� ��������� ��� �������� %�� �� �������� ���"������ ��� �������� � � �� ������ �� ����������� �� �� ����#� �� $�������� ������� ��$�� ��%��� ����� <+=� /�� ������ ��� �� ������ ��� �$� � ��% ��%��� ���#� �� ������� � ����� �� ������� ��������� ������ �������#� %��� �� ������ �$�( �� ��� ������ 8�� ��#�� ��� ��% ���#� ��������� '�� �� ���������� �� ������ � �� ����� ������ ��� ��������� ��������� �� �� ��� ���� ��� �������� ������ ���������� %��� �� ���� �� � ���������� � ����� ��� �$�� ���� %��� ����� ��� � ������ ��� ������ �� ��% � �"������ �� ���������� ��%��� ���� %� �� �$�(� 8������� �� ������ ��� ���� %��� �� ���� �� � ��%��� ��&�������� �����'����� �� �$�(� �� ������� ������ ��%���� �� ���� �� ���� ���#%���� ��������� %�� �$��

��� ��������� �� �� ���

��� �3�61 ���>�� �� �� �� ��� ���>�� ������� � �� ����� ��������� ���� ��� /�� � ������ � ��� ���>�� �� �� ��������� � ��%��� ������ �� ��&�������� ��� ���� � �� ������� ���%��� �������� 3�&�������� �� ������� �� �� ���"�� � ������ ��� ������� ��&�������� ��������� ������� 6��� � �� ������� �� �� ���"�� � ������ ��� ������� �� ������������ ������������ � � ��%��� ������

��� ��%��� ��� � �� ����"���� �� �� ���>��� ������ �$�� ��� �� ���� � �������� ��%��������� ��&�������� ��� ���� ��� ��� ���������� ����� �� �������� �������� ������ �� ������ %���� "����� ������������� � ��?���� ������� �������� "��%� � ��&�������� ��� ���� ����� �� ����@ ��������� � �� �����'�� ������@ �������� � ������� ���� �� �� ������� ���������������� � �� ������ �������� �� ����� � �$� ��� ���������� ���� ��� ��� ���� ���������A� ����������A����� � �� ��%��� ������� B�$�C ����� �� B����#� �� $��������������� C�

6���� ��&�������� ��� ���� � �� ������� � � ������ � �����&��� ��� ��������� ��� �� ��������� �� �����&��� ��� ��������� �� ������� ��������� ������ ��'������ ����"��� �����'�������� ������������ �����'������ ����� �����&��� ��� ��������� ��� �������A�� �� � ����� ������B� ����#� �� 3�&�������� ��� 6��� � 1� ������� ��3�61� ���� 6�'������ ��� 6�������� ��D��C <)�=� � ���� ������� �������� � �� ����� ��� ��� � ���� �����&��� ��� ��������� �� "������������ ������ �� �������� �� %� �������� ���#� <))� )(=�

+

Page 6: research.utwente.nl · Data and event flow diagram (DFD), textual specifications Behavior view Event model Event specifications Function-data integration Function-entity type links

��� ����� ���� �� ��� -

��� ������ "������ �� � ��������� � �������� ������ �� �� %���� ��� � � �������� ������������ �� ��� ���� �� �� �$� ���>��� �$� ���� �� D��� ������ %�� E!F����%�� 1������������ ����� �!���� ��� �������������� ����� ��� �$� %�� ��� �� �������������������������� ��� � �$� �� ��� �� �������� ��� �������� ��������� <+= �� �� �$� ���� ��� �������� ���������� ���� � ��� ������������ � �$� �� ��������� �� <�=�

��� ������ "������ � �$� ������� �������� ������ �� ��"���� #���� � �������� ��� ���������� ��� �����

� 1����� ��� �"������� �� �� ����%�� #���� � ��� ���� ������ ���� ��� ����� ����!����������� ��� ����� �����!����������� ��� ����� ��� �������� ��� ����� �������"� ������� ������ ��� ���� ������� 7�% ��� ����� ��� G�6 ������� ������� ��� ����� ��%��# ���! �����

� 1����� ��� �"������� �� �� ����%�� #���� � ����� ������ ������ ��������� ������������������ ���������!��� ����� ��� ������!���� ��� ������

� 1����� ��� �"������� �� �� ����%�� #���� � ���� ������ ����� ���� ��� ������ ��'����������

��� ������ ����� �� ���� �� �������� � ���� ���� ������� �� �� ���� ��� � �� ������ %�������� ������� ����� �� �� �������"� ���� ������� ��� ������ "������ � �$� ������� ������������#�� �� ��� �� �������� ��� � ���� ����������� ������ �� ��!� �������������� �$� ����� ����������!�� ��������� �� %���� � "������� ����� �"�� �� ������� ��� �������� ����������� %���� �� ������ "������� �� ���������� ���"����� ��� �� ��������� �� ���� %���� ������� %���� ��� � �� ��#�� � ����# �� ���%�� �� ��� ������ "������ � �$� ���� �� �� �������������� ����#�� ������ �������� �� ��� ���� ��������� ������� � �$�( %��� �� ��������%�� �����!��� ��� ����#�� ��������

��� ��������� �� �� ���

����� �����

�������� �������� ���� ��� �������� 6��� � ��6� ����� �� �� ��� 05� ��� �������� *�� ���!��� �� �� ���� � ����� �� ��������� � ��������� � ��%��� ����� �����'������ ���������������� <(� 9= �����'�� �� ������� ����� ����"��� ����� �� �� ������� � �� �������� �� ������� %���� �������� ���� � <)-� �= ��"����� � ������� ��%��� ����� �����������

$�������� �� ������ �� �����'����� � ����� ������� ��� ���� �������� ���� ��� 7�%��� ���� �� �������� ���"������ 1��� ����� ������ �� ���������� �� � ��� ������� �� �����"����� 7�%� ��� �� ��"�������� �������� �� ���� ����� �� %���� �� ��� ��� �� � �������������� ��� ����� ��� 7�%� �� �������� � �� ��"��������

6���� �� 25� ��� �� ����� � �� �5� ��������� �� ��� ���� ������� %�� ��"���� ���� ��%��������'����� �����&��� ��#� )� ��������� ������� �����&��� <-= �����%�� ��� ���� �������������� <)=� (� �"�� ��������� ��� �������� ������ ������� <2= ��� �� ��� �������� � ����%�� ����!��� �����'������ <)5� 0=� ,� )�2�� ������� ��������� � ������ ������ ������ ���������������� <)+=� �������� �� ��� ����� � �� %�� ���� �����&���� ,� )��� �� ������� $������������������ � ������ ������ ������� ������ ����� ����� %���� ������� � �����������"� ��"��� ���� ������������ � �� ������� �������� <)9=�

����� �� ������� �� ���

�������� � ���� ������ ��"� ���� ��� ���� "��%����� ������������ ��� ������������ ���!��� ��� ����"��� ������ ����� "��%����� ��� ���� ��� ������ ��� ��������� %�� � ������ �

Page 7: research.utwente.nl · Data and event flow diagram (DFD), textual specifications Behavior view Event model Event specifications Function-data integration Function-entity type links

9 ������� �� ����� ����

Viewpoint Model Representation

Data view Entity-relationship modelEntity-relationship diagram (ERD),textual specifications

Function view Statement of Purpose (SoP) Textual specification

Data flow modelData and event flow diagram (DFD),textual specifications

Behavior view Event model Event specifications

Function-data integration Function-entity type links Function-entity type table

Data flow modelData and event flow diagram (DFD),textual specifications

Data-behavior integration Entity state transition model State transition diagram (Mealy)

Event-entity type links Event-entity type table

Function-behavior integration Behavioral state transition modelState transition diagram or state transition table (Mealy)

8� ��� )�) ��� ��������� �"��%�� � �� ��� ������

"��%� �� ����� ���������� ��� ��������� � � ��� ����� ��� ����� �� ' ��� )�)� ����� ����!����� ����� ��������� ��� ���� �� �"�������� "��%� �� �� ��� � � ��������� ���� � �������� ��� ��� �� ������� �� �� �� �� ��"������ � �� �������� ����� "��%� ��� ������� � �� ����!�������� %������ �� ������� ����� ��� �� �� ���A�� �� ���� �� ������ ���������� %�� � ��������������� ��� ���������� ����#��

,� ������ %�� ���� �3�61 <)�= ��#�� � "��� ����� ��������� ��%��� ������� ����� ��!��"��� ��� ������� ����� ������������� 8�� ��� ������� �� ������� ����"��� �� ���������� ���� ������ � *������� �� �"�� �����'����� ��� �� ����� ��� ��� � �� ��� 7�% ��������� ������� � �� ����� ��������� ��� ���������� �� 13 ��� 68 ������� ��� ����"��� � ������� ��������� ��� ���������� �� ��� �������� ��������� ��� ��������� � ��������� ���!���� ��� ����� �"��� � �� ����� ��������� �� ���������� �� ������!���� ����� �������"����"��!���� ������

,� ������ %�� �3�61� ��� ��#�� � ��������� ��%��� �� ��������� ������ ���� � ��� !�������� ����� � �� �� ���A���� ��� �� ����� ������ ���� � ����� � � ��%��� ����� ��������� ����%��� ��� ������ ������������ ��� ��������� ����� �� ������ ������� � ������ �� ��������������� ��� ����� �� �� ������� %�� ��� ��� � �� �������� �� �� ���������� �3�61 ������� �� ���������� � ��� �� ���A������ ��� ����� ��"����

��� ���� �� �� ������� ��� ��������� ��� ����� ������� ��� �������� ������� ���� ������% ������ ������ � ������� � � ������������� 1������� ������ ��� �� ������ ��� �������'��� �� ������������ �������

H�#� �3�61� ��� �?��� � �� � ���������� %���� ��� ��������� � ����� � ������ F���� ������ ����� �� "������� �������� ����� ��������� �� �� ��"� � �� �������� �� �� ������������ ��� ��� �$� �� ��� �������� �� ��� ������ :� ��� ������ �� �#�� ��� ������ �� ����&�������� �����'����� ��� ���� � � �$�(� �� � ��%��� ��� ������ �"� ������ �� � ����

Page 8: research.utwente.nl · Data and event flow diagram (DFD), textual specifications Behavior view Event model Event specifications Function-data integration Function-entity type links

���� � ���� �� ��� ���� �� ��� ������ 0

���� � ���� ����������

��� ���� � � �� ��� � �� � �����

1��� ������ �� �� ��� � ��� ����� �� ��"��� � ��� �������� � �� ��� ����� ���� ' ��� )�)��,� ���� ������ '�� � ������ � �� ��� �������� �� �"��� ���� ��� ��� �� ����"�� ��� ��$� ��� �������� ��� ����������� ��� �������� �� �� �������� � ��� ���"������ �� �$�(�1��� ������ �� ����� �� � ��&�������� �����'����� � �$�( �� �� ��������� ����� ���������

Page 9: research.utwente.nl · Data and event flow diagram (DFD), textual specifications Behavior view Event model Event specifications Function-data integration Function-entity type links

�������

�� ������ ������������ ����

��� ��� �� ���� ���� � � ���� � � ���

��� ��� 13 ����� ��������� �� ������� � �� ��� �� �� ��� ����� ��� �� ��� 7�%� � ����� 7�% ����� ������� +�� , �� ���������� �� �� 13 ��� ��� ��� ��������� ����� �����'�������8�� ���� ���� ���� ��� �� ���� ���� ��� �������� ��� ����������� �� ��'��� ������� 0� %������������ �� ����"��� � �� ���� ���� ,� ���� ���� ������� ������ ���� '��� �������� ��������� ���� ��� ������� ��� ��������� � ��� ���� ����������� ��� ���� ��� �������A�� ��' ��� (�)�

��� �!���� ��� "��� ��� � �# ���� � ���

��� ��������� � ��� ���� ����������� ��� ���� ��� ����� �����'�� �� ����� �����'������������ ��� �������A�� �� ' ���� (�( � (�9� � �����'����� � �� ��������"� ���� ��� �� �� �"������ �� � ������ ������� � �� ����� � �� ��������� � �� ���� ��� �����'����� ��� ����������� � � ����������� �����'������

��� �� ��� ��� � ��� ��� ���

����� ����������� ��� �� ������

����� �����

� ��� ���� �� ���� ���� ��� ���� ���������� %������ �$� ���� ���� ��� �������"������� �� �� ������ �$�( %��� ������ �� �$� ���"������

� :�� ��� ��� �$� ����% ������� ������ ������������ �� ��� �������� ��� %�� ��������#� �$�( %��� ���� ��� ��� ���"������ �� � %��� �� ������ �����������

� 1��� �����'��� ��� ������� � �� ������� �����'��� �� �$� ��� �� ��� ��� ��� ������#���� ��� ��?������� ��%��� ������� �����'��� ��� #��� ��� �� �� �����'�� %��� ��"�� ������ �� ��� � �� ���� ��� � �� ���� %������ � #�� ���� ��� �� �����'�� �� ��%��� �����%������ � #�� ��� �� �������� � ������� ���������� I��� ��� ���� ����%�� �� �$�( ����� ��"� � �� ��������� ������ B#��C� ,����'��� ��� ������� �� �$�(� �� ��� ��� "������ ��� �����

2

Page 10: research.utwente.nl · Data and event flow diagram (DFD), textual specifications Behavior view Event model Event specifications Function-data integration Function-entity type links

��� ��������� �� ��� ��� ��� �

Model Representation Meaning

Entity-relationship diagram Directed hyper-graphRepresentation of the structure of all information used by the enterprise.

Model Element Representation Meaning

View name Text Unique name to identify this view of the information model.

Entity type NodeClass of real-world things about which the enterprise will store data and with which it interacts.

Relationship type Edge A class of n-ary links between entities (n >= 2).

Subtype Hyper-edgeEntity type whose instances are always contained in the set of instances of the supertype.

Associative entity type Node A class of links with which attributes are associated.

Repeated entity type Node tagged with "*" Entity type that is repeated on the ERD.

Comment Text Free-format comment.

8� ��� (�) ��� ��������� � ��� ���� ����������� ��� �����

Model Representation Meaning

Entity type specification Tabular text Specification of the properties of an entity type.

Model Element Representation Meaning

Name Text The name of the entity type.

Meaning Text The significance of the entity type.

Attributes List of links to attribute The attributes of the entity type.

Identifiers List of links to attributeAttributes that uniquely identify entity type (this includes real identifiers and keys).

State variablesList of links fromattributes to eSTD

Characteristic which may change over time.

Constraints Text Specific constraints regarding the entity type.

Storage per occurrence Number+text Likely amount of space (number and unit) to store one entity.

Occurrences per time Text Estimation of the number of entities on certain times.

8� ��� (�( ��� ��������� � �� ��� ���� ��� �����'������

Page 11: research.utwente.nl · Data and event flow diagram (DFD), textual specifications Behavior view Event model Event specifications Function-data integration Function-entity type links

)5 ������� �� ��� ����� ���������� �����

Model Representation Meaning

Relationship specification Tabular text Specification of the properties of a relationship.

Model Element Representation Meaning

Name Text The name of the relationship.

Participating entities2 or more links to entitytypes.

The entity types that participate in the relationship.They identify the relationship.

Meaning Text The significance of the relationship.

ParticipationList of {optional, mandatory}(one for each participatingentity type).

Defines whether the relationship is optional ormandatory for each participating entity type.

Upper limitsList of texts (one for each participating entity type).

Maximum number of times a specific occurrence of one of theentities may participate in the relationship.

Rules Text Specific constraints regarding the relationship.

Storage per occurrence Number+text Likely amount of space (number and unit) to store one link.

Occurrences per time Text. Estimation of the number of links on certain times.

8� ��� (�� ��� ��������� � �� ��� ����������� �����'������

Model Representation Meaning

Subtype specification Tabular text Specification of subtyping relationships of entity types.

Model Element Representation Meaning

Supertype Link to entity type The supertype entity type

Subtyping Text Categorization that identifies the subtyping.

Meaning Text The significance of the subtype relationship.

Coverage {complete, partial} Subtyping is complete or partial.

SubtypesList of links to entitytypes.

The subtypes in this subtyping.

List of TextA description of each subtype of what distinguishesit from other subtypes.

8� ��� (�+ ��� ��������� � �� ��� ������� �����'������

Page 12: research.utwente.nl · Data and event flow diagram (DFD), textual specifications Behavior view Event model Event specifications Function-data integration Function-entity type links

��� ��������� �� ��� ��� ��� ))

Model Representation Meaning

Attribute specification Tabular text Specification of the properties of an attribute.

Model Element Representation Meaning

Name Text The name of the attribute.

Meaning Text The significance of the attribute.

Entity type Link to entity type The entity type of which it is an attribute.

Retention{stored,temporary,derived}

Defines whether the attribute value is permanent, intermediate or recalculated when needed.

Derivation Text Rule to recalculate the value of a derived attribute.

Typing {Value list, abstract} Attribute values are either defined by a list of values or an ADT.

ADT Link to ADT Abstract typed attribute values are defined in terms of an ADT.

Parameters List of Text Parameters that are associated with the ADT.

Restrictions Text Restricts the possible values of the ADT.

Values List of Text Values of a value list typed attribute.

8� ��� (�- ��� ��������� � �� ��� ������ �����'������

Page 13: research.utwente.nl · Data and event flow diagram (DFD), textual specifications Behavior view Event model Event specifications Function-data integration Function-entity type links

)( ������� �� ��� ����� ���������� �����

Model Representation Meaning

Abstract data typespecification

Tabular text Specification of the properties of an abstract data type.

Model Element Representation Meaning

Name Text The name of the ADT.

Meaning Text The significance of the ADT.

Structure {simple, compound} Values are indivisible or have component parts.

Components List of 2 or more Texts Compound ADTs have two or more component names.

Links to 2 or more ADTs Compound ADTs have two or component ADTs.

Number of Values{finite, discrete, continuous}

Describes how many values an ADT has.

Value definition{value list, inheritance,defined}

Simple ADTs are defined as either a list of values, values thatare inherited from another ADT or as a rule that defines theset of values.

Parent ADT Link to ADT Parent ADT of simple ADT that inherits values.

Values List of texts List of values of a simple ADT.

Restriction Text Restriction to values of simple ADT that inherits values.

Definition Text Defining rule of a simple ADT that is defined by a rule.

Ordering {none, linear, cyclic} Significant ordering of the values of an ADT.

Dimensions Text Dimensionality of the physical qualities (e.g. length, mass ...)

Units TextSupported units that can be used for the ADT (e.g. foot, miles , meters).

Parameters List of TextsParameters that relate to the measurement of dimensioned ADT(e.g. accuracy, noise, resolution).

8� ��� (�9 ��� ��������� � �� ��� �6� �����'������

Page 14: research.utwente.nl · Data and event flow diagram (DFD), textual specifications Behavior view Event model Event specifications Function-data integration Function-entity type links

��� ��������� �� ��� ��� ��� )�

� ,� ���� ���� ���� ��"� �� ������ ��� "��������� �� ���������� %�� ���� ��� ��������������� ,� �$�(� ���� %��� �� ������ ��� ������� ��� �� "���� ��� �� �� �� � �������� �� �� ���6� � ��� ������ ���� ���� �� %��� �� ��� � �� ��� ������� ���� ���

������������

� ��� ��� ��������"� ���� ����� :� �$� ����%� ������������ � ��"� "���� ���� �������������������� ��� ���%� ��� �� � ��������� �$� ���� �� ����% ������������ � �� ������"���� � �� ���� ��� �� ����������� ��� ���� � ����% ��������A���� � ������������� �$�(%��� ����� �� ������ �$� ���"������� �� ����������� ����� %��� ����������� �� ����%��� �� ������ "����� � ���� ���� �� ������������ ��� ������������ %��� �� ����%�� � ����������A�� �%�� �� �� � ����%�� �� � ���� � ��� �� �� ������ �$� �����!���������������� ���� �� �3�61� ����������� ������� ������� ��"� �� ���� ��������� �� ��>�� ��������

� ��� ���������� ������ �� ���� %��� �� ������ ��������� �� �$�(� ���� �������� � �������%�� ��� �3�61�

� D���#� ���� ��� ��� �������� �� �$� � ������ ����������� �� �� 136 �� � ���� �����!����������% �����!���� �� ������ ����% ����!����� ��� ���� ������������ ���� ����%� %� ���� �������� �� ���� ���� � �� ������������ ����� ���"������ %��� ������ �������� �� �$�(�

� $��������� ��������� � ������������ �� ��� ��� �����'�� �� � ���������� � ������� ���������� ����������� ��� �� ����� ������ �$� ���� �$�(� �������� ��� ������ ����%� ��� ��� ��� �� �� � �������� ������������� %���� ��� �� ���� "������ �� �� 13 ��� ������� ����������� ��� ����� ����� �� �� ��� ����������� �����'������ ��� ������ ����"������� �� �$� ���������� ��������� �� ��� %��� �� �� ��� � �$�(�

� �$�( %��� ����� �� ���� ������ ��� ��������� �� ���������� ��������� �� �$��

� :������ �$�( ����#� ���� ���������� ������� ������ � ����� ����� ��� ��� B���!������C ������� � ���� ���� ��� B�����C ������� � ������������ �� ��� ��� � �� ������� �� ��� ��� ������� � B��������� ���������C �� �$��

��������0����

� ��� ���� �� ��� ������� J��������� %������ �$� ���� ��������A����J �������A���� ���������� �� �� ���� ������ ��� ���� ���� ��� "���� �� �$�(�

� ��� ��� � ��?���� ������ �� ��������A���� ��� �$�� �$�( ������� �� �$� ��������� ��"��� � � �� �$� ������ �� �� � ���� �� ��&���� �� ��� ��� � ������ �����!�� ��� ����� ��������� �� ��%��� ����� ������ ��"��� � �� �� ��� ��� ������������������ �� �� ������� �� �������"� ��������� ���J�� ���>����"��

� �$�( %��� ��"� ������ ����� ��������A���� �����'������ ��#� ���� D���#� ���� �� �������!�A���� ������� %��� �� �������� �� � ���# � �� ������ � �� ��������� ���� ��������A���������� ��� � �� '��� ������ �� ����� �� �� ����%��� ��� � ��� � ��"� � "���� ��� ������ 8�� ���� "���� � ��� ������� � ��������A���� �������� �� �����'�� �� �� ��������A�!��� �����'������ ,� �$�( ���� '���� �� � ��������A���� ���� ��� ��&����� ��� ��������A������������ ��� '��� �� �� ��������A���� ������ "����� ��� '��� �� � ���# � �� ������� �����'����� ��� ��� ������� '��� �������� � ����� ���������� � ��� ��������A�������������

� , %��� �� �������� �� �$�( � ���% �� ���� � �� ��������A���� ������ � �� ���������� �� 136� �� �� ��������� ����� ��� � �� ������� >�������

Page 15: research.utwente.nl · Data and event flow diagram (DFD), textual specifications Behavior view Event model Event specifications Function-data integration Function-entity type links

)+ ������� �� ��� ����� ���������� �����

� 8�� ���%�� �� ���>������� � �� ��������A����� �� �$�( ��������A���� �����'����� %��� ��������� %�� �� ��������� '���� ��� ��&����� �� ��� ��������A����� ��� ���>����

� ������� ��������� ��� ����%�� �� ���� ���� %��� �� ����%�� �� �$�( ���

� ,����'��� ��� ��� ������� ��� �������� �� ���� ��� �� �$�( �� %����

������ ��� �� �������� ���� �����

� ,� �$� ��� ��� ���% ���� ����� ������� �� �� 136� �� ��� ��� ��� ��� �$�( %��� �������� �$� ���"������

� ,� ��� �������� ������� ��� ��� ���%� �� �� ������ ��� �� �������� �����'������ ,��$�( �������� ������� ��� ���%� �� �� �������� ����� �� ������ � �"��� �����������,� �� ������ �����'����� ���� �� � ���# ��%�"�� �� �$�( � ��"� �� � �� ���������8���������� � ������ �� �������� �� �$�( � K������L � ������ � "��% ��� �� ����������������� �� %����

� ,� ��� �� ���� ��� ������ �� ��"� ������� ������� %�� �� ���� ����� F��� �� ������� �� ������ � ���� ��� ��� ���� ���� ��� � ��� �� ������ %� �� ���� ������� ��� ���� ����� ����� %���� ���� ��� �%��� �� � ������ ��������

� ��� ��'��� ���������� ��� ���� � �� ��������� � �� �6�� :� �� �$�( ��� %��� ����������� � �������� 1� � ���� ������ �� �� ������� ��"�� ��� � �� ���� ������� ������ �� ����������� ��� �������� "����� � �� ��� ������� � �� ������ ���� ��������� � �� ��� ��� � � �������

� ,� �$�( ��� %��� �� ���� � ������� �� �� ������ "���� �� B'���C ��� � ������� "���� ��������� � B��������C ��� B����"��C��

� ,� ��� �� ������ ��� ����� �� ���� �� ����� �� �� � �������� "����� �� �� �� ��������� ��� �����'����� ������ ����!��'��� �� ����!���� ,� �� ���� ���� ���� �� � ���# ����� ������ � � ������ �6� �����'������ �$�( %��� ����� � �� � "����� �� ������ ������ ���������� � ��% "���� ��� �� ��������� ��������� �� � ���� ������� ����� ��� �� �����'���� �� ��� � �� ������ ������� �������� �$�( %��� ���� ������ ���� ����!�� "���� ������� ����!��'��� "���� ���� ��� �� ��������� :���!�� "���� ���� �� �$�( %��� ������� ���� � ����� ��� �� ����� � ������� ��� �� ���!� ��� ���������A�� ���� ��#� ��� <" #�= ��� �� <" #�=�

� 3��������� �� �� �6� ��� �� ����A�� �� �$�(� ,����� � ������ ����"�� �6� �� ������������� ���� �� �$�( �� ���������A�� � ��� ���� � �� ������������ �6� �� ���������A���

����� ��� ���� �� ������� �� ����

.��� ����%� � ���������� � �� ��������� ����� ��������� � �� ��������� ����� �� %�����$�( %��� �"� ������� ���� ��� �� ���� ����������� ��� ���� %���� ������� ��� �� ���%� ���$��

� �� ��� ���� ��� ��� ��� �� ���� ���#� ��� � ��� ������ � �� ���� ��� �������������� �������� �� ���� ��� ������ �$�( %��� ���� ���� ���"������ ��� ����� �����!�����

Page 16: research.utwente.nl · Data and event flow diagram (DFD), textual specifications Behavior view Event model Event specifications Function-data integration Function-entity type links

���� ��� ������� ���������� ��� �� ������� ����� )-

� ��� "��% ���� � �� 136 �� ��� �� �� ���� �� � ��� ��� ���� �� ���>�� ���� ���� ��� 136 �� �$�� F� %��� ����� �� ��� ��� ��� ���� �"�� %��� �� 136 ���� �� ���%�� ����� 13 ������ ��� ��� ���� %��� �� �� ���� ���%�� ������� � �� �� "� �� ��� ������ �"��������� ��� ��������� ����� �� �$�( ������� �� �������� ������ � 136������ ��"�� � ���&�� ���� %�� �� ��� K����L� ��� ���� 136 �� �������� � ��� �� �������>�� ������ F��� � ���>�� �� "������ �� %� �� ���� ��?���� ������ �� �� ���� 136� �������������� � �� ���>�� ��� ������� �� �� ������#� %���� �������� �� ��� ��� ��?����������������� � �� ���� ������� ��>��� 6�?���� 136� ��� ��?���� '���� ��� ���� �� ��������������� �� �� �������� �� � 136� ��� �� �����!����#�� ����� �� ����� ��������������#� ���� ������ )5�� �� %���� ���>��� ��� ���'�� �� �����

� ��� ��������� � ���� ����� ������������� ��������"� ���� ����� �������� ��������A���������������� ��� ������ ��� ���� ��� �����'�� �� ������ ��� �� ���� ���� �� �������� �$�� �$�( %��� ��"� ���� ���� ������������ ������ ��� ������� �����'�������� ����� ����� D��� ��'��� �6� �����'������ %��� �� �� ��������� ������ ��� �������"� � ������ ��� � �� � ����!�� "���� ���� �� ������ � �� ���������� �� �� �����������'������

� :�� ��� ��� �$� �� �� ������ �� ��'����� � ���>�� ����� �� �� 136� , �� ��� �������� ��"��� � ������� 13 ����� ��� ���>�� ������ �� %���� ���� ���� ��������� � �����'� ���� �������� �$�( %��� �� ������� %�� ������������ ���>�� ����� ����� ���>�� ����� ��� ���������>�� ����� �� �������� ����� %��� �� ��������� � ���� ��������� ��� � ���>�� ������ ������� � ���>�� ���� ��� �� ���������� � ���� ���>�� ����� ��� ���>�� ����� ������������ �� ��� � 136� �� � ����� � ����� ����������

� � ���>�� ���� ��� �� �������� �� � ����������� � ������ ���>�� ���� �� ����� ���>����� ���� ��� �� ����������� ������ ���� ����� �� �� ����������� �� �������� � ��� ��� �������� � �� ���>�� ����� ���� �� ����� ��� � �� ��������� �� ������������ 686� �������� +� ���� %��� �� �������� �� �$�(�

� �$�( �� ���#%���� ��������� � � �$�� �� �� ������� ������ �� �����'������ ��������� ��� ��� �� ��&����� � �� ���� �� �� ����� ��� ���� ������ �� ���� � ���% 136������� �� �� ���� ������ %�� �� ��� ��� �� �� ��� ��� ��� �$� �������� ������ ���� ������ �� �$�(�

��� ���� ��������� %��� �� ���������� �� �$�( �� �� �������� � �� ������ �$� ����� �������136� ��� ����� �����'����� ������ ����� �� ���������� �� � ��������A���� � �� ������ ��������� �;� �� :� ���%��� ��� ��� ����� �� � ���������� ��� � ���!�� ����� � ��� �� 136 ������

��� #$� � ��� ��� "��� �� �� �# ��� �� �����

����� ������������ �� � � ������ ��!��!�

��� ' ��� (�0 �� �� ���� ������� � 13 ������ �� �$�( %���� �������� %�� �� � ������� ����� ���"���� ������� ��� ����� 13 ����� �� �� ����� �� ��� ���>�� ����� 1��� ���>�� ��� � ��������>�� ���� ��� ����� 13� �� �� �%� ������� �� ����� ���>�� ����� �� ���� ��� �� ��������������� �� �� � ����� � ������ ���>��� 3����������� ��� ���� ���� ��"� %� ���� ��?������� ������������ ��"� %� �� ���� �������� ���>��� ��� �� ���� ��� ��� �� ������� �����'��

����� ������� � ����������� �� ����� ���� �� ��� � ������� �� ��� �� ���� ��� ���� ��� ������ ������ ����� �� �� ������� �� � � � ����������� � ��� ������ ������ � ����

����� �� ��� �� � � ���� ���� �� ��� ��� � �� � ����� ���������� � ���� � ����� � � ��� ���� ���� �������

Page 17: research.utwente.nl · Data and event flow diagram (DFD), textual specifications Behavior view Event model Event specifications Function-data integration Function-entity type links

)9 ������� �� ��� ����� ���������� �����

de

nam

em

eani

ngAttr

ibut

e

valu

esVal

ue li

st

card

inal

ity c

onst

rain

tro

le n

ame

Com

pone

nt

>=

2na

me

mea

ning

Val

ue ty

pe

is_a

addi

tiona

l con

stra

ints

Ato

mic

Sub

ject

deriv

atio

n

Der

ived

attr

ibut

e

type

mea

ning

cove

rage

disj

unct

ive

Tax

onom

y

de

is_a

d

is_a

mea

ning

subt

ypin

g at

tr. v

alue

Sub

type

taxo

nom

y

is_aId

entif

ier

Fix

ed a

ttrib

ute

Sta

te a

ttrib

ute

Sta

te m

achi

ne

subt

ype

nam

em

eani

ngSub

ject

subt

ypin

g at

trib

ute

Bui

lt-in

val

ue ty

pe

Rel

atio

nshi

pE

ntity

type

Sub

ject

Are

a

deis

_a

pare

nt

8� ��� (�0 ��� ���� ������� � �� 13 ������

Page 18: research.utwente.nl · Data and event flow diagram (DFD), textual specifications Behavior view Event model Event specifications Function-data integration Function-entity type links

���� ��� ������� ���������� ��� �� ������� ����� )0

Constraint Mode Description

ER1 Immediately Each ERD is uniquely named and the ERD name ends on ’.erd’.

ER2 Immediately Connections between model elements are according to table 2.8.

ER3 Immediately

Cardinality constraints have the following syntax: C -> C","E | EE -> N".."N | N | "<"N | "<="N | ">="N | ">"NN -> D+D -> "0"|"1"|"2"|"3"|"4"|"5"|"6"|"7"|"8"|"9"

ER4 Immediately Taxonomy junctions have one of the labels: "e", "d", "de" or "".

ER5 Immediately Non-specialization relationships should not be labeled "is_a".

ER6 Immediately/SoftTaxonomy junctions are properly connected (one is_a edge, two or more empty edges, all to different subjects).

ER7 Immediately Specialization relationships should not contain cycles.

ER8 SoftRelationships (nodes and edges) are properly connected: they have at least two connectionsto a subject.

ER9 Immediately/Soft Subject areas and entity types should have mutually unique names.

ER10 Immediately/Soft Name+component types of a relationship should be unique.

ER11 SoftBinary relationships (edge) should either have a non-empty name or at least one non-empty role name.

ER12 Soft Relationship nodes should be named.

ER13 Soft Value type nodes should be named.

ER14 Soft Value type nodes should be connected by at least one named edge.

ER15 Immediately Edges from the same subject to the same value type node should have different names.

ER16 Immediately Edges from the same relationship node to the same subject should have different names.

ER17 Immediately The parent relationship between subjects should not contain cycles.

ER18 Immediately Entity types and relationships can not be mixed in a specialization relationship.

ER19 SoftIf there is more than one specialization relationship for a subject, the specializations should have distinct specialization attributes. At most one specialization may remainunnamed.

ER20 ImmediatelyIf a relationship is a child of a subject area, all its components should be children of thesame subject area.

8� ��� (�2 ��� ��������� �� �� 13 ����� ���� )��

Page 19: research.utwente.nl · Data and event flow diagram (DFD), textual specifications Behavior view Event model Event specifications Function-data integration Function-entity type links

)2 ������� �� ��� ����� ���������� �����

Constraint Mode Description

ER21 ImmediatelyIf a supertype of a specialization relationship is a child of a subject area, all its subtypesubjects should be children of the same subject area.

ER22 ImmediatelyA subject should not have multiple attributes with the same name (either inherited or owned by;the subject itself).

ER23 ImmediatelyWhen a subject is subtype of more than one subject, then it must not inherit two ormore attributes of the same name, except where these are owned by a common ancestor.

ER24 Soft State attributes have as value type the set of possible states in the eSTD.

ER25 Immediately State attributes may only be updated via an eSTD.

ER26 Immediately The values of a user defined value typed attribute are unique.

8� ��� (�� ��� ��������� �� �� 13 ����� ���� (��

������� ,� ������� � �� ���� ������� �� ' ��� (�0� ���� ��� ���� ���� ��������� ����� �� ��� �� 136� %���� �� ������� � �� ����� �� � ��� �� '��� ����� ��� ����� �� ' ���� (�2 ��� (���8�� �� ��� ����� ����� �� ����� �� 136 ��� ��� �� ���� ���� 136� �� ����� ���������� ��������� )5�

��� �������� ������ � 13 ��� ���� �� �� ���� �� �� <+=� ���>�� ����� ��� � ��% ���� ������ ��� %��� �������� �� ���������� �� � �������� ��� �� ��������� �� �������� ��� %���� ������� �� ����� �� �� �� �� ������ � �� ����

����� ������������ �� � � ���� �!�������

F� ������ ��� ������� �� 13 ��� ����� F� ������ ��� �� �����'� ������ �� ������� �� ����%��# �� �� ������ ��#� ��"�� �� ����A�� �������� ������� ��� �� �������� ����� ��� ������������ �� 13 ��� ���� ��� �� �����"���� ��� %� ��� ������ /�� ��� �� ������� �� %��# ����� ���� �� ������� �� ������� B������ ��� ���C� ��� ���� ��� ������� �� ��� ���� ����������� 13 ��� ����� �� ������� B����� ���� ���C�

��� ������� ��� ����� �� � ��� �� ' ��� (�)5� , ���%� %� �������� ��� �� ��� ��� ���� ������ �����'� �� 13 ��� ���� ����� 4�� �� ��� �� "��� ����� �"��"��% � �� ����������� , ���%����� �� ������� �� � ���������� �� �� ��&������ F��� �� ����� �� ������� ���� ��� ������� �� ������ %��� �� '���� ���

Page 20: research.utwente.nl · Data and event flow diagram (DFD), textual specifications Behavior view Event model Event specifications Function-data integration Function-entity type links

���� ��� ������� ���������� ��� �� ������� ����� )�

Diagram manipulation

Generic diagram manipulation

ER diagram manipulation

DF diagrammanipulation

Creatediagram

Deletediagram

Copydiagram

RenameDiagram

Local checkdiagram

Loaddiagram

Savediagram

Printdiagram

Exportdiagram

Appenddiagram

Splitdiagram

Previewdiagram

Add freecomment

Delete allelements

Deleteselection

Cutselection

Pasteelements

Copyselection

Duplicateselection

Basicmanipulation

File manipulation

Global checkdiagram

Printing

Editing

Checking

Entity typesRelationships

Attributes

Subject areas

Specializations

Create/delete/copy entity type

(Re)name entity type

Replace by relationship

Add/remove attribute

Add/remove identifier

Add/remove life cycle

Create/delete relationship

Add/remove component

Replace by entity type

Add/remove attribute

Create/delete/copy subject area

Add subjects to subject area

Remove subjects from subject area

Hide contents of selected subject area(s)

Show contents of selected subject area(s)

Show everything

Show contents of single subject area only

...

create/delete specialization

add/remove supertype

add/remove subtype

add/remove specialization attribute

Create/delete/copy attribute

(Re)name subject area

(Re)name relationship

Update card. constraint

Update role name

(Re)name attribute

Update value type

...

8� ��� (�)5 ��� ������� �� �� 13 ��� ����

Page 21: research.utwente.nl · Data and event flow diagram (DFD), textual specifications Behavior view Event model Event specifications Function-data integration Function-entity type links

�������

�� ��������� �� ������

��� ���� �� � ������ � ���

��� ������ � ������� ���*� �� ��� �"�� �� �� � ��"�� �"��"��% � �� ��������������� � �������� , �� %���� �� ������ ��� �� �� ��� ��������� � � ��* ��� �������A�� �� ' ��� ��)�

Model Representation Meaning

Statement of Purpose Tabular text Overview of responsibilities of the system.

Model Element Representation Meaning

System Text The name of the system whose purpose is being specified.

General description Text Overall indication of why the system exists or will exist.

Responsibilities Text High-level descriptions of duties that are within the system scope.

Specific exclusions TextExclusion of areas of possible responsibility from the scope of the system.

8� ��� ��) ��� ��������� � ��� ������ � ��������

��� �� ��� ��� � ��� ��� ���

��� ��* �� �����'� �� ���� �$�( %��� �� ������� %�� � ��� � ��� �� ������� � � ������

��� #$� � ��� ��� "��� �� �� ��� �����

��� ������ � ������� ��� �� ����� �� �$�( �� ����� � � ������� ���� ����� ����"�� ��� �� ������ ���� ������ �� %���� �� '�� ������ �� ������� '���� �� %�� �� ����� ������ ����� ��' ��� ��)� /��� �� ����� ���� �� ��������� ��� ���� � �� ����� ��� �� ��'��� %�� ��� ����:� ������ �� ����� ���� �� �� ���� � �� ���>�� ��������� ����� ��� �� ������� ��������������%��� �� ��* ��� �� ���� ����� ����������

(5

Page 22: research.utwente.nl · Data and event flow diagram (DFD), textual specifications Behavior view Event model Event specifications Function-data integration Function-entity type links

������� �

�� ���� ���� ����

��� ��������� ��

��� ��� 7�% ����� �� �� ���� ����� �� ��� ��� ����� �� ��� ������� ����� ��� �� ��� ��������� ����� ��� ��� � � ��� 7�% ����� ���%� �� 7�% � ��� ��� �"��� ��%��� �� ����� ����� ��"�������� ��� ��"������� �� ��������� �� ������� ������� %���� ��� ������ ��������� ������ *�������� �������� �� ����� ���"�� �� �������� � ������� �"���� 6�� ����� �������� ������� ��� ��%��� �� �"���� 6�� ��������� ������� ���� ������ ��������� ������ �� ����"���� ���� ��������� �� ���������� ��� %��#�� � ������ ��������� ��� ��������� �� ����"����� ����������� ������ ������� ��� ��� 13 ����� ��������� �� ������� � �� ��� �� �� ��� �������� �� ��� 7�%� ������� (�� ��� ���������� � � ��� 7�% ����� ��� �#� �� ��� �

� � ���� �� ������ "��% � � ����� ��� ����

� � ���� ��� 7�% ��� ��� � � ������� �����

� � ��� �� ������� ���������� ����� � ��� �� �� ��������� ���%� �� ����

� ������� �� ����� � �� ���� � � ��� 7�% ����� �����'������

��� ����!� � ���� � � ���

��� ����� ��� ��� �� ��� ���%� �� ������� ��%��� �� ����� ��� �� ��"�������� ��� �������� ��� �� � ��� 7�% ��� ��� %���� ���%� �� ����� �� � ��� �� ������� ����� ��� ���������� � ��� ����� ��� ��� ��� �"�� �� ' ��� +�)� � ����� ��� ��� ��� �� "��%�� �� ���� ������ ������ ����� ��� ����� 1��� ������ ��� ��� ���%� � ������ � �� �����L� �������� ��������%� � ���% ���� ����� ��� � ��� �� ��� ���� ��� ��������� � � ������ ��� ��� ��� �� ������ � ������� ����� ��� ����

��� %��� &�' � ���� � � ���

��� ��������� � � ���!����� ��� ��� 7�% ��� ��� ��� �"�� �� ' ��� +�(� � ������� ������������� �� �����'�� �� � �������� ����� � �������� ������ ������� �� � ����"����� ��� ����������� �������� ��� �������� ����� ��� ����� �� ������ �� ��� �������� ���������� ��%��� ������� �� � ��� 7�% ��� ��� ��� �"�� �� ' ��� +��� ����� �� �� �������� ��?������ �� �� 686��%��� ������� ��� �������� ���������� :� ���� �������� ��������� ��� ������ ���������

()

Page 23: research.utwente.nl · Data and event flow diagram (DFD), textual specifications Behavior view Event model Event specifications Function-data integration Function-entity type links

(( ������� �� ��� ���� ���� �����

Model Representation Meaning

Context diagram Directed graphRepresentation of the system as one process group, exchanging data with terminators.

Model Element Representation Meaning

Context process Node Process group that represents the system.

Terminator Node Producer or user of data that interfaces with the system.

Data flow Directed edgeInformation produced outside the system that the system uses, orinformation produced by the system that is needed by the environment.

Continuous data flowRepresents values that are available over a period of time.The contents is a piecewise continuous partial function of time.

Continuous access flowSystem or terminator continuously updating or monitoring the value of a store.

Discrete data flowRepresents values that are available at a particular instant of time. The contents is a discrete function of time.

Discrete access flow Discrete access to a data store by a terminator or the system.

Dialogue data flow Bidirectional edgePair of data flows between a terminator and the system (request data flow and response data flow).

Event flow Directed edge Required synchronization between the system and the environment.

Continuous event flowStatus that is indicated over a period of time, between the system and the environment. The contents is a two-valued piecewise continuous partial function of time.

Discrete event flowStatus that is available at a particular instance of time, between the system and the environment. The contents is a single valueddiscrete function of time.

Dialogue event flow Bidirectional edgePair of event flows that occur at the same time between the same terminator and the system.

Data store Node Buffer between the system and the environment.

Comment Text Free-format comment.

8� ��� +�) ��� ��������� ��� ����� ��� �����

Page 24: research.utwente.nl · Data and event flow diagram (DFD), textual specifications Behavior view Event model Event specifications Function-data integration Function-entity type links

��� ���� ���� ������� � ��� (�

Model Representation Meaning

Data flow diagram Directed graph Representation of processing done when producing the response to events.

Model Element Representation Meaning

DFD number Number{.Number}*A DFD has the same number as the process group it describes in detail. The child of the context diagram is labeled ’0’.

DFD name Text A DFD has the same name as the process group it describes in detail.

Terminator Node Producer or user of data that interfaces with the system.

Data process NodeTransforms data from input flows to data sent to output flows. Processes can be discrete (instantaneous) or continuing(permanent).

Process group Group of processes and/or data stores, with same representation as a data process.

Control process NodeTransforms events from input flows to actions sent to output flows. Processes can be discrete (instantaneous) or continuing (permanent).

Data flow Directed edgeContinuous or discrete flow of data between two data processes or a data storeand a data process or a terminator and a data process.

Continuous data flow Data flow that persists over time.

Continuous access flow Data flow that continuously updates or monitors the value in a store.

Discrete data flow Data flow that is only available at a particular instant of time.

Discrete access flow Data flow that updates or reads the value of a store.

Dialogue data flow Bidirectional edge Data flow that contains several flows that act as an interface.

Event flow Directed edgeContinuous or discrete flow of booleans between two processes or an event store and a process or a terminator and a process.

Continuous event flow An event flow that is available over a period of time.

Discrete event flow An event flow that is only available for an instant of time.

Dialogue event flow Bidirectional edge Packaging of several event flows between two processes or a process and terminator.

Enable/Disable flowDirected edge,labeled ’E/D’

An ’E/D’ represents the fact that a control process enables a process at one time and disables it subsequently.

Trigger Dir. edge, labeled ’T’ Activates a discrete process, which will run to completion and stop.

Data store Node A store of data.

Event store Node A store of boolean values.

8� ��� +�( ��� ��������� � ��� ��� 7�% ��� �����

Page 25: research.utwente.nl · Data and event flow diagram (DFD), textual specifications Behavior view Event model Event specifications Function-data integration Function-entity type links

(+ ������� �� ��� ���� ���� �����

����� � ������� ������� ���� ��� '������ �� ��� ������ � ���� � ������� ���� �� �������� ���� ���� � ��� � �� ��������� � ����� �� �������� �

����� ��� ��������� ��� ������� ��� ��� �"�� 7�%�� � ������� ��� 7�% �� � 7�% %���� "��������� � �� ������� ���� ��� � ���� ����� �� ��� ������� �� "���� � ���� � ������� �"�� 7�% �� �7�% �� �� �3D1 � ������ ����� �� ���� ��� ��� �� "���� � �� ���� ������ � ��������� ���7�% �� � 7�% �� ����� �� ������� �� � ������� � "����� �� "����� ��� ���� � �� � ���������������� � ��������� �"�� 7�% ��� � "���� ������ �"�� ������ ������� � ���� %���� �� ������3D1 �� 8�H�1�

�� ������J������� 7�% �� � ������� �� ��������� �"�� 7�% ��� � ������ ������� � � ���������� �� ������ �������� F��� � �������� ������� �� �������� � %��� ��� ��������� ����� ������� , �������� � �� ��� ���� � �� ��������� F��� � ������� ������� �� �������� � �� ������ �������� .�%�"��� � ���� �� ���� ���� � ������� 7�% ��������� ������� F��� �� ��������� �������� � ��� �� ������� ������ 1�����J������� 7�% ��� ������� K1J6L� �������"���� ������� ���� 7�%� �� ���� ������� ���� ��� ������� K1L� ���� ��&����� �� �� ����� ������ ������� ���������� �� �� ����� 686� � �� �� �� � ������� �"�� 7�% ��� � ������ ������� � � ���������� �������� �� ���"��� �� ��� ������� � ������� �� �����

��� �!���� ��� "��� ��� � %( ���� � ���

��� ��������� � �� ����� ��� ��� ��� �� ���� ��� 7�% ��� ���� ��� ����� �����'�� ������� ����� ����� �����'������ ��� �������A�� �� ' ���� +�+ � +�))�

��) �� ��� ��� � ��� ��� ���

��"�� #��� $�� ����� �� ��������� �%

�$� %�� ��� ������ �������� �� �� ��������� �������� �������� ����� <(� 9= ��� �� ��������� ���� ����� ��������� �� <))=� �������� � �� ���#� � ������� ��� 7�% ����� ������� � ������%�� ���������

)� �� ���� ����������� ��� ��� � �������� �� ������� � �� ��� �� �� ��� ����� ������ "��%��

(� �/��������� � ���������J��� ���� �� ���������J������������ ���� ��� ������!��� ��!� ������

�� � ������������ ��� 7�% ��� ��� ��� ������ "��%��

+� �/��������� � ������� ��'����� ����

-� ���������� �� ���� ������"� ��� �������� �� ��� ��� ���

9� � ��� ��������� �� ��� ��'������� ���� ������� ��'������ �� ���� ��� ���� ��� ������� 7�%�

0� $��������� ����� ��%��� �� ���"� �����

��� ��� ������ ���� �� ��������� ������ ����������� ��� ������� ����#� ���� ��������� � �� ��� ��"��� ��� �"��� �� � ��%�� ��"���� %���� ��� ��� ���#�� � ���� ���� �� � ����������� ��� ���� �� ��#� ��� � ������� ��'����� ����� , ���� �� �"�� ��� ��� ��� ���� ����� 6�� ����������� ��� ���� ����� ��� ���� ���� %��� ���� �� �� ������������ � ��� ��� ���� ��� ��� ��% ��������� �������� �� �� ������ ���� ��#� ��� ��� ��������� �� ��� ������

Page 26: research.utwente.nl · Data and event flow diagram (DFD), textual specifications Behavior view Event model Event specifications Function-data integration Function-entity type links

���� ��������� �� ��� ��� ��� (-

ToFrom

Terminator

Discretedata processor process

group

Continuingdata processor process

group

Discretecontrolprocess

Continuingcontrolprocess

Datastore

Eventstore

Terminator

DDCDDECE

DDCDDECE

DECE

DECE

Discretedata processor process group

DDDE

DDDE

DDDE

DE DE DD

Continuingdata processor process group

DDCDDECE

DDCDDECE

DDCDDECE

DECE

DECE

DDCD

Discretecontrolprocess

DE DE DE DE DE DE

Continuingcontrolprocess

DECE

DECE

DECE

DECE

DECE

Datastore

DDCD

DDCD

Eventstore

DEDECE

DD = Discrete Data flow CD = Continuous Data flow

DE = Discrete Event flow CE = Continuous Event flow

8� ��� +�� ��� ����%�� ���������� �� ��� ��� 7�% ��� �����

Page 27: research.utwente.nl · Data and event flow diagram (DFD), textual specifications Behavior view Event model Event specifications Function-data integration Function-entity type links

(9 ������� �� ��� ���� ���� �����

Model Representation Meaning

Terminator specification Tabular text Specification of the properties of a terminator.

Model Element Representation Meaning

Name Text The name of the terminator.

Meaning Text The significance of the terminator.

Number of instances Text constant or variable number of instances.

Identifier TextWhen number of instances is greater than 1, this gives theway to distinguish them.

8� ��� +�+ ��� ��������� � ��� ����������

�$�( %��� �� ��"� ��� ����������� ������ ,� ������� � �� ��������� ������ ��� ��� ���� ������������ ��� ��������� �"�� 7�%�� ������ ���������� ��������� ��� ������� ��������� ��� 7�%����

��"�� #��� $�� ����� �� �&%#'

�$� ���� �?��� ������ �� �� �3�61 ����� <)�=� �3�61 ���� ����%� �������� 686� ��� �� ����%��� ��� ����������� �3�61 ���� �� ��"� ����!��� ��������� � 686� ��� ������ ������������ �� �"�� 7�%��� �3�61 ���������� �� 686� ��� ������� ���� ���� ��� ������� ������������ ���&�� ���������� ,� ����� 686� ���� � "��� ������ ���� �� �3�61� �� � �� �� ��������� ��������� �3�61 ����� �� ��� ������� ���� ��� �� ��&������� �� � ������ �� �����"��� ������ �$�( � ���% �������� 686� %���� ������� ���� ��� �� ����� ��� %������ � ����

��"�� ����������� ��� �� ������

��� ����� ��� ���"������ � ��� ��?��� ��� ���� � �$�� ���� ��?������� ��%��� �� ������"������ ��� ���� ���� �� �$� ��� �"�� ���� �� %��� �� %�� %��� �� ���� �� �$�(�

�1����� �������

� 1������ ������ ��$�� ��� ������ ��������� �� ���� �$�( %��� #��� �� ��� ������������ ������� K��������L ��� �������� � ��������� ��������� ��

� F��� ���� ��� ������� �������� � �� ������� ���� ��� %��� ��"� � ��"� �� ������������'�� �� �$�(�

� 1������ ������ ��� �� ���%� �� ��� �� � ���!����� 686� ���� ��� �� ������� �� � ������ 7�%� �� ���� ��� ��� � � ��%���� �� � ��'����� ��� �� �� ����� � ��� ��������

��� ��� ������� � � ���� ��� � ��� � �� ���� � �� ��� �� ��� � �!" ���� �� ��� ���� � ��� ���������� � ������������� ���������� ������ � �� ����� ����� � ���� � ���� ������� � ��������

Page 28: research.utwente.nl · Data and event flow diagram (DFD), textual specifications Behavior view Event model Event specifications Function-data integration Function-entity type links

���� ��������� �� ��� ��� ��� (0

Model Representation Meaning

Process specification Tabular text Specification of the properties of a data or control process.

Model Element Representation Meaning

Name Text The name of the process.

Meaning Text The significance of the process.

Process type {data, control, group}The type of a process. A process group is a data process that isrefined in a sub-diagram.

Persistence {discrete, continuing}Continuing: the process continuously produces its output. Discrete: the process carries out its function at specific instances of time.

Activation mechanism {stimulus, trigger, time}Stimulus: activation by discrete data or event flow . Trigger: activation by control process. Time: activation by temporalevent. (only discrete processes have activation mechanism)

Stimulus Link to flow Flow that acts as a stimulus (only for discrete processes).

Number of instances Text Constant or variable number of instances.

Identifier TextWhen number instances is greater than 1, this gives the way todistinguish them.

Specification

Link to minispec or Link to bSTD or Link to state transition and action table or modification orLink to data flow diagram

Control processes can be specified by bSTD, STA table, minispecor modification. Data processes can be specified by minispec or modification. Process groups can be specified by DFDs ormodification. A modification is a copy of a minispec, control processor process group of which the input and output flows are changed.

Modified process Text Name of the process of which the specification is a modification.

Changes List of Text For the modified process the original and modified items are given.

Mean time between failures Time Estimates average time between a failure and the next failure.

Mean time to repair Time Estimates how quickly normal operation is resumed after a failure.

Minimum sample frequency TimeEstimates min. freq. at which discrete equivalent of a continuingprocess would have to be activated.

Response time Time Describes how long a discrete process can take to complete.

Processing/activation NumberEstimates how much processing is needed to activate a discreteprocess.

8� ��� +�- ��� ��������� � ��� ����������

Page 29: research.utwente.nl · Data and event flow diagram (DFD), textual specifications Behavior view Event model Event specifications Function-data integration Function-entity type links

(2 ������� �� ��� ���� ���� �����

Model Representation Meaning

Minispec Tabular textPrecise specification of how a data process relates the inputs and the outputs.

Model Element Representation Meaning

Process Link to data process The process that is specified.

Data flow inputs List of links to data flow Data flows used by the process.

Data flow outputs List of links to data flow Data flows produced by the process.

Event flow inputs List of links to event flow Event flows used by the process.

Event flow outputs List of links to event flow Event flows produced by the process.

Stored data inputsList of (links to data store +list of attributes in store).

Stored information used by the process. These are attri-butes (of entity type, relationships) stored in a data store.

Stored data outputsList of (links to data store +list of attributes in store).

Stored information produced by the process. These are attributes stored in a data store.

Function Text

Specification of relation between inputs and outputs.Could be done with pre/post conditions, mathematic formulas,decision tables, decision trees, structured text etc. (not further specified here).

8� ��� +�9 ��� ��������� � ��� ����������

Page 30: research.utwente.nl · Data and event flow diagram (DFD), textual specifications Behavior view Event model Event specifications Function-data integration Function-entity type links

���� ��������� �� ��� ��� ��� (�

Model Representation Meaning

Data flow specification Tabular text Specification of the properties of a data flow.

Model Element Representation Meaning

Name Text The name of the data flow.

Meaning Text The significance of the data flow.

Structure{element, group,dialogue pair, multiple}

element:single indivisible piece of datagroup: several pieces of datadialogue pair: initiator and response flowmultiple: overview representation of many flows.

Persistence {discrete, continuous}Element flows are time-discrete or time-continuous.Group flows are always composed of discrete flows.Multiple flows that contain a continuous flow, are continuous.

Composition TextA group flow is defined using the inclusion, selection,iteration and optionality constructs.

Contained data flow List of Links to data flow A multiple flow is composed of a set of independent flows.

Entity type Link to entity typeEntity type of which data element is an attribute (element flowsonly).

Attribute Link to attribute The attribute to which the flow refers (attributed data element).

Typing {abstract, value list}Non-attributed data elements are specified by an ADT or alist of values.

ADT Link to ADTThe ADT by which an abstract non-attributed data flow isspecified.

Parameters List of text The parameters of the ADT.

Values List of textThe list of values by which a value list non-attributed data flowis specified.

Unit Text The units in which the values of the ADT are expressed.

Restriction Text Restriction to the possible values of the ADT.

8� ��� +�0 ��� ��������� � ��� ��� 7�%��

Page 31: research.utwente.nl · Data and event flow diagram (DFD), textual specifications Behavior view Event model Event specifications Function-data integration Function-entity type links

�5 ������� �� ��� ���� ���� �����

Model Representation Meaning

Access flow specification Tabular text Specification of the properties of an access flow.

Model Element Representation Meaning

Name Text The name of the access flow (not required).

Meaning Text The significance of the access flow.

Store Link to data store The store that is accessed by the flow.

Process Link to process The process whose access to the store is specified.

Composition Text Description of the component accesses of the flow.

8� ��� +�2 ��� ��������� � ��� ������ 7�%��

Model Representation Meaning

Event flow specification Tabular text Specification of the properties of an event flow.

Model Element Representation Meaning

Name Text The name of the event flow.

Meaning Text The significance of the event flow.

Structure{elemental,dialogue pair,multiple}

elemental: single indivisible flowdialogue pair: initiator and responder flowmultiple: group of flows from lower level diagram

Persistence {continuous, discrete}continuous: value true or false (always asserted)discrete: value true, false or undefined.

Contained flowsList of links toevent flows.

When it is a multiple flow, the contained flowsare listed here.

8� ��� +�� ��� ��������� � ��� �"�� 7�%��

Page 32: research.utwente.nl · Data and event flow diagram (DFD), textual specifications Behavior view Event model Event specifications Function-data integration Function-entity type links

���� ��������� �� ��� ��� ��� �)

Model Representation Meaning

Data store specification Tabular text Specification of the properties of a data store.

Model Element Representation Meaning

Name Text The name of the data store.

Meaning Text The significance of the data store.

EntitiesList of links to Entitytypes.

Entity types that are ’in’ this store.

RelationshipsList of links to Relationships

Relationships that are ’in’ this store.

Stores includedList of links todata stores.

Stores on lower level DFDs.

8� ��� +�)5 ��� ��������� � ��� ��� ������

Model Representation Meaning

Event store specification Tabular text Specification of the properties of an event store

Model Element Representation Meaning

Name Text The name of the event store.

Meaning Text The significance of the event store.

Maximum number of events Number Maximum size of the store.

8� ��� +�)) ��� ��������� � ��� �"�� ������

Page 33: research.utwente.nl · Data and event flow diagram (DFD), textual specifications Behavior view Event model Event specifications Function-data integration Function-entity type links

�( ������� �� ��� ���� ���� �����

���� ��� �� �� �� ��� �� �������� � � ������ �� �� �$�( ������� ������ ����� �� ����'�������

���������

� 6�� ������������ ��$�� ��� ������ ��� ��������� �� ���� �$�( %��� ���� �� ��� ���������� %���� �� ���� �������� %�� �� ��� ������ ��������

� 6�� ��������� ��� ������ ��������� ��� ��"� � �������� ��� � ������� "����� �� �����$� ���� �� ��������� ����� ���� ������� ��������� ��� �������� ���������� �$�( %�����"� ������� ��� �������� "������ �� ��� >�� ��#� ����

� � ��� ������� �� �� �����'�� �� � 686 �� ������ � ����� ����� �� ���� �$�( %��� ������ ���"������ ��� ���� ���!��'��� ��� ��������� ��� ������ ��� �������� � ��'��� ���������� �� ������ � ������� �����

� 6������ ��������� ��"� �� ���"���� ��������� �� ��� ��������� �� �� �� ����� F��� �����"���� �� � ������� �� �������� 7�% �� �����'��� ���� %��� �� ������ �� �$�(�

� *�������� ��� �� �����'�� �� ��� �� �� �������� �������� ���� %��� �� �� �������� �� �$�(�

� 1�"������� ��������� ���� � �� ��� ��"��� ��� �� ���%� �� �� 686 �� ���� ���� ������ 7�%� ����� ��� ��� ��� � ��%���� ��� � �� ����� ����� � ���% �� � ���� �������� ��"������� ������� ����������� ��� ������ "������ �� ������� ��'������ �� �$�(� �������������� ��� ����� ������ ������� ��� ��"� ������ ����� �������� :� �� %��� �� �� ���������� � �� ������ � �� �� ����� � �������� �� � ��� ��� ��� ���� �� ������ %������ ��"������� ��������� ��� ������� �������

"��#�

� $����� 7�%� ��$�� ��� ������ �"��� 7�%� �� ���� �$�( %��� ���� �� ��� �"�� 7�%�

� 6�� 7�%� ��� �"�� 7�%� ��� ��"� � ��������� ��� � ������� "����� �� ���� �$����� ��������� ����� ������ ������� ��� 7�%� ��� ��������� ��� 7�%�� �$�( %��� ��"� ���������� ��� � ������� "����� � ��� 7�%� ��� �"�� 7�%��

� ��� ��������� ����� ������ ������ 7�%� ��� ���� ���� � ��� 7�%� �$� ���� � �� ���������� ��� 7�% �� ��� �� �������� ���J�� �� �� ���������� �� � ������������ ����%�����!%��� �������� �$�( %��� �� �� ��� ������ 7�%� �� � ������ ��� � ��� 7�%� ��������� ��� ��� � ��� ���� ��� �� ��� ������� ��� ����������

� ��� ��������� ����� ������ ����� �� 7�%� ��� ���� 7�%�� �� � #��� � &������ ��� ���%������� �$� ���� �� ��"� ����� �� 7�%�� �$�( %��� �� ��"� ����� �� 7�%� ������� ��� ����� ������ ��������� ��� ��� ����� �� ������� �� 7�%� %���� ������ �� �"������

� �$�( %��� �� ��"� ����� �� ���� ��� ��� �"�� 7�%� ��� ��!������ ������� ��� ��� �"��7�%��

� �$�( ������� ��� 7�%� ��� �� ���� 7�%�� %���� %��� �� ������ ������� �� ��� ���$�(� $������� ��� 7�%� ��� ������ %�� ��������� �� ���� ��"� � ����������%���� �� �����'�� �� �� ���� ������ �� �� ���� �� �� ��� 7�% �����'����� ���� ������������� ����������� ������ � ���������� ��������� ������� ��� ����������

Page 34: research.utwente.nl · Data and event flow diagram (DFD), textual specifications Behavior view Event model Event specifications Function-data integration Function-entity type links

���� ��������� �� ��� ��� ��� ��

� 1�������� ��� 7�%� ��� ����� ������� �� ���!������� ��� ��� ������ �� � �� ��������� ��� ������� ,� �$�(� �� ������� ��� 7�% ��� � ���# � �� ���� ��� ������ ��������� � ���# � �� ���� ���� ��� �� 13 ������ � ���!������� ��� 7�% ��� �� �%� �����'����� �����!�� ��� �� ������������ 1"�� 7�%� ��� ��%��� ����������

������

� ��� ����� ��� ��� ��� ������� ��� ����� �� ���� �$� ���� �� ��"� ������� �������� ��� ����� ��������� �� ���� ��� ����� �� � %�� �� ������������ �$�( %��� ����%��� ����� �� �� ����� ��� ���� ������� ���� �� �� ��� ������ � ����� ���

� H�#� ���� �� ��� ���� �����'����� � �$�( %��� ������ �� ������ � �� ����� ��� �������� �� ���� ���� ��� ������������ ��� �� 13 ����� �� ���� ��� ���!����� �%���� ������� �� � ��%�� ��"�� 686��

� ����� ��� ��� ��� ��� �"�� ����� �� ���� �$� ���� ��� ��� ������ �$�( %��� �������������"� �"�� ����� ����%� �� � ������ ���� �����

��"�� ��� ���� �� ������� �� ����

.��� ����%� � ���������� � �� ��������� ����� ��������� � �� ��� 7�% ����� �� %���� �$�(%��� �"� ������� ���� ��� �� ��� ��� �"�� 7�% ��� ���� �� ��� �� ���%� %�� �� ������"������ � �$��

� H�#� ���� �� ������� � � ��� 7�% ����� ��� ����� �����'�� �� ������ �� '���� �� �$�(��$�( %��� ��"� ����� �����'������ �� ���������� ������� ������� ��� 7�%�� �"�� 7�%����� ������ �"�� ����� ��� ���� ������

� ,� �$�( ���� ������� ���� �� �����'�� �� � 686� 1��� ��� ������� �� �����'�� �� � ���������1��� �������� ������ ������� �� �����'�� �� � ��� ������� �� �� ���������� �� ��� ��� ����%�� � ����"����� ��� �������� ��� ��� �� � ��� �������� ��� ����� ����� �������� ������ ������� �� �����'�� �� � �������� ����� ���� �� �� ���� �� �� ���� ����� ��� �� �� �������� � ������ � ������ ������� �� � �������� �� �$�(�

� M�� ��� 7�%� ��� ��� ����� �� ��� 7�% ����� �� ���#�� � �� 13 ������

� �$�( %��� ����� �� ��� ������ ��� �$��

���� ��� �� ���� �� "��%�� ��� ����� �� ������ ��'����� ���� �� ���� �� "��%�� ��686 ������� ���������� ����� %��� ��"� � �� ���%� �� � ���� %� %��� �� � ��� ��� ������� �� �$� ������ ��� ������� ��� �� �� ������� ���� ,� �� ���� ���� �� ��� �� �� ���� ��� �� � ��% ��������A�� �$� �� ����� %��� �� ���� ��� ��� ���������� ����"���� ������ �� ���� � ��� � �� ��� �����

� ��� ����� ��� ��� ��� �� "��%�� �� ��"���� ������ ����� ��� ���� �� ���� �$� �����!������ � ��� �� ����� ��� ���� �$�( %��� ����% ������ ����� ��� ���� ����"���� �� ����� �� ��� �� ���� ��� � ��������� �� ����� ��� ���� �� ���� %���� ����������� ���� ������ "��� ��������

Page 35: research.utwente.nl · Data and event flow diagram (DFD), textual specifications Behavior view Event model Event specifications Function-data integration Function-entity type links

�+ ������� �� ��� ���� ���� �����

Name level DT indexes # DTs

Context diagram 0 index 0 (or no index) 1 DT

Diagram 0 1 index 1 to n n own DTs (n > 0)

Diagram 1 2 index 1.1 to 1.m m own DTs (m > 0)

...

Diagram n 2 index n.1 to n.m m own DTs (m > 0)

Diagram 1.1 3 index 1.1.1 to 1.1.k k own DTs (k > 0)

...

Diagram n.m 3 indexes n.m.1 to n.m.k k own DTs (k > 0)

...

8� ��� +�)( 4���� ��� ����� ���"������ �� � 686�

��* #$� � ��� ��� "��� �� �� %( ��� �� �����

��(�� #��������� ��� �����������

8��� ���� ��% ���� ��� ��'������

� ������� �� ��� ������� � �������� ��� ��� � ����� �������� ��� ��� ���� ������ ������ � �� ��� ����������

�� �������� �� � ����� ����� �� �� �����'����� � �� ������� ���� �� ����� � ���� 7�% ��� ����

��� �������� �� � �� ����� ������ ��� �� ������� � � ������� ���� ��� ��������� � �� ��������� � �� ������� ���� ��� �� ������� � �� ��� ��������

��� ����� � � ������� �� � ���� �� � ��� 7�% ��� ��� �� �� ������� ���� %���� ����'��� �� ��� ��� 7�% ��� ���� ���� ������� �� �� ����� �� �� �� ��� �������

,� �� ������ �686 ����� � �$�� ������� ��� �� ���� �� �� ' ��� +�)( ���"�� � ��"���������� � ������ ��%�"��� ���� �� �� ���"� �������� ��� ����� %���� ������ ��� B��"�� N ���C�,� �� �$�( "������ � �� ������ � ������ ������� �� ����%�� ��������� ���� ���� ��� 7�%��� ���

� 6�� ��� �� ���� � �� ����� ������� ��'����� ����������

� *���� �� ����� � �� ����� ��� ��������

� H�"�� �� ��"��� ���� �� ������� ������� � ������ � �� ��� ��� ����� ��� ���� �� ����'����� ���� ���� ��?��� ��� �� ��'����� ���� �� �686 � �$��

� ,���� � ������ %����� � ���� %�� �� ����� ������ ��������� �� ����� � ���� ��%�������� ��� ��� ������ ��������

Page 36: research.utwente.nl · Data and event flow diagram (DFD), textual specifications Behavior view Event model Event specifications Function-data integration Function-entity type links

���� ��� ������� ���������� ��� �� ������� ����� �-

8���������� �� ��% ��� ��� ����� �������� � ��� �� ��������� ���� �������� � �� ����� �� ��� 7�% ��� ��� ��������� � ���� %�� �� ������� ����� ��� ����� �� �� ��������� ����������� � ���� ����� ������� ��� ��� 7�% ��� ���� ��� �� �� ���!��� ���� �� ���!��� ����� � � � %���� ��� ���� �� ��������� �� �� ��������� ��� ���� ��� B6�� ��� ����#C �� �� ��B���!��� ��� ����#C�

��(�� ������������ �� � � ������ ��!��!�

F� ������ �� �����'����� � ���� ������� � �� ���>�� ������ �� �� ���� �� �$�( �� ������ �"�� 7�% ������� � ��� ' ��� +�)� �� �� �"��"��% � �� ���� ������� � �� ���������� ���7�% ��� ���� .��������� 686� ��� ����� ��� �������� �������� � �� ���"������ �� ' ��� +�)(���� ���� ������� �� ����� ��'��� �� ' ��� +�)+� �� %���� �� ��?���� #���� � ��������� ������"���� ��������� ��� �����'��� :� ����� � ������ �� ��������� � � �� ��� ��"��� � ���!��� ��� �� ��"�� � � ��%�� �������"��� �� ��� ��"��� ��"�� � ��� ��� � � ��%��J�� ��� ��"�� ��������� ������ � �� ��� � � �� ����� � �� ����� �������� 1� � %��� � ������ ����� �� ����� ��� ����� � �� ������ �� ���� ������ �� ����� �������"���� � �� ���� �������� � �� ������� ��� ��������� �� �� ��'������ ��� ������������ � �� ����� ��������� �� � 686 �� �������A���� ' ��� +�)-� ��� �������� ��������� ��%��� ���� ����� ��������� �� �� ���� �� �� ���� ��' ��� +���

,� ������� � �� ������� �� �� �"�� �� �� $36 ��� �� �������� ����������� ���� ��� �������� ��������� ���������� � � 686� ����� �� � ��� � ��������� ����� � � ��� �� ��� 7�% ��� ���%���� �� �"�� �� �� ���� �� ' ��� +�)9� ����� �� � ���� � ��� � ��������� ������ ��?���� ��"��� �� ��� 7�% ��� ��� %���� �� �"�� �� �� ���� �� ' ��� +�)0�

��� ��������� ����� �� �� ��� � ��� ���� ������ ����"�� � � ������� ���� �� �&��� ���� � ��� ���� ������ ����"�� � �� ��'������ ��� ���������� ������� �� � ������ ��� ������� � %���� �� ����� ������� ���� �� ���������

��(�� ������������ �� � � ���� �!�������

��� ������� ��� ���������� �� ��� ��#�� �� �� ������������ ��� ��� �"�� 7�% ��� ��� ����� ��$�( ��� �"�� �� ' ��� +�)2 , ���� ��������� %�� ������� � �� ��� 7�% ������ ����� ������������ ��� ���� ���� ���� �� ���� �������� ���� ���� ������� ������ � ��� ��� ��������� ��� ������� ����� �� �� ' ��� (�)5 �� �� ������ ������ B;������ ��� ��� �����������C�

��� ������� �� ��� 7�% ��� ���� ��� ������ ���������

)� 6�� 7�% ��� ����

��� $���� ����� ��� ��� � ����� ��� ��� �� ������� ��� ����� ��� ��� ������� ���������� ���� �����

��� 6���� ��� ��� � ������� 686 �� ������� � ���� %�� �� ��'������ � �� ������� ����� �� �� ��� ��� ��������"�����

��� 6���� ��� ��� ����� 686 ��������� �� �������

��� ���� ����� ��� ��� /�� �� ���� ��"������� ������ �� � ����� ��� ��� ��� ��!������ ��� ����� ��� ��� �� ���� ��� %� ������ ��� ���� ��� ���%�� �� ���������"������� ������� �� ���� ���%�� �� ��������� � �� ����� ��� ����

��� ��� � ����� ��� ���� �%� ������ ����� ��� ���� ��� �������� ����� %� ����������� ��� ���� ��� ��� �� ��� � ��� �� ����� ��� ����

(� *���������

Page 37: research.utwente.nl · Data and event flow diagram (DFD), textual specifications Behavior view Event model Event specifications Function-data integration Function-entity type links

�9 ������� �� ��� ���� ���� �����

node1

node2

index: string

Process

structure: {elementary, composite}

Data Flow

de

is_a

name: stringmeaning: string

Subject

de

is_a

context diagram: bool

Process group

de

is_a

de

is_a

de

bSTD

STAtable

de

is_a

Node

Event flow

External EntityStore

Data process

Minispecstate machine

Control process

Event storeData store

State MachineRepresentation

is_a

parent

Flow

8� ��� +�)� ���� ������� � �� ���������� 686�

Page 38: research.utwente.nl · Data and event flow diagram (DFD), textual specifications Behavior view Event model Event specifications Function-data integration Function-entity type links

���� ��� ������� ���������� ��� �� ������� ����� �0

deis_a

Event flow

Enable/Disableflow

Triggerflow

Discrete processContinuous

process

Permanentdiscrete process

Triggeredprocess

Enabled/Disableddiscreteprocess

de

is_a

Data Flow

de

is_a

de

is_a

Permanentcontinuous

process

Enabled/Disabledcontinuous

process

Flow

Discrete flowContinuous flow

Process

de

is_a

is_ais_a

TE/D

stimulus

stimulus

E/D

8� ��� +�)+ /"��"��% � ��������� ��� ���� ���"���� �����������

Page 39: research.utwente.nl · Data and event flow diagram (DFD), textual specifications Behavior view Event model Event specifications Function-data integration Function-entity type links

�2 ������� �� ��� ���� ���� �����

Model component. Representation. Explanation

Data process CircleIndex is written in the top. Indexes are mandatory for a complexDFD. Optionally each non-refined process is labeled with a ’P’.

Process group CircleBy convention, process groups have the same representationas data processes.

Control process Dashed circle Index is written in the top of the circle.

Data store Horizontal bar

Event store Dashed horizontal bar

External entity Square

Discrete data flow ArrowA read/write access to a data store may be represented by a bidirectional arrow.

Continuous data flow Doubly headed arrow

Discrete event flow Dashed arrow

Continuous event flow Dashed doubly headed arrow

8� ��� +�)- 3��������� ������ �� � 686�

Page 40: research.utwente.nl · Data and event flow diagram (DFD), textual specifications Behavior view Event model Event specifications Function-data integration Function-entity type links

���� ��� ������� ���������� ��� �� ������� ����� ��

Constraint Mode Description

DFL1 Soft Each non-environment data process or process group has >=1 input flows and >=1 output flows.

DFL2 Soft Each environment data process or process group has >= 1 connections.

DFL3 Soft Each control process has at least one output flow.

DFL4 Soft Each store and external entity has >=1 connections.

DFL5 Immediately Each flow connects two different nodes.

DFL6 Immediately Connections are according to the table in figure 4.3.

DFL7 Soft All flows that do not connect a store, have a name.

DFL8 Immediately A data flow can not both split and merge.

DFL9 Immediately Each occurrence of a process has the same index number.

DFL10 Immediately Two flows from and to the same node, have different names.

DFG11 Soft A context diagram has exactly one process group.

DFG12 Soft A context diagram has at least one external entity.

DFL13 Soft Each store in the context diagram has at least one input flow and at least one output flow.

DFL14 Soft Each store in the context diagram is accessed by at least one terminator and by the process group.

DFL15 Immediately Flows to and from an event flow are unnamed.

DFL16 Immediately A trigger is labeled ’T’. Other event flows are not labeled ’T’.

DFL17 ImmediatelyAn enable/disable flow is labeled ’E/D’, an enable only flow is labeled ’E’. Other event flowsshould not be labeled ’E’ or ’E/D’.

DFL18 Immediately A trigger must activate a discrete process.

DFL19 Immediately Data processes and process groups should not trigger or enable/disable other processes.

DFL20 ImmediatelyDiscrete data processes can only have a discrete data flow as stimulus. A discrete control processcan only have a discrete event flow as stimulus.

DFL21 Soft A flow to or from a data store only carries values of attributes of subjects held in the store.

8� ��� +�)9 $�������� �� ��� ����� � � ��� �� 686 ��"���

Page 41: research.utwente.nl · Data and event flow diagram (DFD), textual specifications Behavior view Event model Event specifications Function-data integration Function-entity type links

+5 ������� �� ��� ���� ���� �����

Constraint Mode Description

DFG1 Soft

A compound flow enters or leaves the "corresponding" process group.f(Tx, Ty) means flow f flows from process Tx to process Ty.Then the following rules are applicable:(1) T0=parent(T0’) and f0=f1+f2 and f0(T0,T1) and f1(T0’,T1) -> parent(f1)=f0 (this is a merge if f2 != 0)(2) T0=parent(T0’) and f0=f1+f2 and f0(T1,T0) and f1(T1,T0’) -> parent(f1)=f0 (this is a split if f2 != 0)

DFG2 Soft

Balancing of flows (first part).If a compound flow has exactly one child -> names are equal:

((parent(f) = parent(f’) -> f=f’) -> name(f) = name(parent(f)).(or equivalently)

nr_of_children(parent(f))=1 -> name(f)=name(parent(f)).

DFG3 Soft

Balancing of flows (second part).Each compound flow has one or more children.

T0=parent(T0’) and f0(T0,T1) -> f1(T0’, T1) and t0=t1+t2T0=parent(T0’) and f0(T1,T0) -> f1(T1, T0’) and t0=t1+t2

DFG4 SoftEach store is uniquely introduced in a diagram. This means that the set of diagrams (nodes)in which the store occurs has a unique top.

DFG5 Soft Each external entity is uniquely introduced in the context diagram.

DFG6 Soft A process group is refined in exactly one lower level sub-diagram.

DFG7 SoftEach sub-diagram has exactly one parent process group. The number and name of that diagram is the same as the number and name of that process group

DFG8 Soft All stores, processes and external entities have mutually unique names.

DFG9 SoftAll processes have mutually unique index numbers. The same process should not occur with twodifferent index numbers.

DFG10 Soft Environment entities of a process group, (re)occur in the refinement of that process group.

DFG11 Soft A process is continuing if and only if any of the processes it groups is continuous.

DFG12 Soft A discrete process (not-refined) may not output continuous data flows.

DFG13 Soft A continuing data process (not refined) cannot have discrete input flows.

DFG14 Soft A store is not ’empty’. It contains either subjects from the ER model or other stores.

8� ��� +�)0 $�������� ������ �� ��?���� ��"��� � 686�

Page 42: research.utwente.nl · Data and event flow diagram (DFD), textual specifications Behavior view Event model Event specifications Function-data integration Function-entity type links

���� ��� ������� ���������� ��� �� ������� ����� +)

DF

dia

gram

man

ipul

atio

n

1. D

ata

flow

diag

ram

s3.

Pro

cess

Gro

ups

a. c

reat

e co

ntex

tdi

agra

m

b. d

elet

e di

agra

m

c. d

elet

e al

l

d. s

plit

cont

ext

diag

ram

e. m

erge

con

text

dia

gram

s

a. r

efin

e da

tapr

oces

s

b. g

roup

pro

cess

es

c. e

xplo

de p

roce

sses

5. E

xter

nal

entit

ies

a. c

reat

e ex

tern

alen

tity

b. d

elet

e ex

tern

alen

tity

c. a

dd e

xter

nal

entit

y

d. r

emov

e ex

tern

alen

tity

e. (

re)n

ame

exte

rnal

entit

y

6. S

tore

s a. c

reat

e st

ore

b. d

elet

e st

ore

c. a

dd s

tore

d. r

emov

e st

ore

e. (

re)n

ame

stor

e

2. P

roce

sses

a. c

reat

e pr

oces

s

b. d

elet

e pr

oces

s

c. a

dd p

roce

ss

d. r

emov

e pr

oces

s

e. (

re)n

ame

proc

ess

f. up

date

inde

x nu

mbe

r

g. m

ove

proc

ess

4. F

low

s

a. c

reat

e flo

w

b. d

elet

e flo

w

d. s

plit

flow

e. m

erge

flow

c. c

hang

e flo

w d

irect

ion

7. N

avig

atio

n

8. F

ilter

ing

a. m

ove

up

b. m

ove

dow

n

c. s

how

ove

rvie

w

d. g

o to

dia

gram

a. s

how

/hid

een

viro

nmen

tpr

oces

ses

b. s

how

/hid

een

viro

nmen

ten

titie

s

c. s

how

/hid

eco

ntro

l pro

cess

esan

d ev

ent f

low

s

...

8� ��� +�)2 ��� ������� �� � ��� 7�% ������

Page 43: research.utwente.nl · Data and event flow diagram (DFD), textual specifications Behavior view Event model Event specifications Function-data integration Function-entity type links

+( ������� �� ��� ���� ���� �����

��� $���� ������� � ��% ��� �� ������ ������� �� ������� ��"�� � ���&�� ����� %�� �������� 686 ����� �� ���'��

��� 6���� ������� � ������� �� ������� �� %��� �� ��� 7�%� �� ��� �������� � � ��� �������������� � �� ������� �� �� ���������� � �� ������ ��� ����

��� ��� ������� �� ���������� � �� ������� �� ����� � �� 686 ��� ��"������� ������

��� 3���"� ������� ��� ����������� � �� ������� �� �� ������ 686 ��� ����"�� �����"������� ������

��� 3����� ������� ��� ������� �� ������� �� %��� �� ��� ����������� � �� ��������

�� D���� ������� ����� ��� ����� � �� ������� �� ������ �� %��� �� ��� ����������� ��� ��������

� � ��"� ������� � ������� �� ��"�� � ������ 686� ��� ����� � �� ������� ��� �������,� ���� � ������� ���� �� ��"�� ��� ���������� ��� ���� ��� ��"�� ��� ������ %���

�� *������ �����

��� 3�'�� ��� ��������

��� ��� �� ��� ������� �� ������� � �� �� ����� � �� ��'������

���� ��� ������� �� �������� �� � ��%�� ������ ������� ����� � ��% ��"�� �� ����� ��� ��'����� ���� � ��% ��� ������� �� ������ �� ������ � �� ������� ������� ��� ������� ��� �� ����� �� ����� � ����� O C�)C ��� ��% ������� ��� �� ������"������� �� �� ����� ������� ���� �������� ���� �� �������� �� ��������� ����� ��% 686� �������� %�� �� ���� 7�%��

��� ;���� ��������� ������ ������� ������

��� � �� � ��������� ����� ������ ���J�� ����� �� ������� �� �� ���� 686�

���� � ��% 686 �� ������� ��� ��"�� ��%�� ��� �� ��� ���� 686� � ��% ��"�� �� ������ �� ������� ���� ��� ��������� ��� �� ��� ���� 686 ��� ��"�� � �� ��%�� ��"��686� �������� ���� ����� ��"�������� ,� �� ��� ���� 686 � ��% ������� ���� �������� �� ��� �� ���� ��"������� �� �� ������� ���������� ���� ������� ������ �� ����� � �� ��% 686�

��� 1������ ��������� ������ ������� �������

��� � ������� ���� �� ��������

���� ��� ������� ���� �� ����"�� ��� �� 686� ��� ��'����� � �� ������� �����%���� �� � ��%�� ��"�� 686� �� ����� � �� 686� ��� ��'����� ��� �� ������"������� �� �� ����"�� ������� ����� ��� ��%�� ��"�� 686 �� ����"�� ��� ��������� ��� �� �������

+� 8��%�

��� $���� 7�% � ��% ��� �� �"�� 7�% �� �������

��� 6���� 7�% � ��� 7�% �� �������

��� $��� � 7�% �������� � ��������� � � 7�% �� ���� ���

��� ���� 7�% � ��� 7�% �� ���� ��� %� �� ���� ��% 7�%��

��� ��� � 7�% %� �� ���� ��� 7�%� ��� ��� �� ��� � ��� �� 7�%�

�� �3������ 7�% � ��� 7�% �� �"�� � �����

-� 1������ ������

Page 44: research.utwente.nl · Data and event flow diagram (DFD), textual specifications Behavior view Event model Event specifications Function-data integration Function-entity type links

���� ��� ������� ���������� ��� �� ������� ����� +�

��� $���� ������� ���� � ��% ������� ���� �� ������ �� �� ����� ��� ����

��� 6���� ������� ���� �� ������� ���� �� ������ ��� �� ����� ��� ��� �� %��� �� �������������� �� �� ���� ��� �����

��� ��� ������� ���� �� ������� ���� ���������� �� ����� �� ��"������� �� � ���!�������� ����

��� 3���"� ������� ���� �� ������� ���� ���������� �� ����"�� ��� � ���!����� ���! ����

��� 3����� ������� ���� ��� ����������� � �� ������� ���� ��� ��������

9� �����

��� $���� ���� � ��% ���� �� �������

��� 6���� ���� � ���� ��� ��� �� ����������� ��� �������

��� ��� ���� �� ������ ���� �� ����� � � ��� ����

��� 3���"� ���� � ��� �� ���������� � � ���� �� ����"�� ��� � ��� ����

��� 3����� ���� � ���� ��� ��� �� ����������� ��� �"�� � �����

0� 4�"� ����� ����� ��� ������� � ��"� �� �� 686 ���������� 1��� ��� � ��� �� 686 ����� �� ���� �� �� ���������� �� �� ������ 686�

��� ��"� �� �� ����� ��� ��� � �� ������ 686 ������� �� ������ ��� ����

��� ��"� ��%� �� ��������� � � ������� ������� ���� ������� �� ������ 686�

��� ���% �"��"��% �� �"��"��% � �� 686 ��������� �� �"�� �� %���� �� ��� ���� ��� �������� �� ����� ������������ ��� �� ���

��� ;� � ��� ��� � ���� �� �� 686 �"��"��% �� ������� ��� �� ���� ������� �� ������686�

2� 8������ � ���� '����� ������� � ���% �� ���� ������ ���������� ��� ��� ������� F� ���� �"� ���� ���������

��� ���%J���� ��"������� ��������� �� ����� ��"������� ��������� ��� ���%� �� ������������� � ���� ����� �� ��� ���� :�� %��� ��� %�� ��� ��� ���� ���� ������

��� ���%J���� ��"������� ������ �� ����� ��"������� ������ �������� ������ ��������� ��� ���%� �� �������� ����� � ���� ����� �� ��� ���� ����� ����� ��� �������� %��� ��� %���

��� ���%J���� ������ ��������� $����� ��������� ��� �"�� 7�%� ��� �� ������ �� ����� ��� ��� � �� ��� ��� � �� ��� ����

����� � ��� ��� ������� ��������� ������� �� �� ���������� � �� ������� ��� �� ������������ ���� ��� ���� ����� ����� ��%��� ������ � ���� ����� �������� �� � 686 ������� ���� ����� ��������� �� �� ���� 68 ���������� �%� ������ �������� ��� �"�� ����

� , �� ���� � � ���� �� � 7�% �� ������ ��� �� ����� � ���� ���� ����������� ���"�������������� ��� ���� ������� �������

� , � ���!��� ��� �� ������ ��� ������� ��'������ ��� �� ��"������� ������ ��� ���������������� ��� �� ��% ���!��� ����

Page 45: research.utwente.nl · Data and event flow diagram (DFD), textual specifications Behavior view Event model Event specifications Function-data integration Function-entity type links

������� �

�� ����� ������������

)�� �+�� ��� "��� ��� � ���

��� �"�� �����'����� ������� � � ��� � �"��� � %���� �� ����� ��� �������� , �� ���#��� �� ����� ��� ��� �� �������� �� ���� �"�� %���� ��� ��� �"�� 7�%� ���� ��� ���"� �������� ��� ���������� � ��� ����� �#�� �� ��� � � ����� ����� ����� �� �� ����� �"�������'������ ��� ��������� � �� �"�� �����'����� ��� ����� �� ' ��� -�)�

)�� �� ��� ��� � ��� ��� ���

�$� ���� �� �������� ��"� � ��� ��������A�� �� �"�� �����'������� / ������� �$�( %��� ��"���������� ���� �� �"�� �����'������� :� �� ��� ������� #���� � �"�� ����� �� ��� ����������� �� ������ %��� �� �"������� �� �$�(� ,� �$�( ���� %��� �� %� ������������� �� ����� �"����/�� �� � ����� �"�� ��� %���� ���%� ��� ����� �"�� ����� ��� ���� �������� ���� ���"�� �� �������� ��� ���� ��� �� ������� ������ ����� �����'������ %���� ��"� ���� �� ���� '������ ' ��� -�)� 8��� �� ����� �"�� ��� ����� �� �"�� ��������� ����� ��� �� ����� �� ���������� �"��� , �� �������� � ����� �� ������ ���� ������ ��� �$� �� ���������� ���#��� � ������ �����'������� �� �������� � ��% ��� %��� �� ��"������ �� ��� �� #���� � �������� '���� �� ��� ���� �� ����

����� ��� � ����� ������ � ��?������� �� �� �"�� '���� �� �$�( %��� ��"� �� ������ %�����

� ��� ����� ���� �� ��� ������� �� ���� � �� ����� �� �$�(�

� �$�( �� ���� ���%� �� �"�� ������ �� ���� �� �"�� ����� �� �� �"�� �����'������

� ��� �� ��'����� � �� �"�� %��� �� ������ �� B������� ��������C �� �$�(�

)�� #$� � ��� ��� "��� �� �� +�� ��� "��� �� �����

"���� ������������ �� � � ������ ��!��!�

��� ���� ������� �� ��������� �� ' ��� -�( ��� �� ��������� �������� ��� �� ���� �� ' ��� -���

++

Page 46: research.utwente.nl · Data and event flow diagram (DFD), textual specifications Behavior view Event model Event specifications Function-data integration Function-entity type links

��� ��� ������� ���������� ��� ����� ���������� ����� +-

Model Representation Meaning

Event specification Tabular textAn event is something that occurs in the environment of the system and that the system must respond to.

Model Element Representation Meaning

Name Text Name of the event.

Event number Number Shorthand identifier for the event.

System Text Name of the system that deals with the event.

Meaning Text Description in real-world terms.

Significance Text Description of what the system has to do when the event occurs.

Input data flows Links to DF modelData flows used in detection of the event or in producingthe response.

Output data flows Links to DF model Data flows produced as part of the system response.

Input event flows Links to DF model Event flows that are used to detect the event.

Output event flows Links to DF model Event flows produced as response to the event.

Stored data inputs Links to DF modelStored data that is used in detection of the event or producing theresponse.

Stored data outputs Links to DF model Stored data that is created or updated in response to the event.

Detection mechanism {time,stimulus}System reacts on either the passage of a significant moment in time or the arrival of input data.

Stimulus0,1 links to DF model

Input flow (when detection mechanism is stimulus).

Event detection process0 or 1 linksto DF model

Data Process that detects the occurrence of the event.

Event response process0 or 1 linksto DF model

Data Process that produces the response to the event.

Use in control process0 or 1 linksto DF model

Control process that can handle the event.

Response time TextList of parameters that describe how quickly the response must be produced.

8� ��� -�) ��� ��������� � �� �"�� �����'������

Page 47: research.utwente.nl · Data and event flow diagram (DFD), textual specifications Behavior view Event model Event specifications Function-data integration Function-entity type links

+9 ������� �� ��� ����� ����������

namenumbermeaningdesired responseresponse time

Event

Data flow

Event flow

input flows

output flows

output flows

input flows

Attribute

stored data input

stored data output

Data store

0,1

stimulus

Data Process

0,1

event response

0,1

event detection

condition

Control ProcessUsage

Control Process

8� ��� -�( ��� ���� ������� � �"�� �����'�������

Page 48: research.utwente.nl · Data and event flow diagram (DFD), textual specifications Behavior view Event model Event specifications Function-data integration Function-entity type links

��� ��� ������� ���������� ��� ����� ���������� ����� +0

Constraint Mode Description

SE1 SoftThe detection mechanism is either ’time’ or ’stimulus’. In the latter case a stimulus data flow is specified.

SE2 Immediately A stimulus flow must be an input flow.

SE3 Soft Each event has at least one event-response process or a control process usage.

SE4 Immediately Input flows and output flows of an event are disjunctive (data and event).

8� ��� -�� ��� ��������� �� �"�� �����'�������

"���� ������������ �� � � ���� �!�������

4� �����'� ������� �� ����� �"�� �����'����� ���� ��� �"�������� ���� ��� �� ������� ����� ��������

Page 49: research.utwente.nl · Data and event flow diagram (DFD), textual specifications Behavior view Event model Event specifications Function-data integration Function-entity type links

�������

�� �������������� ���� ��!�

*�� (���� �� �� ��,��� ��-�� � ���

��� ���#� ��%��� �� ��������� ������� ��� �� ���� ���� ���� %���� �� ��������� ����� ������ ���������� �� � ������!���� ��� ����� ����� ����� ���# ��&�������� �� ������� ����"��� ��� ������������ � �� ������ ����� ����� ��� �� ���� �� ����������� ��� ' ��� 9�)�

*�� �� ��� ��� � ��� ��� ���

��� ������ ���� ��� ����� ��� ��� ��� �� "��%�� �� ��������� � �� ��6� ����������������������� �� �81� ������� ���� ��� ����� ����� ��� �$�� ��� ���� ��?������ ��%������� %� �$� ������ �� �� �� ��6� �� ������ ������ ��� �������� ���� � ��� �� �81� �������� ������ ��� �� � $3D6 ���� � 8�� �$�( ��� %��� �� ������� %�� �� ������ ���� �� ��������� � ���(� ��� ���� ���� ��� ����������� ���� �� �� '�� ������ %��� �� ���#�� � ��136 �� �$�(� �� "�� ������� �� ���� �� �� ������ ��� ����� ��� �� 13 ����� ������ %���� 136 ��� �� ������ ���� ���� ��� ������� �%���� ��� � �� �������� ��������� �� �$�(��

�$� ��� �� ����� � ���% ������ ��'����� ���� ��86��� ���� �� � %�� � �� ���A� �������L� �������� ����� ��� �� "��� ����� � �������� � �� ����� ��� ����� %�� ������"����� ������� �� ���������� �� ���������� ���� ���� �� � ��%���� ����� � ����� � ������� � �� ��� ��"�� ��� ������� �$�( %��� ����� � ������ ��'����� ��� ����� �� %���� ���������� �� �� ���A��� ����� %��� �� ���#� ��� �� ������ �� �� ������ ��'����� ���� � �� �������� �� ������!���� ��� �����

*�� #$� � ��� ��� "��� �� �� ���� ��,���� ������ ��

�����

(���� ������������ �� � � ������ ��!��!�

��� ���� ������� � �� ������!���� ��� ���� ����� �� ���� �� � �"��!���� ��� ��������� ���� ������ 2�� :������ �� 81 ���� �� � ������ � �� �&��"���� � �� ��������� ����� ,��� ���� �� ����� ���>��� ��� ����� ��� �� �"��� ��� ������ ��� ������ ������ ��� �������������������� �� ���# ����� � ��?���� ����� ��� ���� �� ���%� �� ' ��� 9�(� ��� ������ ��������

� ������ �� /2 ����� ��% ���������� � �� ���>�� ����� ��� �� �������������

+2

Page 50: research.utwente.nl · Data and event flow diagram (DFD), textual specifications Behavior view Event model Event specifications Function-data integration Function-entity type links

��� ��� ������� ���������� ��� � ���������� ��������� ����� +�

Model Representation Meaning

Function-entity type table

Matrix tableLink enterprise functions with entity types from the information model that are needed to perform that function.

Model Element Representation Meaning

Function Entry in top rowWhen a function is in column n then the other cell in the column list the information usage according to that function.

Entity type Entry in left-most columnWhen an entity type is listed in row n then the other cell in the row list which functions access that entity type.

Relationship Entry in left-most column <see entity type>

Associative entity type Entry in left-most column <see entity type>

Access

Matrix entrycontaining one from :{create, read, update, delete,match, check, change}

The access that is made to an entity type or relationship by an enterprise function.

8� ��� 9�) ��� ��������� � � ������!���� ��� �����

� ����� �� � �� �2 �� �� �������� � ���>���

� ���� �� �2 �� "����� � ������� � �� ������ ���>�� ��� �����

� ����� �� 32 �� "����� � ������� � �� ������ ���>�� ��� ���� �� �� ���� ����

� ������ �� !2 ��� �� ���� ����������� � � ���>�� ��� ���������

� ����* �� �* �� �2 ���� �� "���� � �� ���>���L ��� �������

� ���.� �� �. �� �2 ���� � �� ��� ������ "���� � �� ���>���

(���� ������������ �� � � ���� �!�������

��� �81� %��� ��"� �� ���� ���� ��� ��������� �� �� ������ �$� ���� ������ ��� ��� %����������� �� ������� �� �� ���� ��% ��� ��������� ��� �� %��� ����

Page 51: research.utwente.nl · Data and event flow diagram (DFD), textual specifications Behavior view Event model Event specifications Function-data integration Function-entity type links

-5 ������� �� ��� � ����������� ���� ����

name

Atomic subject

name

Functionaccess: SET[{create, read,update, delete, match,check,change}]

Access entry

>=1 >=1

de

is_a

Entity type Relationship

8� ��� 9�( ��� ���� ������� � ������!���� ��� ������

Constraint Mode Description

FE1 Immediately Each function-entity type table is uniquely named in the model. The name ends on ’*.fet’.

FE2 ImmediatelyAccesses are composed of Create, Read, Update, Delete, Match, Check, Change. Accesses may be abbreviated to their first letter.

FE3 ImmediatelyThe structure is a table: There is an access entry relationship between every function in the table and each atomic subject in the table.

FE4 Immediately Subjects are listed at most once in the first column.

FE5 Immediately Functions are listed at most once in the first row.

FE6 Soft For each function there are one or more subjects it accesses.

FE7 Soft For each subject there are one or more functions it is accessed by.

8� ��� 9�� ��� ��������� �� ������ ����!��� ������

Page 52: research.utwente.nl · Data and event flow diagram (DFD), textual specifications Behavior view Event model Event specifications Function-data integration Function-entity type links

������� �

�� ������������ ��������� ����

.�� ��� ��,���� ����� � �� � ���� � � ���

�� ���� ��� �������� ����� �� ��������� %�� �� ���� ��� � ����� �� ��'��� ���� �� ���� ��������� � ������� 1��� ��� �������� ������ ��� ���������� �� ���� ��� ����������� ���� ����6�� ���6� ��� ���!������������ ���� �������� �� �������"� ������ ���������� ���� ������������ �� ����!��� �������� ��� ��� ��� �� ��������� �� ��� ����� �� ' ��� 0�)�

.�� �� ��� ��� � ��� ��� ���

��� ��� �������� ��� ���� � ��� ��� ��������� � �� ��� ���� �� ��� �� ���� �� ���6���� ����!��� �������� ��� ��� ��� �� ���%� %�� � "����� � �� ������ ���6� ��� ������?������� ���

� 1��� ���6 �� �$�( %��� ������ �� ��� "������� ��#� �� ���� M�� �� ��� "������� ��������� ��"� �� � �� 136� ��� ��� "������� %��� �� ������ ��� ������ �� �$�(�

� ��6� �� �$�( %��� ��"� ���� ���� ����� >�� ��#� ���� 8���� ���� %��� �� �� ����� ��� ������� ��� �� �$�(� ������� � �� ������ � ��� ��� %���� �� ��������� ������

� ,� �� ���6 �� �$�( �� ������ ��� �������� ��� ��"� �� �"�� ���� �

� ,� �� ���6 �� �$�( �� ������ ������� ���� �� �������� � $����� D����� 6����� 3������ ���� ��� ���� �����"�������� D���� ��� 3��� ������ ��� ��"� �� ������ �����

� ��6� �� �$�( ��� ��"� �������� ����� >�� ��#� ����

� ���6� ��� ��"� ���� ��� ��� ������ ���� ��� ���� ������ ��� ��� ��"� ���� ��� ��������� �������� �� �$�( ���� ��� ���!������������� ,� �$�( ��� �� ������ �� ������ ��������� �������� ��� ������� ����

8���������� �� �"��� �� �� ���6 ��� �� ���#�� � ����� �"�� �����'������� :������� �����6 �� ���� ������ ��� �� ���� ������� ���6� �� ����� �� ���� ��� �������� ��� ����%��� �� � ��?���� ������ ����"�� ��� ���6� ���� ���6 ����� %��� ���� �� �"������� �� ���������� � , �� ��� ������� � ���� �� ��� ���� ���6 ����� �� ���6� �� �$�(� �� ��� "������� ���� ����� �� ���� �������

-)

Page 53: research.utwente.nl · Data and event flow diagram (DFD), textual specifications Behavior view Event model Event specifications Function-data integration Function-entity type links

-( ������� �� ��� ����������� �������� �����

Model Representation Meaning

Entity state transitiondiagram.

Directed graphSpecification of possible state changes of an entity when an event occurs.

Model Element Representation Meaning

Entity type Link to entity type The entity that has the state variable as attribute.

State variable link to attribute The state variable for which the eSTD exists.

State Node A state that the state variable may take over time.

Initial state The state an entity has when it is created.

Entity deathIndicates that the entity has ceased to exist. Any transition having a ’delete’ access leads to an entity death state which is a final state.

Final state A state from which no transitions depart.

Connector labeled stateA state that has one or more connectors. A conector is a small labelon top of the state, that indicates that a transition to a connector node (see below) is in reality a transition to this connector state.

Transition Directed edgeDescribes the occurrence of an event and the associated statechange and the entity access.

Initial state transition Part of initial state Transition that creates the entity. It has a create access.

Event Part of edge label Real-world event that causes the transition to take place.

Access

Part of edge labelOne from:{create. read, update,delete, match}

Possible access to the entity when the state change occurs.

Connector NodeIndicates break in the transition line. The destination state is a shorthand for a state (a connector state).

Comment Text Free comment text.

8� ��� 0�) ��� ��������� � �� ����!��� �������� ��� ����

Page 54: research.utwente.nl · Data and event flow diagram (DFD), textual specifications Behavior view Event model Event specifications Function-data integration Function-entity type links

��� ��� ������� ���������� ��� ����� �� ������� ����� -�

.�� #$� � ��� ��� "��� �� �� �� �� �� ��� �� �����

)���� ������������ �� � � ������ ��!��!�

��� ' ��� 0�( �� �� ���� ������� � 1�� ������ ��� ' ��� 0�� �� ���� ��������� ����������4�� �� � �� � ��������� �� ���6� ��� ��������� �� �� ���������� ��������� �� ' ��� 0�(�

)���� ������������ �� � � ���� �!�������

���� ��� �� ������ ��� ��� ������� �� ��� ����� �� ' ��� (�)5 ���� %��� �� ����������� ��������� ��� �������� ��� ����� � ����� �"��"��% � �� ��&����� ���������� �� �"�� ��' ��� 0�+�

Page 55: research.utwente.nl · Data and event flow diagram (DFD), textual specifications Behavior view Event model Event specifications Function-data integration Function-entity type links

-+ ������� �� ��� ����������� �������� �����

name

StateConnector

NodeTransition to

label

Connector Labeled State

from

>=1state

de

is_a

Initial State

Initial transition

access: SET[{R,U,C,D,M}]

ST Edge

de

is_a

Event

State Attribute

Entity type

dis_a

>=1

change of state

>=1

8� ��� 0�( ��� ���� ������� � 1�� �������

Page 56: research.utwente.nl · Data and event flow diagram (DFD), textual specifications Behavior view Event model Event specifications Function-data integration Function-entity type links

��� ��� ������� ���������� ��� ����� �� ������� ����� --

Constraint Mode Description

EST1 Immediately Each ESTD is the model is uniquely named. The name ends on ’.estd’.

EST2 ImmediatelyAccesses are composed of Read, Update, Delete, Match, Create. After the read and update the attribute name may be shown. Accesses may be abbreviated to their first letter.

EST3 ImmediatelyTransitions having a delete access lead to an entity death state. Which is a state from which no transitions depart and all transitions that arrive have this delete access. In these transitions only read, match and delete are allowed.

EST4 Soft All initial transitions contain a create access. Furthermore only update accesses are allowed.

EST5 Immediately Non-initial transitions don’t contain a create access.

EST6 Soft/immediately Each ESTD contains at least one initial state.

EST7 Soft Each state and connector is reachable from the initial state by a finite sequence of transitions.

EST8 Soft All connectors must be named.

EST9 Immediately The labels of a connector labeled state are unique.

8� ��� 0�� ��� ��������� �� �� 1�� ������

Entity state transitiondiagram manipulation

States Transitions

Create/delete initial state

Create/delete/copy state Create/delete transition

Create/delete initial transition

Add/remove event to transition

Add/remove access to transition

Create/delete/cop connector

Add/remove connector to state

8� ��� 0�+ ��� ������� �� �� 1�� ������

Page 57: research.utwente.nl · Data and event flow diagram (DFD), textual specifications Behavior view Event model Event specifications Function-data integration Function-entity type links

������� �

�� ������ ���������� ��!�

/�� ��� ��,+�� ��-�� � ���

��� ���# ��%��� ����� �"��� ��� ���� ���� ��� ������������ ��� ���������� �� ���� ���!�"������� �11!����� %���� ���� ��� ����� �"��� ��� ���% ��% ��� ������ �������� � ���� ���� ���������������� , ��� �� ���� � ������ ���� ���� ��� �"��� ��� "��� "����� , ��� ���� �� ���� � ���� ���� ���� ���J�� �"��� � '�� ��?���� ���������� ,� ��� �� 11 ����� ���# �� ����%����� '�� ��% � �� ���� ���� �� �"��� ������� -� ��� '�� ������ � �� ���� ���� 13 ��������������� ����� ����� ������������� ��������"� ���� ������ ��� ��������� � �� 11!������� ����� �� ' ��� 2�)� ��� %���� ���� ���!�"�� ���� ��� ���������� � � ��� �� ������ ���������� 9�� �� %���� ���� � ��% �� �� 11!���� ����������� � � ��� �� ���� �� �� 81!�����

/�� �� ��� ��� � ��� ��� ���

�� �������� ��� #��� � ���� �� �$�( �� �������� "������ � �� �� ��6� ���������� ��!���������� ����� ����� ��� �$� %��� �� ����� ���� ����� %��� �� ������ �11�� ��� ����%�������� ������ �� �� ���� %��� �� �� ���� �� �� ���� �����"������ ��#� 36 ������ ������ %������� �� ����%��� ��� ������ �� �� '�� ������ ��� ���� ���� ��� ������������ �� ��"� � �������'�� �� �� 136� ��� ������ �� �� '�� ��% ��� �"��� �� ��"� � �� �����'�� �� � ����� �"�������'������ ,� ��� �� ���� � �� ���� �� ������ � "��% ����� �� ���� ������ �� �$�( %� ���L����# ���� "��%��

4�� �� %��� � ����������� �� ���� �� �� 11�� �� ���� �� ���� � �� ����������� ��� � �� �"�� �� ���� �� �������� ����� /���%��� � ������ �����'����� �� �� ��������� ,� �$�( �������� %��� �� ����� ��� ����� %���� 3 �� �� ����������� ���� ��� $) ��� ��� �� ����� � ���������� �����

/�� #$� � ��� ��� "��� �� �� +��,���� ������ �� �����

*���� ������������ �� � � ������ ��!��!�

:������ �� 11 ���� �� � ������ � �� �&��"���� � �� ��������� ����� ,� �� ���� �� ���>������ ����� ��� �� �"��� ��� ������ ��� ������ ������ ��� ������������� ��� ���� �� ���%� ��' ��� 2�(�

-9

Page 58: research.utwente.nl · Data and event flow diagram (DFD), textual specifications Behavior view Event model Event specifications Function-data integration Function-entity type links

�� ��� ������� ���������� ��� ���������� ��������� ����� -0

Model Representation Meaning

Event-entity type table Table Link system events with entity types.

Model Element Representation Meaning

Event Entry in row 0When an event is in column n then the othercells in the column list the information usage accordingto that event.

Entity type Entry in column 0When an entity type is listed in row n then the other cells in the row list which event accesses that entity type.

Relationship Entry in column 0 <see entity type>

Associative entity type Entry in column 0 <see entity type>

Access

Entry in row > 0, column > 0containing from :{create, read, update, delete,match, check, change}

The access that is made to an entity type or relationship by a system event.

View name Text Identification, including a number when the table is split.

8� ��� 2�) ��� ��������� � �� �"��!���� ��� �����

name

Atomic subject

name

Eventaccess: SET[{create, read,update, delete, match,check,change}]

Access entry

>=1 >=1

de

is_a

RelationshipEntity type

8� ��� 2�( ��� ���� ������� � 1��� ���!�"�� ������

Page 59: research.utwente.nl · Data and event flow diagram (DFD), textual specifications Behavior view Event model Event specifications Function-data integration Function-entity type links

-2 ������� � ��� ����� ���������� ����

Constraint Mode Description

EE1 Immediately Each Event entity type table is uniquely named in the model. The name ends on ’*.eet’.

EE2 ImmediatelyAccesses are composed of Create, Read, Update, Delete, Match, Check, Change. Accesses may be abbreviated to their first letter.

EE3 ImmediatelyThe structure is a table: There is an access entry relationship between every event in the table and each atomic subject in the table.

EE4 Immediately Subjects are listed at most once in the first column.

EE5 Immediately Events are listed at most once in the first row.

EE6 Soft For each event there are one or more subjects it accesses.

EE7 Soft For each subject there are one or more events it is accessed by.

8� ��� 2�� ��� ��������� �� 1��� ���!�"�� ������

*���� ������������ �� � � ���� �!�������

���� �������� ��� ������� � �� ������ ������ ���� ����� �;� �� �$� �� %��# �� �� ��������� ����� ���� �� ��% ��������� �� ��� ����� �� �� %��� ��� � �$� �� �������� � ��� � �����8���������� �� ����%�� ������� ��� �� ���������� �� &������ �"�� �� ����

� *����� ��� �����A���� ���� ���% ����� �����

� 8�� � ���>��� ��� �� �"��� �� �?��� ��

� 8�� �� �"��� ��� �� ���>��� �� ����� �������

� 8�� � ���>��� ��� �� �"��� �� ������ ��

� 8�� �� �"��� ��� �� ���>��� �� � ������� ������ ���J�� �������

Page 60: research.utwente.nl · Data and event flow diagram (DFD), textual specifications Behavior view Event model Event specifications Function-data integration Function-entity type links

������� �

�� "��������� ����� ���������

����

0�� 1��+ ���� ���� ����� � �� � ���� � � ���

� ����"����� ��� �������� ����� �� ��������� %�� � ������ ������� � ������� ��&������ ����� ��� ���� �"���� ���� ����� ��� �� ��� � � ��� ������� %���� �� ������� �����'�� ��� ��� �������� ��� ��� %�� �� ����� ���"������ ���� ��� ���� �� �� �� ���� �"�� ��� ����� �������� ������ ��� � ������ � ������� � ��� ����"����� ��� �������� ��� ��� �������� �� ��������� �� ��� ����� �� ' ��� ��)�

��� ������� �� ���"�� �� ��������� �� ��� ����� �� ������� ���� �"�� 7�%� � �� 686 ������# �"��� � ������ ����#�� ��� ����� � �� ��� ������� ��� ������� �������� �"�� 7�%���� ��� ��� �"�� ���� �������A������ �� ��������� ��������� �"�� 7�%� �� �������J����������

0�� 1��+ ���� ���� ����� � �� ��-�� � ���

�������"���� ��� �������� ��� �� ������� �� ������ ����� ��� ���� ��?���� ���� � ����������� ���� ������������� <0=� ������ ��� ���"����� �� �������� %�� ���� ���� ���J������������ F� �������� ���� �� ��� � ���� ��� ���������� �� ��� �������� �������

,� ��� �� '�� ��% �� '���� %�� �� ��������� ��� �� '�� ������ �� '���� %�� �� ���� ����������� ������ ��� ���� ������ ��� �� ��� ��� ��� �� ������ �� ��� ��������� ����� �� ����� � ����� �� �������� ��� ��� �����

����� � �� ��������� �������� �� ���� ��� ��� ���� ��'�� � ��� ������� ������� �� �������� ����� ���� �������� ���� ���������� '���� ��� ���� � ���%�� � :� �� �� ��� ���� � %����� ��� ��� �������� ��� ���� ��� !������

0�� �� ��� ��� � ��� ��� ���

��� ��� �������� ��� ���� � ��� ��� ��������� � �� ��� ���� �� ��� �� ���� �� ���6���� ��� �������� ��� ��� ����� �� �$�( �� �� �������� � �� ������ ��� ���� ��?������� ���

� �$�( %��� ��"� �������� ���� ���� ��� ������� %�� � ����� ��������� ���������� ��� �� ����� �� ���� ������ � �� ���� #��� � ��������� ���� �"���� ������� �� � ���������6�

-�

Page 61: research.utwente.nl · Data and event flow diagram (DFD), textual specifications Behavior view Event model Event specifications Function-data integration Function-entity type links

95 ������� !� ��� "�������� ����� �������� �����

Model Representation Meaning

Behavioral State Machine Directed graph Specification of time ordering constraints on state transitions.

Model Element Representation Meaning

Control process Link to DFD The control process that this STD describes.

State Node A set of behaviors that persists over time.

Initial state The state a control process has when it is started.

Connector state <see ESTD>

Transition Directed edgeInstantaneous switch of behavior that takes place when the conditionassociated with the transition becomes true.

Initial state transition Part of initial state Start up activities required to place the state machine in its initial state.

Condition Part of edge label Triggers transition if becomes true. corresponds to event flow of control process.

Action Part of edge labelWhen the transition is triggered, it instantaneously generates output of the state machine. There are several types of actions (described below).

Begin Start named clock at zero time.

Enable Start a continuing process or wake up discrete process.

Disable Stop a continuing process or put discrete process to sleep.

Trigger Start a discrete process which runs to completion.

Raise Set continuous event flow to TRUE.

Lower Set continuous event flow to FALSE.

Signal Generate a discrete event flow.

Initialize Create or reinitialize an event store.

Initial action Part of init. transition

Clock InvisibleThere are clocks associated with a state machine and possibly with each state in the machine, The clocks are used to specify tests on how long something lasts.

Decision point Node Internal state during an observable transition.

Branch condition Part of edge label Condition to choose next state from decision point.

Edge detection function Part of edge label Allows determination of the moment a continuous event flow changes.

Transition time Text Maximum time a transition is allowed to take.

Connector Node <see ESTD>

8� ��� ��) ��� ��������� � � ����"����� ��� �������� ��� ����

Page 62: research.utwente.nl · Data and event flow diagram (DFD), textual specifications Behavior view Event model Event specifications Function-data integration Function-entity type links

!��� ��� ������� ���������� ��� "�������� �� ������� ����� 9)

� �$�( %��� ��"� � ���# � �� ������ ������� �� ��'��� �� ��6�

� �$�( %��� ��"� �������� ������ %�� ������ ���������� ��#� ����

� ��� ������ �� �� ��������� ��"� ������ ���'���� ��#� 6 �� ������� ���

� ���������� ��� �� ������� %�� �� ������� �������� ��� �� ���� ���� �� � �� ��������������� ��������� ��� ������� � �� ������������ , �� ���� � ������ �� ��&����� �����!����� � �� ��� �������� ���� %��� �� ������� �� �$�(�

� ���������� ��"� ��������� ������� �"��� �� �$�� �� ��� ���������� � �� �"�� 7�% ��� ������ ��������

� ,� �$�� ���� �� � ��� �������� ��������� ����� ,� ��� ��� ����� �� �$�( �"��� ������ ��"� � �����

,� ������� � �� ��� �������� ��� ����� �$�( %��� �?�� �� ��������� � ����� ����������� �� � ������ ������� H�#� �� ���� �� '�� ��% �� '���� %�� �������� ��� �� '�� �������� '���� %�� ���������� ���� ��� �������� ������ ��� ������ ��� '���� %�� ������ ��� �� ������� ���� %��� ������ �� ���������� �� � "����� � �� ������ ���� ������

0�� #$� � ��� ��� "��� �� �� -��+ ���� �� ��� ��

�����

+���� ������������ �� � � ������ ��!��!�

��� ���� ������� � � ���6 �� ��������� �� ' ��� ��(� ��� ��?���� #���� � ������ ��� ��������� ' ��� ���� ��� ��?���� #���� � ��������� ��� ������� �� ' ��� ��+� ��� ��������� �� � ���6�� ��� �� �� ��������� �� � $36 ��� ����� �� ' ��� ��-� 4�� �� ��� ���������� ������� ����� ��� ������� ������������ %���� ��� �� ����� � ��� ��� �� � �����

+���� ������������ �� � � ���� �!�������

���� ��� �� ������ ��� ��� ������� �� ��� ����� �� ' ��� (�)5 ���� %��� �� ���������� ���������� ����"����� ��� �������� ��� ����� � ����� �"��"��% � �� ��&����� ���������� �� �"�� �� ' ��� ��9�

Page 63: research.utwente.nl · Data and event flow diagram (DFD), textual specifications Behavior view Event model Event specifications Function-data integration Function-entity type links

9( ������� !� ��� "�������� ����� �������� �����

name

State Nodeto

label

Connector Labeled State

from

>=1

state

deis_a

deis_a

name

State machine

is_a

de

is_a

Control Process

State clock

Initial State

Initial transition

Action

Decision point

State

Connector

Node

Transition

Condition

time

Clock

is_a

Initial DecisionPoint

is_a

InitialNode

deis_a

name

Named Clock

ST Edgeactions

de

is_a

8� ��� ��( ���� ������� � � ����"����� ��6�

Page 64: research.utwente.nl · Data and event flow diagram (DFD), textual specifications Behavior view Event model Event specifications Function-data integration Function-entity type links

!��� ��� ������� ���������� ��� "�������� �� ������� ����� 9�

BeginAction

DisableAction

EnableAction

InitialiseAction

LowerAction

RaiseAction

SignalAction

TriggerAction

de

is_a

Clock

Process

EventStore

ContinuousEvent

Discreteevent flow

Discreteprocess

Action

8� ��� ��� /"��"��% � ������ �� � ����"����� ��6�

Page 65: research.utwente.nl · Data and event flow diagram (DFD), textual specifications Behavior view Event model Event specifications Function-data integration Function-entity type links

9+ ������� !� ��� "�������� ����� �������� �����

Discrete EventFlow Occurence

Event StoreWait

AlternativeCondition

de

is_a

Discrete Event Flow

StatusEventStore

Condition

edge detection: {rising, falling}

Status ValueChange

constant value

Clock EventOccurence

time

Clock

c1 c2

Condition and Status

de

is_a

Continuous EventFlow

Statusor Status

Status andStatus

Not StatusAvailable flow

time period

Clock Intervals1 s2

s1 s2

8� ��� ��+ /"��"��% � ���������� �� � ����"����� ��6�

Page 66: research.utwente.nl · Data and event flow diagram (DFD), textual specifications Behavior view Event model Event specifications Function-data integration Function-entity type links

!��� ��� ������� ���������� ��� "�������� �� ������� ����� 9-

Constraint Mode Description

BSTD1 Immediately Each BSTD in the model is uniquely named. The name ends on ’.bstd’.

BSTD2 Soft Each BSTD contains exactly one initial state.

BSTD3 Soft Each BSTD contains at least one action.

BSTD4 Soft Each state and each decision point is mutually unique named.

BSTD5 Soft Each node is reachable from the initial state by a finite sequence of transitions.

BSTD6 Immediately The initial state should not have a connector.

BSTD7 Soft All connectors must be named.

BSTD8 Immediately The labels of connector labeled states are unique.

BSTD9 Soft From a decision point depart two or more transitions.

BSTD10 Immediately A transition should not lead from and to the same decision point.

BSTD11 Soft Each transition (except the initial transition) has a condition.

BSTD12 Soft Transitions from and to the same state should have an action.

BSTD13 Soft A decision point must be preceded by a trigger or signal action.

BSTD14 SoftThe conditions used in a transition from a decision point must be branch conditions.A branch condition is a condition involving discrete event flows generated by a triggered dataprocess or signals from other processes.

BSTD15 Immediately The state clock (clock named ’state’) should not be used in an action.

8� ��� ��- $�������� �� � ����"����� ��6�

Page 67: research.utwente.nl · Data and event flow diagram (DFD), textual specifications Behavior view Event model Event specifications Function-data integration Function-entity type links

99 ������� !� ��� "�������� ����� �������� �����

Behavioral State transitiondiagram functions

States Transitions

Create/delete initial state

Create/delete/copy state Create/delete transition

Create/delete initial transition

Add/remove condition to transition

Add/remove access to transition

Create/delete/cop connector

Add/remove connector to state

Create/delete/copy decision point

8� ��� ��9 ��� ������� �� �� :�� ����� ���� ��� �� ������

Page 68: research.utwente.nl · Data and event flow diagram (DFD), textual specifications Behavior view Event model Event specifications Function-data integration Function-entity type links

������� ��

�� ����#������ �� $�� ����

����������

�2�� ���� �� ��� �� ������ �� �����

�������A�� � %� ��"� �� ����%�� ���� �� ��� ����� ���������

)� �136� ���� �� �� �������� "������ � �� ��� �136� �� ������������ 136�� ,� ���������%�� ��� ����� ���� %��� �� ���� �� '��� ������ � �� �� ����%�� ����� ���������

��� 1��� ��� �����'�������

��� 3���������� �����'�������

��� ���>�� ���� �����'�������

��� ��������A���� �����'�������

��� ������ �����'�������

(� �6186� ���� �� �� �������� "������ � �� ��� �6$86 �� ������������ 686� ����� �� 6����� 1"�� 8��% 6�� ������ ,� ��������� %�� ��� ����� ���� %��� �� �� '��� ������ �� ������%�� ����� ���������

��� 1������ ���� �����'������

��� *������ �����'������

��� 6�� ���� �����'������

��� 1"�� ���� �����'������

��� 6�� 7�% �����'������

�� 1"�� 7�% �����'������

� � �������� �����'������

�� �:��6� ���� �� �� �������� "������ � �� ��� ���6� �� ���6�� ����� � ��� ������ ��������� ��� ������ �� '��� ������ ����� �� �������� � ��� ������ ��� � �������������

+� �1��6� ���� �� �� �������� "������ � �� ��� ���6� �� ���6��

������ ���� � ��� �� ��#�� � � � ������ ������ ���� ���� ���� ���� �� � �� ������

90

Page 69: research.utwente.nl · Data and event flow diagram (DFD), textual specifications Behavior view Event model Event specifications Function-data integration Function-entity type links

92 ������� �#� ��� ��������� �� ��� ����� ����������

-� ��/*�� ���� �� � ������ � *������ ������ ����"�� ��� �� ������ �� '��� ������

9� �11�� 1"��!���� ��� ���� ����� ����"�� ��� �;��

0� �81�� 8������!���� ��� ���� ����� ����"�� ��� �;��

2� ��1�� ����� �"�� �����'����� ������ ����"�� ��� �� ������ �� '��� ������

�� �:���� :���"����� ��� �������� ���� ������ ����"�� ��� �;��

)5� �83�� ���� �� �� �������� "������ � �� ��� �86�� �� ������ ��'����� �����

���� �� �� ������ �� � ������ �� ��� � �� ����� F��� %� ������� %� %��� ����������� ������

� ����� ���>�� ���� ��� ����� � "��% ��� ��������� �� ����� 136 ���������� ���� ���������� ���� �� ���� �� ���������� ����� � �136�

� �*�� *������ ��� ����� � "��% ��� ��������� �� ����� ������� ���������� ���� ����� ��������� �� ���� �� ���������� ����� � �6186�

� �.�� � ��� � ��� ������������ ��� ������ � � ��#�� ���� ���� ����� �� ������� � �� ���������"� � �� ����� ��� �������

��� �� '��� ������ �� ��� ����� ��� �136 ��� �6186 ��� ����� �� ����� ������ ����� ��� ��� ������� �� �� ������� ������� ��� ����� ������ ��� �� ���� ��������� ����� ����� �� ��� ��� ������� �� �� ����� ����!����������� ����� ��� ���� �� ����� ���!7�% ����� ������ ����� �� ��� ����"������ ����

1��� ����� %��� �� ���� � �� ����� ��� �� ������� ����� �� � �� ����� ������ ���� ��������� ��� ���� �� ����� ��� � ����� ��� ���>�� ���� ���� ��� %���� %��� �� �� ����������� �� ������ ��� ����� ��� ���� 1��� ����� ����� ��� ��"�� �� �%� ����� ����������� � �������� '��� ��� '��� � � ��� �� ����� ��� �������� � ������ �� � ��� �� ���>�� ���������

�2�� 3�+ ��� �� -�'� �����

,� �� '�� "������ � �$�( �� ���� ������ ��� �� ������ ��� ����� �� ������� ���� �� ����� ����� ���� H��� ��� %� %�� � ����� ��� %�� � ��������� �� ��"� ���� ��%��� ������� ����� ��"� ���� ���������� ��� ����� �� �� ���#� ��%��� ����� ��������� �� ���������� ����������� ���� ���� �� ��������� �� ' ��� )5�)�

�2�� 4��-�� ���� ����� ���5�

��� %�� �� %���� ����� ���������� %��� �� ���������� �� �$�( �� ���� � �� "� ��� ���� ���� ������ ������� �� ����� �������A� ��� ������� ��� %���� ������� �� ������ F� ���� �"� ����������������� �����

8������� %��� �� ����� ����� �� '������ � ��� �� �����!����#�� ��� �� ����� ���� ��������#�� ��� �������� � ��� � ���"� '���� %���� �������� �� ����� � �� ����#�� �� �������������� ����������� ���� %��� �� ������������ �� ���� � ����� � ��� �� ��� � ���� ��� �� ������� �� �� � '���� ��� ����� ��������� �� � ������ 4�� �� � ��� � �� ������ �� � �� 13����� �� �� ������!���� ��� ����� ����� �� ��������� �� ������ �"�� ������� '����

� ����� ������� �� � �� ���� ��� �� � ������ ������� ��� ���� �� �������� �� ������� '����� ������� �� �� %�� ������ �� ��?���� ����� ������� �� ��?���� '��� ��� �� �� ���� ��� �,� ������ ��� ������ ���� � ���� ������ � ������� ���&�� �����'��� �� �� �� �� ������� �� ���

Page 70: research.utwente.nl · Data and event flow diagram (DFD), textual specifications Behavior view Event model Event specifications Function-data integration Function-entity type links

�#�� ���"�� ���������� ������ 9�

TERD(ER Model)

TDEFD(DF Model)

TBSTD(Behavioral STM)

TESTD(Entity STM)

TEET(Event-entity type

links)

TFET(Function-entity type

links)

TBSTT(Behavioral STM)

TSET(Event specification)

TFRT(Function refinements)

TSOPT(SoP)

8� ��� )5�) 4�"� ���� ���#� ��%��� �� ��?���� �������

Page 71: research.utwente.nl · Data and event flow diagram (DFD), textual specifications Behavior view Event model Event specifications Function-data integration Function-entity type links

05 ������� �#� ��� ��������� �� ��� ����� ����������

����� �� ����� ��������� ��� �� ����� �� �������� ��� � ��� %���� ���� �� ������� �� ��>����� �� ��� � � �$� �� �� � ���%�� ��� �� ��?���� �����L� ��# ��� ����� ��� �� ���%�� ' ���� �� ������ ��#� ��� ���� ��� ������� �� �� �������� �� �$�( �� � ������ ���� %� ������������ %��� ��� ��"� �� ���� ����� �� %��� �� ���� ��� ������ �� �� 136 ��� �� ���� ��������� �� � ������!���� ��� ����� ��� ���� ��� �� ���� ���� ���� %��� ��� ��"� �������� ���� ����� ���� �� ����������� �� �� ��������� �� �� ���� ��� ��� ���� �� ��'��� ������ �� 13 ������ ��� �� ���� ���� ��� ���������� �� � 81!���� ������ ���������� � �� ������� �� �� 13 ������ F��� �� ���� � �� ����� ����� �� ���� ����� ���������� ����#�� � �������� ��� %��� �� ���� ��� � ��� �� ���&�� �����'�� �� �� ���� ��

��� ����� ���������� ����#� ��� ���� ����"����� ����� ��� �������� � �� �������� ����� �� ����� ����#� ��� �������� ��� ������ � � ����� ����# ���� ��#� � ����� ����#� � �������� ���� ���� ����� ����� ��� ��� ����� ����� �� ��� �� ����� ����# ������ �� ������� '����� %���� ��"������� ��� ����� ��� �� ���������� ��� ���� �� ����������� �� ����� �� ���������� ������ ����������� �� ����������� ��� ����� ���������� ����#� ��� ������� �� �� ���� ������ �� �� ������B$���# 6������C ��������� ���� %��� �� ������� � �� �� �� ��� ��� �������� � �� �������������� �� ������ �� "������� �� �� �� ����������

;����� ���������� ����#� ��� ������� �"�� � �� � ������� '���� ������ �� ����� �� 8����������� %� %��� ������ �� �� ����� 13 ����� �� �� � ��� �� 136 '��� �� �� ����� 686 ������� �� � ��� �� 68 '�� ��� �� �� 81!����� 11!����� ����� �"�� �����'������ ��� �� ��������'����� ��� ��� ���� ���� �� � ��� �� '��� 1��� ���6� ���� ���6 ��� ���� ���� �� �� � �������'��� ��%�"��� ���� ����� �� ������� ����� �� ��� ���� ��� ����� ������ �"�� ��?���� '����

� ������� �"��"��% � ��� �������� ����#� �� � ������� ��� ����� �� ����� �� ������ - � <)9=�.��� ����%� � ��� � ���� � ���� ���������� ����#� �� ����� �� �������� �� �$�(

)� 1��� ��� ��� ��� ���� �� �� ���"� �� �� ���&���� ������ ��� ��� �� �� � '�� ���� ����

(� 1��� ���� ���� ������������ ���>�� ����� ������ ��� ��������A���� �������� �� �� 136�� �����'�� ������ ���� ���� ���� �� �������� �� ����� 136 ����#��

�� 3���������� ��������� ���������� ��� ����������� ����#� ���� ���� �� �������� �� �����136 ����#��

+� ��������A���� ���������� ��� ����������� ����#� ���� ���� �� �������� �� ����� 136 ����#��

-� ���>�� ���� ��������� ���������� ��� ����������� ����#� ���� ���� �� �������� �� ����� 136����#��

9� 1��� ���� ��� ��� ������ ��� ���6� �� ���� ��� �������

0� 1��� ���6 ����������� � � ��� ������ � �� ������ ���� ��� �� �� 136�

2� 1��� �"�� ���%� �� �� ���6 ��� ������ �� �� 11 ���� �� �� �"�� �� ������ �� ���������� � �� ���� ����

�� 1��� �"�� �������� �� �� 11 ���� ��� �� �"�� �����'������

)5� 1��� ���>�� �������� �� �� 11 ���� �� �����'�� �� �� 136�

����� ��� � � �� ��� � ����� ��� �� �������� �� �� ��� �� � ������ ��� ��� ����� � ��� �� �� � ������ ������ � ��#� ��� � ��� ���� $�� � ��� ��������% ��� � � ������ ���� ��� �������� � ��� ��� ������ ��� ����� ����� ���������� ��� � ������ ��� � �������� ������� � �� ���� ���� ������ ��� ���� ����� ������� � ��� ��� � ������� ��������� �� ��� ��������� � ��� ����� &��� �� ���� ��� � ���� �� � ��� ���� �� ����� � � �� ������� � � ��� ��� � ��������� ��������� ' �#�� ��� ��� ��� � ���� �� �� ����� �� ���� ��� ���� ������ ��

Page 72: research.utwente.nl · Data and event flow diagram (DFD), textual specifications Behavior view Event model Event specifications Function-data integration Function-entity type links

�#�� ���"�� ���������� ������ 0)

))� 1��� ���� ��� �������� �� �� 11 ���� ��� �� ���6 ���%�� �� �"�� ������ �� ������� � �� ���������

)(� 1��� ������ �������� �� �� 81 ���� ���� ������ �� �� ������ ��'����� ����

)�� 1��� ���>�� �������� �� �� 81 ���� �� �����'�� �� �� 136�

)+� ��� ������ � � ���>�� �� �� 81 ���� ����������� � � ���� ��� �"�� �� �� 11 ���� �������� ������ � �� ���� ���>���

)-� , � ���>�� �� ����� �� �� 11 ����� ������ � �� ������ �� �������� %�� ������ � �����������

)9� , � ���>�� �� ����� �� �� 81 ����� ������ � �� ������ �� �������� %�� ������ � �����������

)0� ����� �� ������ ��� ������ � ��������

)2� ����� �� ������ ��� �"�� �����'����� ����

)�� ����� �� ������ ��� ����� ��� ��� ��� ��� �� ���� ������ ��� ������ ���� ���� �� ���������� ����� 686 ����#��

(5� 1��� ���� 7�% �������� �� ��� � �� �"�� �����'������� �� �� ���� 7�% � � ������ ����������� "��� "������

()� 1��� ���� 7�% �� �� ����� ��� ���� �� � ���� 7�% � � ���� ��� �"�� �� �� �"�������'����� ���� "��� "������

((� 1��� ������� ����� ��� 7�%� �"�� 7�%� ��� ����� �"�� ����� ��� �������� ������� ������� ������ ������� �������� �� �� ���������� 686 �� �����'�� ������ ���� ���� ���� ���������� �� ����� 686 ����#��

(�� 1��� ������� ���� ��� � ��'����� ��� ��� ��� ���� ��� ������� �� ��'��� �� � ������������� ���� �� �������� �� � ����� 686 ����#��

(+� 1��� �"�� 7�% ���� �� � �������� �� �����'�� �� �� 686 ���� ���� �� �������� �� � �����686 ����#��

(-� 1��� �"�� 7�% ���� �� � ���6 �� �����'�� �� �� 686�

(9� 1��� �"�� 7�% �����'�� �� �� 686 �� ���� �� � �������� �� �� � ���6�

(0� 1��� �������� ��� � ������������ ��� ������� �� �� 686 ���� ���� �� �������� �� � �����686 ����#��

(2� 1��� ���!����� 686 ��� � ������������ ������� ���� �� � �� ��� ��"�� 686 ���� ���� ���������� �� � ����� 686 ����#��

(�� 6�� 7�% ���������� ����#� ��%��� ��?���� ��"��� �"������ �������� �� ��� ������ +�9�( ���� ��'����� � �������� ���� ���� �� �������� �� � ����� 686 ����#��

�5� 1"�� 7�% ���������� ����#� ��%��� ��?���� ��"��� ���� ���� �� �������� �� � ����� 686����#��

�)� 1��� �"�� ���� ���� �� � �������� �� �����'�� �� �� 686 ���� ���� �� �������� �� � �����686 ����#��

Page 73: research.utwente.nl · Data and event flow diagram (DFD), textual specifications Behavior view Event model Event specifications Function-data integration Function-entity type links

0( ������� �#� ��� ��������� �� ��� ����� ����������

�(� 1��� �"�� ���� ���� �� � ���6 �� �����'�� �� �� 686�

��� 1��� ������ �������� �� � �������� �� ����� ��� ���� �� ���� �� �����'�� �� � ��� ���������'������ ���� ��� ���� �� ���#�� �� �� 686 � �� ������� �� �� �������� �����'������ ���� �� �������� �� � ����� 686 ����#��

�+� 6�� ����� �������� �� ���� ��� ����� ��� ���� �����'�� ���� ���� �� �������� �� � �����686 ����#��

�-� 1��� ���>�� �������� �� � ��� ���� �����'����� �� �����'�� �� �� 136�

�9� 1��� ���� ��� ��� ������ ����������� �� �� 13 ��� ��� ����������� � � ��� ���� �� ���7�% �� �� 68 ����� �� ���� �� ���� 13 ������ ���� �� � ���� �� 7�% ��� �� ���� ������ 7�% '��� ���� �� �� 13 ��������

�0� 1��� ������ ������� �� ����� ��'��� �� � ���6 �� ���� ��

�2� 1��� ���6 �� ���� ����������� � ������ ��� ������ ������� �� �� 686�

�(� ��������� �� �� � ������ � ���#� � �� ����� ������� ���������� �� �� � � ��� ���� �� ���� �� ���������� �� � ��� ���� ����� �������� ���� ���#��� � ��� � � �� ����������� �� ����� � �#��

Page 74: research.utwente.nl · Data and event flow diagram (DFD), textual specifications Behavior view Event model Event specifications Function-data integration Function-entity type links

"�%���#�����

<)= *�*�!�� $���� ��� ����!����������� ����� P ��%��� � ���'�� "��% � ���� � ! "���������� ������ #���� ) �P�9� )�09�

<(= �� 6������� #������ ������ �� #��� #����������� ������� *����J*������!.���� )�02�

<�= 8�6����� ����#� �� ��������� ������� � ���� � ��� ������������� �� "������ )�(��� ����!����� ������ 6������� � ��������� ��� $������ �������� M��>� D��"������ ����������������� )��9� �"������� ���� ��&��� ��� ��Q���"�����

<+= 8�6���� ��� 3�G�F����� �� ����#� �� ��������� ������� � ����L� ���� �� �� )�(�5� ���������3���� ,3!+5)� 6������� � ��������� ��� $������ �������� M��>� D��"������ �����!���� ����� )��9�

<-= �� 8��"��� $�� ������ ����� �� %��������� !� ������ ������� *����� )�2)�

<9= $� ;��� ��� �� ������� #������ #��� ������& "��� �� "�����'��� *������!.���� )�0��

<0= 6� .���� ��� ,� *������� #������ ��� (���)"��� #��� #����������� 6���� .����� )�20�

<2= ���� ��������� ��� G�8� *������ *����� #��� ������� ������� *����J*������ .����)�2+�

<�= �� *� �!G����� "�� +������� ,�� � � #������ #��� ������ *������!.���� )�25�

<)5= *��� F��� ��� ��G� ������� #������ ���������� ��� (���)"��� #���� *������!.���J������� *����� )�2-� ����� "�������

<))= 3�G� F����� �� (�'������� *����������& $�������- ��� �� ���� ���� F����� )��9� ,�:4 5+0) �-22+ 5�

<)(= 3�G� F����� �� (�'������� *����������& #������. (���)"��� �� /����)/����� ���� �6������� � ��������� ��� $������ �������� M��>� D��"������ ��������� )��9� $���������� �"������� ���� ��&��� ��� ����%Q���"�����

<)�= 3�G� F����� �� � ���#� �� ��&�������� ��� ���� � �� ������� ������ ���� ��'������ ������������ �� ���� ��������� ������ 6������� � ��������� ��� $������ �������� M��>�D��"������ ��������� )��9� �"������� ���� ��&��� ��� ����%Q���"�����

<)+= 1� �������� !� ��� #������ ������� *������!.���� )�2��

<)-= 1� ������� ��� H�H� $��������� #������ �����& $�� ������ �� � ��������� �� ������+������ �� #��� ������ *������!.���� )�0��

<)9= ������� ,��� 0��� ���� #��� !��� & !� ��)������ #��� ����������� *������!.����)����

0�