research.utwente.nl · Data and event flow diagram (DFD), textual specifications Behavior view...
Transcript of research.utwente.nl · Data and event flow diagram (DFD), textual specifications Behavior view...
��� ������ �� ��� �� ��� ��
�� ������ ��� ����� ��� �������
����� �����
�� � ��������
������� � ���� ����� ��� �� ����� �������
����� ������������
�� ��������� ������ ���� � ! ������
"�� #����������
$% ���& �� '��(��(��
�)*& ����&++,,,(��(��(��+���
����� ��� ����
��������
��� ���� � ��� ����� ���
� � ���������� � �� �������� ������ � �� ������ �� �� ������� ������ ����� ������������ �� ���� �������� �� �� ������ ��� ��������� �� ��������� �� �� ��� ���� ����� ����!���� ��
� � ���������� � �� ������� ���"������ ��� �������� � �� ����� �� ��� ���� ��� �� ���!���� ���"������ ��� �������� � � �� ������ "������ � �� ����#� �� $�������� ������� ��$�� �� �� �����
� ��� ������ � �� ���������� ��� ���� �� � ��%��� ��&�������� �����'����� �� � ��% "������� �$� ��$�(� �� ������� ������
��������
� ���� ���� �
)�) *������ � ��� ����� � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � +
)�( ,��������� � �$� � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � +
)�� ,��������� � ��� � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � -
)���) .����� � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � -)���( $�������� � ��� � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � -
)�+ /����� � �� ��� � ��� ����� � � � � � � � � � � � � � � � � � � � � � � � � � � � � � � 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�� �����'����� � �� ����� ������� � � � � � � � � � � � � � � � � � � � � � � � � �-
(
�������� �
$ ��� �%�� �����&����� ��
-�) 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
������� �
����������
��� ������ � �� � �����
,� ��� ����� �� �������� �����&��� ��� �������� � � �� ������� ������ ����� ������� <)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 <)�=� � ���� ������� �������� � �� ����� ��� ��� � ���� �����&��� ��� ��������� �� "������������ ������ �� �������� �� %� �������� ���#� <))� )(=�
+
��� ����� ���� �� ��� -
��� ������ "������ �� � ��������� � �������� ������ �� �� %���� ��� � � �������� ������������ �� ��� ���� �� �� �$� ���>��� �$� ���� �� 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=�
����� �� ������� �� ���
�������� � ���� ������ ��"� ���� ��� ���� "��%����� ������������ ��� ������������ ���!��� ��� ����"��� ������ ����� "��%����� ��� ���� ��� ������ ��� ��������� %�� � ������ �
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���� ������ ����� �� "������� �������� ����� ��������� �� �� ��"� � �� �������� �� �� ������������ ��� ��� �$� �� ��� �������� �� ��� ������ :� ��� ������ �� �#�� ��� ������ �� ����&�������� �����'����� ��� ���� � � �$�(� �� � ��%��� ��� ������ �"� ������ �� � ����
���� � ���� �� ��� ���� �� ��� ������ 0
���� � ���� ����������
��� ���� � � �� ��� � �� � �����
1��� ������ �� �� ��� � ��� ����� �� ��"��� � ��� �������� � �� ��� ����� ���� ' ��� )�)��,� ���� ������ '�� � ������ � �� ��� �������� �� �"��� ���� ��� ��� �� ����"�� ��� ��$� ��� �������� ��� ����������� ��� �������� �� �� �������� � ��� ���"������ �� �$�(�1��� ������ �� ����� �� � ��&�������� �����'����� � �$�( �� �� ��������� ����� ���������
�������
�� ������ ������������ ����
��� ��� �� ���� ���� � � ���� � � ���
��� ��� 13 ����� ��������� �� ������� � �� ��� �� �� ��� ����� ��� �� ��� 7�%� � ����� 7�% ����� ������� +�� , �� ���������� �� �� 13 ��� ��� ��� ��������� ����� �����'�������8�� ���� ���� ���� ��� �� ���� ���� ��� �������� ��� ����������� �� ��'��� ������� 0� %������������ �� ����"��� � �� ���� ���� ,� ���� ���� ������� ������ ���� '��� �������� ��������� ���� ��� ������� ��� ��������� � ��� ���� ����������� ��� ���� ��� �������A�� ��' ��� (�)�
��� �!���� ��� "��� ��� � �# ���� � ���
��� ��������� � ��� ���� ����������� ��� ���� ��� ����� �����'�� �� ����� �����'������������ ��� �������A�� �� ' ���� (�( � (�9� � �����'����� � �� ��������"� ���� ��� �� �� �"������ �� � ������ ������� � �� ����� � �� ��������� � �� ���� ��� �����'����� ��� ����������� � � ����������� �����'������
��� �� ��� ��� � ��� ��� ���
����� ����������� ��� �� ������
����� �����
� ��� ���� �� ���� ���� ��� ���� ���������� %������ �$� ���� ���� ��� �������"������� �� �� ������ �$�( %��� ������ �� �$� ���"������
� :�� ��� ��� �$� ����% ������� ������ ������������ �� ��� �������� ��� %�� ��������#� �$�( %��� ���� ��� ��� ���"������ �� � %��� �� ������ �����������
� 1��� �����'��� ��� ������� � �� ������� �����'��� �� �$� ��� �� ��� ��� ��� ������#���� ��� ��?������� ��%��� ������� �����'��� ��� #��� ��� �� �� �����'�� %��� ��"�� ������ �� ��� � �� ���� ��� � �� ���� %������ � #�� ���� ��� �� �����'�� �� ��%��� �����%������ � #�� ��� �� �������� � ������� ���������� I��� ��� ���� ����%�� �� �$�( ����� ��"� � �� ��������� ������ B#��C� ,����'��� ��� ������� �� �$�(� �� ��� ��� "������ ��� �����
2
��� ��������� �� ��� ��� ��� �
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� ��� (�( ��� ��������� � �� ��� ���� ��� �����'������
)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� ��� (�+ ��� ��������� � �� ��� ������� �����'������
��� ��������� �� ��� ��� ��� ))
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� ��� (�- ��� ��������� � �� ��� ������ �����'������
)( ������� �� ��� ����� ���������� �����
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� �����'������
��� ��������� �� ��� ��� ��� )�
� ,� ���� ���� ���� ��"� �� ������ ��� "��������� �� ���������� %�� ���� ��� ��������������� ,� �$�(� ���� %��� �� ������ ��� ������� ��� �� "���� ��� �� �� �� � �������� �� �� ���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� �� �� ��������� ����� ��� � �� ������� >�������
)+ ������� �� ��� ����� ���������� �����
� 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���
����� ��� ���� �� ������� �� ����
.��� ����%� � ���������� � �� ��������� ����� ��������� � �� ��������� ����� �� %�����$�( %��� �"� ������� ���� ��� �� ���� ����������� ��� ���� %���� ������� ��� �� ���%� ���$��
� �� ��� ���� ��� ��� ��� �� ���� ���#� ��� � ��� ������ � �� ���� ��� �������������� �������� �� ���� ��� ������ �$�( %��� ���� ���� ���"������ ��� ����� �����!�����
���� ��� ������� ���������� ��� �� ������� ����� )-
� ��� "��% ���� � �� 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����������� ��� ���� ���� ��"� %� ���� ��?������� ������������ ��"� %� �� ���� �������� ���>��� ��� �� ���� ��� ��� �� ������� �����'��
����� ������� � ����������� �� ����� ���� �� ��� � ������� �� ��� �� ���� ��� ���� ��� ������ ������ ����� �� �� ������� �� � � � ����������� � ��� ������ ������ � ����
����� �� ��� �� � � ���� ���� �� ��� ��� � �� � ����� ���������� � ���� � ����� � � ��� ���� ���� �������
)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 ������
���� ��� ������� ���������� ��� �� ������� ����� )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 ����� ���� )��
)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��� �� ����� �� ������� ���� ��� ������� �� ������ %��� �� '���� ���
���� ��� ������� ���������� ��� �� ������� ����� )�
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 ��� ����
�������
�� ��������� �� ������
��� ���� �� � ������ � ���
��� ������ � ������� ���*� �� ��� �"�� �� �� � ��"�� �"��"��% � �� ��������������� � �������� , �� %���� �� ������ ��� �� �� ��� ��������� � � ��* ��� �������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
������� �
�� ���� ���� ����
��� ��������� ��
��� ��� 7�% ����� �� �� ���� ����� �� ��� ��� ����� �� ��� ������� ����� ��� �� ��� ��������� ����� ��� ��� � � ��� 7�% ����� ���%� �� 7�% � ��� ��� �"��� ��%��� �� ����� ����� ��"�������� ��� ��"������� �� ��������� �� ������� ������� %���� ��� ������ ��������� ������ *�������� �������� �� ����� ���"�� �� �������� � ������� �"���� 6�� ����� �������� ������� ��� ��%��� �� �"���� 6�� ��������� ������� ���� ������ ��������� ������ �� ����"���� ���� ��������� �� ���������� ��� %��#�� � ������ ��������� ��� ��������� �� ����"����� ����������� ������ ������� ��� ��� 13 ����� ��������� �� ������� � �� ��� �� �� ��� �������� �� ��� 7�%� ������� (�� ��� ���������� � � ��� 7�% ����� ��� �#� �� ��� �
� � ���� �� ������ "��% � � ����� ��� ����
� � ���� ��� 7�% ��� ��� � � ������� �����
� � ��� �� ������� ���������� ����� � ��� �� �� ��������� ���%� �� ����
� ������� �� ����� � �� ���� � � ��� 7�% ����� �����'������
��� ����!� � ���� � � ���
��� ����� ��� ��� �� ��� ���%� �� ������� ��%��� �� ����� ��� �� ��"�������� ��� �������� ��� �� � ��� 7�% ��� ��� %���� ���%� �� ����� �� � ��� �� ������� ����� ��� ���������� � ��� ����� ��� ��� ��� �"�� �� ' ��� +�)� � ����� ��� ��� ��� �� "��%�� �� ���� ������ ������ ����� ��� ����� 1��� ������ ��� ��� ���%� � ������ � �� �����L� �������� ��������%� � ���% ���� ����� ��� � ��� �� ��� ���� ��� ��������� � � ������ ��� ��� ��� �� ������ � ������� ����� ��� ����
��� %��� &�' � ���� � � ���
��� ��������� � � ���!����� ��� ��� 7�% ��� ��� ��� �"�� �� ' ��� +�(� � ������� ������������� �� �����'�� �� � �������� ����� � �������� ������ ������� �� � ����"����� ��� ����������� �������� ��� �������� ����� ��� ����� �� ������ �� ��� �������� ���������� ��%��� ������� �� � ��� 7�% ��� ��� ��� �"�� �� ' ��� +��� ����� �� �� �������� ��?������ �� �� 686��%��� ������� ��� �������� ���������� :� ���� �������� ��������� ��� ������ ���������
()
(( ������� �� ��� ���� ���� �����
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� ��� +�) ��� ��������� ��� ����� ��� �����
��� ���� ���� ������� � ��� (�
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�% ��� �����
(+ ������� �� ��� ���� ���� �����
����� � ������� ������� ���� ��� '������ �� ��� ������ � ���� � ������� ���� �� �������� ���� ���� � ��� � �� ��������� � ����� �� �������� �
����� ��� ��������� ��� ������� ��� ��� �"�� 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�� ����������� ��� ���� ����� ��� ���� ���� %��� ���� �� �� ������������ � ��� ��� ���� ��� ��� ��% ��������� �������� �� �� ������ ���� ��#� ��� ��� ��������� �� ��� ������
���� ��������� �� ��� ��� ��� (-
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�% ��� �����
(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�%� �� ���� ��� ��� � � ��%���� �� � ��'����� ��� �� �� ����� � ��� ��������
��� ��� ������� � � ���� ��� � ��� � �� ���� � �� ��� �� ��� � �!" ���� �� ��� ���� � ��� ���������� � ������������� ���������� ������ � �� ����� ����� � ���� � ���� ������� � ��������
���� ��������� �� ��� ��� ��� (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� ��� +�- ��� ��������� � ��� ����������
(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 ��� ��������� � ��� ����������
���� ��������� �� ��� ��� ��� (�
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�%��
�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�%��
���� ��������� �� ��� ��� ��� �)
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� ��� +�)) ��� ��������� � ��� �"�� ������
�( ������� �� ��� ���� ���� �����
���� ��� �� �� �� ��� �� �������� � � ������ �� �� �$�( ������� ������ ����� �� ����'�������
���������
� 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�% �����'����� ���� ������������� ����������� ������ � ���������� ��������� ������� ��� ����������
���� ��������� �� ��� ��� ��� ��
� 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�� �$� �� ����� %��� �� ���� ��� ��� ���������� ����"���� ������ �� ���� � ��� � �� ��� �����
� ��� ����� ��� ��� ��� �� "��%�� �� ��"���� ������ ����� ��� ���� �� ���� �$� �����!������ � ��� �� ����� ��� ���� �$�( %��� ����% ������ ����� ��� ���� ����"���� �� ����� �� ��� �� ���� ��� � ��������� �� ����� ��� ���� �� ���� %���� ����������� ���� ������ "��� ��������
�+ ������� �� ��� ���� ���� �����
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 � �$��
� ,���� � ������ %����� � ���� %�� �� ����� ������ ��������� �� ����� � ���� ��%�������� ��� ��� ������ ��������
���� ��� ������� ���������� ��� �� ������� ����� �-
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 ��������� �� �������
��� ���� ����� ��� ��� /�� �� ���� ��"������� ������ �� � ����� ��� ��� ��� ��!������ ��� ����� ��� ��� �� ���� ��� %� ������ ��� ���� ��� ���%�� �� ���������"������� ������� �� ���� ���%�� �� ��������� � �� ����� ��� ����
��� ��� � ����� ��� ���� �%� ������ ����� ��� ���� ��� �������� ����� %� ����������� ��� ���� ��� ��� �� ��� � ��� �� ����� ��� ����
(� *���������
�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�
���� ��� ������� ���������� ��� �� ������� ����� �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� ��� +�)+ /"��"��% � ��������� ��� ���� ���"���� �����������
�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�
���� ��� ������� ���������� ��� �� ������� ����� ��
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 ��"���
+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�
���� ��� ������� ���������� ��� �� ������� ����� +)
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�% ������
+( ������� �� ��� ���� ���� �����
��� $���� ������� � ��% ��� �� ������ ������� �� ������� ��"�� � ���&�� ����� %�� �������� 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������ ������
���� ��� ������� ���������� ��� �� ������� ����� +�
��� $���� ������� ���� � ��% ������� ���� �� ������ �� �� ����� ��� ����
��� 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�% �� ������ ��� �� ����� � ���� ���� ����������� ���"�������������� ��� ���� ������� �������
� , � ���!��� ��� �� ������ ��� ������� ��'������ ��� �� ��"������� ������ ��� ���������������� ��� �� ��% ���!��� ����
������� �
�� ����� ������������
)�� �+�� ��� "��� ��� � ���
��� �"�� �����'����� ������� � � ��� � �"��� � %���� �� ����� ��� �������� , �� ���#��� �� ����� ��� ��� �� �������� �� ���� �"�� %���� ��� ��� �"�� 7�%� ���� ��� ���"� �������� ��� ���������� � ��� ����� �#�� �� ��� � � ����� ����� ����� �� �� ����� �"�������'������ ��� ��������� � �� �"�� �����'����� ��� ����� �� ' ��� -�)�
)�� �� ��� ��� � ��� ��� ���
�$� ���� �� �������� ��"� � ��� ��������A�� �� �"�� �����'������� / ������� �$�( %��� ��"���������� ���� �� �"�� �����'������� :� �� ��� ������� #���� � �"�� ����� �� ��� ����������� �� ������ %��� �� �"������� �� �$�(� ,� �$�( ���� %��� �� %� ������������� �� ����� �"����/�� �� � ����� �"�� ��� %���� ���%� ��� ����� �"�� ����� ��� ���� �������� ���� ���"�� �� �������� ��� ���� ��� �� ������� ������ ����� �����'������ %���� ��"� ���� �� ���� '������ ' ��� -�)� 8��� �� ����� �"�� ��� ����� �� �"�� ��������� ����� ��� �� ����� �� ���������� �"��� , �� �������� � ����� �� ������ ���� ������ ��� �$� �� ���������� ���#��� � ������ �����'������� �� �������� � ��% ��� %��� �� ��"������ �� ��� �� #���� � �������� '���� �� ��� ���� �� ����
����� ��� � ����� ������ � ��?������� �� �� �"�� '���� �� �$�( %��� ��"� �� ������ %�����
� ��� ����� ���� �� ��� ������� �� ���� � �� ����� �� �$�(�
� �$�( �� ���� ���%� �� �"�� ������ �� ���� �� �"�� ����� �� �� �"�� �����'������
� ��� �� ��'����� � �� �"�� %��� �� ������ �� B������� ��������C �� �$�(�
)�� #$� � ��� ��� "��� �� �� +�� ��� "��� �� �����
"���� ������������ �� � � ������ ��!��!�
��� ���� ������� �� ��������� �� ' ��� -�( ��� �� ��������� �������� ��� �� ���� �� ' ��� -���
++
��� ��� ������� ���������� ��� ����� ���������� ����� +-
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� ��� -�) ��� ��������� � �� �"�� �����'������
+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� ��� -�( ��� ���� ������� � �"�� �����'�������
��� ��� ������� ���������� ��� ����� ���������� ����� +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� �����'� ������� �� ����� �"�� �����'����� ���� ��� �"�������� ���� ��� �� ������� ����� ��������
�������
�� �������������� ���� ��!�
*�� (���� �� �� ��,��� ��-�� � ���
��� ���#� ��%��� �� ��������� ������� ��� �� ���� ���� ���� %���� �� ��������� ����� ������ ���������� �� � ������!���� ��� ����� ����� ����� ���# ��&�������� �� ������� ����"��� ��� ������������ � �� ������ ����� ����� ��� �� ���� �� ����������� ��� ' ��� 9�)�
*�� �� ��� ��� � ��� ��� ���
��� ������ ���� ��� ����� ��� ��� ��� �� "��%�� �� ��������� � �� ��6� ����������������������� �� �81� ������� ���� ��� ����� ����� ��� �$�� ��� ���� ��?������ ��%������� %� �$� ������ �� �� �� ��6� �� ������ ������ ��� �������� ���� � ��� �� �81� �������� ������ ��� �� � $3D6 ���� � 8�� �$�( ��� %��� �� ������� %�� �� ������ ���� �� ��������� � ���(� ��� ���� ���� ��� ����������� ���� �� �� '�� ������ %��� �� ���#�� � ��136 �� �$�(� �� "�� ������� �� ���� �� �� ������ ��� ����� ��� �� 13 ����� ������ %���� 136 ��� �� ������ ���� ���� ��� ������� �%���� ��� � �� �������� ��������� �� �$�(��
�$� ��� �� ����� � ���% ������ ��'����� ���� ��86��� ���� �� � %�� � �� ���A� �������L� �������� ����� ��� �� "��� ����� � �������� � �� ����� ��� ����� %�� ������"����� ������� �� ���������� �� ���������� ���� ���� �� � ��%���� ����� � ����� � ������� � �� ��� ��"�� ��� ������� �$�( %��� ����� � ������ ��'����� ��� ����� �� %���� ���������� �� �� ���A��� ����� %��� �� ���#� ��� �� ������ �� �� ������ ��'����� ���� � �� �������� �� ������!���� ��� �����
*�� #$� � ��� ��� "��� �� �� ���� ��,���� ������ ��
�����
(���� ������������ �� � � ������ ��!��!�
��� ���� ������� � �� ������!���� ��� ���� ����� �� ���� �� � �"��!���� ��� ��������� ���� ������ 2�� :������ �� 81 ���� �� � ������ � �� �&��"���� � �� ��������� ����� ,��� ���� �� ����� ���>��� ��� ����� ��� �� �"��� ��� ������ ��� ������ ������ ��� �������������������� �� ���# ����� � ��?���� ����� ��� ���� �� ���%� �� ' ��� 9�(� ��� ������ ��������
� ������ �� /2 ����� ��% ���������� � �� ���>�� ����� ��� �� �������������
+2
��� ��� ������� ���������� ��� � ���������� ��������� ����� +�
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� %��� ��"� �� ���� ���� ��� ��������� �� �� ������ �$� ���� ������ ��� ��� %����������� �� ������� �� �� ���� ��% ��� ��������� ��� �� %��� ����
-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�� ��� ��������� �� ������ ����!��� ������
������� �
�� ������������ ��������� ����
.�� ��� ��,���� ����� � �� � ���� � � ���
�� ���� ��� �������� ����� �� ��������� %�� �� ���� ��� � ����� �� ��'��� ���� �� ���� ��������� � ������� 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� �� �$�(� �� ��� "������� ���� ����� �� ���� �������
-)
-( ������� �� ��� ����������� �������� �����
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�) ��� ��������� � �� ����!��� �������� ��� ����
��� ��� ������� ���������� ��� ����� �� ������� ����� -�
.�� #$� � ��� ��� "��� �� �� �� �� �� ��� �� �����
)���� ������������ �� � � ������ ��!��!�
��� ' ��� 0�( �� �� ���� ������� � 1�� ������ ��� ' ��� 0�� �� ���� ��������� ����������4�� �� � �� � ��������� �� ���6� ��� ��������� �� �� ���������� ��������� �� ' ��� 0�(�
)���� ������������ �� � � ���� �!�������
���� ��� �� ������ ��� ��� ������� �� ��� ����� �� ' ��� (�)5 ���� %��� �� ����������� ��������� ��� �������� ��� ����� � ����� �"��"��% � �� ��&����� ���������� �� �"�� ��' ��� 0�+�
-+ ������� �� ��� ����������� �������� �����
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�� �������
��� ��� ������� ���������� ��� ����� �� ������� ����� --
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�� ������
������� �
�� ������ ���������� ��!�
/�� ��� ��,+�� ��-�� � ���
��� ���# ��%��� ����� �"��� ��� ���� ���� ��� ������������ ��� ���������� �� ���� ���!�"������� �11!����� %���� ���� ��� ����� �"��� ��� ���% ��% ��� ������ �������� � ���� ���� ���������������� , ��� �� ���� � ������ ���� ���� ��� �"��� ��� "��� "����� , ��� ���� �� ���� � ���� ���� ���� ���J�� �"��� � '�� ��?���� ���������� ,� ��� �� 11 ����� ���# �� ����%����� '�� ��% � �� ���� ���� �� �"��� ������� -� ��� '�� ������ � �� ���� ���� 13 ��������������� ����� ����� ������������� ��������"� ���� ������ ��� ��������� � �� 11!������� ����� �� ' ��� 2�)� ��� %���� ���� ���!�"�� ���� ��� ���������� � � ��� �� ������ ���������� 9�� �� %���� ���� � ��% �� �� 11!���� ����������� � � ��� �� ���� �� �� 81!�����
/�� �� ��� ��� � ��� ��� ���
�� �������� ��� #��� � ���� �� �$�( �� �������� "������ � �� �� ��6� ���������� ��!���������� ����� ����� ��� �$� %��� �� ����� ���� ����� %��� �� ������ �11�� ��� ����%�������� ������ �� �� ���� %��� �� �� ���� �� �� ���� �����"������ ��#� 36 ������ ������ %������� �� ����%��� ��� ������ �� �� '�� ������ ��� ���� ���� ��� ������������ �� ��"� � �������'�� �� �� 136� ��� ������ �� �� '�� ��% ��� �"��� �� ��"� � �� �����'�� �� � ����� �"�������'������ ,� ��� �� ���� � �� ���� �� ������ � "��% ����� �� ���� ������ �� �$�( %� ���L����# ���� "��%��
4�� �� %��� � ����������� �� ���� �� �� 11�� �� ���� �� ���� � �� ����������� ��� � �� �"�� �� ���� �� �������� ����� /���%��� � ������ �����'����� �� �� ��������� ,� �$�( �������� %��� �� ����� ��� ����� %���� 3 �� �� ����������� ���� ��� $) ��� ��� �� ����� � ���������� �����
/�� #$� � ��� ��� "��� �� �� +��,���� ������ �� �����
*���� ������������ �� � � ������ ��!��!�
:������ �� 11 ���� �� � ������ � �� �&��"���� � �� ��������� ����� ,� �� ���� �� ���>������ ����� ��� �� �"��� ��� ������ ��� ������ ������ ��� ������������� ��� ���� �� ���%� ��' ��� 2�(�
-9
�� ��� ������� ���������� ��� ���������� ��������� ����� -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��� ���!�"�� ������
-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�� �������
������� �
�� "��������� ����� ���������
����
0�� 1��+ ���� ���� ����� � �� � ���� � � ���
� ����"����� ��� �������� ����� �� ��������� %�� � ������ ������� � ������� ��&������ ����� ��� ���� �"���� ���� ����� ��� �� ��� � � ��� ������� %���� �� ������� �����'�� ��� ��� �������� ��� ��� %�� �� ����� ���"������ ���� ��� ���� �� �� �� ���� �"�� ��� ����� �������� ������ ��� � ������ � ������� � ��� ����"����� ��� �������� ��� ��� �������� �� ��������� �� ��� ����� �� ' ��� ��)�
��� ������� �� ���"�� �� ��������� �� ��� ����� �� ������� ���� �"�� 7�%� � �� 686 ������# �"��� � ������ ����#�� ��� ����� � �� ��� ������� ��� ������� �������� �"�� 7�%���� ��� ��� �"�� ���� �������A������ �� ��������� ��������� �"�� 7�%� �� �������J����������
0�� 1��+ ���� ���� ����� � �� ��-�� � ���
�������"���� ��� �������� ��� �� ������� �� ������ ����� ��� ���� ��?���� ���� � ����������� ���� ������������� <0=� ������ ��� ���"����� �� �������� %�� ���� ���� ���J������������ F� �������� ���� �� ��� � ���� ��� ���������� �� ��� �������� �������
,� ��� �� '�� ��% �� '���� %�� �� ��������� ��� �� '�� ������ �� '���� %�� �� ���� ����������� ������ ��� ���� ������ ��� �� ��� ��� ��� �� ������ �� ��� ��������� ����� �� ����� � ����� �� �������� ��� ��� �����
����� � �� ��������� �������� �� ���� ��� ��� ���� ��'�� � ��� ������� ������� �� �������� ����� ���� �������� ���� ���������� '���� ��� ���� � ���%�� � :� �� �� ��� ���� � %����� ��� ��� �������� ��� ���� ��� !������
0�� �� ��� ��� � ��� ��� ���
��� ��� �������� ��� ���� � ��� ��� ��������� � �� ��� ���� �� ��� �� ���� �� ���6���� ��� �������� ��� ��� ����� �� �$�( �� �� �������� � �� ������ ��� ���� ��?������� ���
� �$�( %��� ��"� �������� ���� ���� ��� ������� %�� � ����� ��������� ���������� ��� �� ����� �� ���� ������ � �� ���� #��� � ��������� ���� �"���� ������� �� � ���������6�
-�
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� ��� ��) ��� ��������� � � ����"����� ��� �������� ��� ����
!��� ��� ������� ���������� ��� "�������� �� ������� ����� 9)
� �$�( %��� ��"� � ���# � �� ������ ������� �� ��'��� �� ��6�
� �$�( %��� ��"� �������� ������ %�� ������ ���������� ��#� ����
� ��� ������ �� �� ��������� ��"� ������ ���'���� ��#� 6 �� ������� ���
� ���������� ��� �� ������� %�� �� ������� �������� ��� �� ���� ���� �� � �� ��������������� ��������� ��� ������� � �� ������������ , �� ���� � ������ �� ��&����� �����!����� � �� ��� �������� ���� %��� �� ������� �� �$�(�
� ���������� ��"� ��������� ������� �"��� �� �$�� �� ��� ���������� � �� �"�� 7�% ��� ������ ��������
� ,� �$�� ���� �� � ��� �������� ��������� ����� ,� ��� ��� ����� �� �$�( �"��� ������ ��"� � �����
,� ������� � �� ��� �������� ��� ����� �$�( %��� �?�� �� ��������� � ����� ����������� �� � ������ ������� H�#� �� ���� �� '�� ��% �� '���� %�� �������� ��� �� '�� �������� '���� %�� ���������� ���� ��� �������� ������ ��� ������ ��� '���� %�� ������ ��� �� ������� ���� %��� ������ �� ���������� �� � "����� � �� ������ ���� ������
0�� #$� � ��� ��� "��� �� �� -��+ ���� �� ��� ��
�����
+���� ������������ �� � � ������ ��!��!�
��� ���� ������� � � ���6 �� ��������� �� ' ��� ��(� ��� ��?���� #���� � ������ ��� ��������� ' ��� ���� ��� ��?���� #���� � ��������� ��� ������� �� ' ��� ��+� ��� ��������� �� � ���6�� ��� �� �� ��������� �� � $36 ��� ����� �� ' ��� ��-� 4�� �� ��� ���������� ������� ����� ��� ������� ������������ %���� ��� �� ����� � ��� ��� �� � �����
+���� ������������ �� � � ���� �!�������
���� ��� �� ������ ��� ��� ������� �� ��� ����� �� ' ��� (�)5 ���� %��� �� ���������� ���������� ����"����� ��� �������� ��� ����� � ����� �"��"��% � �� ��&����� ���������� �� �"�� �� ' ��� ��9�
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�
!��� ��� ������� ���������� ��� "�������� �� ������� ����� 9�
BeginAction
DisableAction
EnableAction
InitialiseAction
LowerAction
RaiseAction
SignalAction
TriggerAction
de
is_a
Clock
Process
EventStore
ContinuousEvent
Discreteevent flow
Discreteprocess
Action
8� ��� ��� /"��"��% � ������ �� � ����"����� ��6�
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�
!��� ��� ������� ���������� ��� "�������� �� ������� ����� 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�
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 ��� ������� �� �� :�� ����� ���� ��� �� ������
������� ��
�� ����#������ �� $�� ����
����������
�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
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����� �� �� ������!���� ��� ����� ����� �� ��������� �� ������ �"�� ������� '����
� ����� ������� �� � �� ���� ��� �� � ������ ������� ��� ���� �� �������� �� ������� '����� ������� �� �� %�� ������ �� ��?���� ����� ������� �� ��?���� '��� ��� �� �� ���� ��� �,� ������ ��� ������ ���� � ���� ������ � ������� ���&�� �����'��� �� �� �� �� ������� �� ���
�#�� ���"�� ���������� ������ 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�"� ���� ���#� ��%��� �� ��?���� �������
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�
����� ��� � � �� ��� � ����� ��� �� �������� �� �� ��� �� � ������ ��� ��� ����� � ��� �� �� � ������ ������ � ��#� ��� � ��� ���� $�� � ��� ��������% ��� � � ������ ���� ��� �������� � ��� ��� ������ ��� ����� ����� ���������� ��� � ������ ��� � �������� ������� � �� ���� ���� ������ ��� ���� ����� ������� � ��� ��� � ������� ��������� �� ��� ��������� � ��� ����� &��� �� ���� ��� � ���� �� � ��� ���� �� ����� � � �� ������� � � ��� ��� � ��������� ��������� ' �#�� ��� ��� ��� � ���� �� �� ����� �� ���� ��� ���� ������ ��
�#�� ���"�� ���������� ������ 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 ����#��
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�
�(� ��������� �� �� � ������ � ���#� � �� ����� ������� ���������� �� �� � � ��� ���� �� ���� �� ���������� �� � ��� ���� ����� �������� ���� ���#��� � ��� � � �� ����������� �� ����� � �#��
"�%���#�����
<)= *�*�!�� $���� ��� ����!����������� ����� 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�