, primarily from Chap. 6. Concepts and relations between concepts in this chapter are formally defined by semantic diagrams. A semantic diagram is a conceptual model where the entities are concepts, denoted as textstrings, and the relations define how concepts are related. Symbols for relations are the same as those used for resource system mod- elling, see Sect. 7.3.2. Figure 7.1 shows these symbols. isA: A is a specialization of B isP: A is a part of a B A depends on B. X is the name of the relation err. External resource relation between A and B A and B are on the same abstraction level arr. Abstraction relation between A and B. A and B are on different abstraction levels exclOr. A relates to either B or C or. A relates to either B or C, or to both B and C A has the property B The property B is optional The property B identifies A iie*B B is a property that defines trigger values for internal initiating events acr. The acronym for A is B symb: The symbol for A is B Fig. 7.1 Relation symbols in semantic diagrams T. Muth, Modeling Telecom Networks and Systems Architecture Springer-Verlag Berlin Heidelberg 2001 7 Concepts and Notations for Process Control Systems Modelling Some diagrams show which specification elements are created in AML, and how they are related to concepts and to other information elements. Specification elements are symbolized as boxes. Concepts and Notations in Service Networks 7.2.1 Primitive Structural Concepts The basic structure of a service network model is built by (primitive) service objects that are associated by (primitive) service relations. In every service rela- tion, one of the objects provides a primitive service to the other object. Figure 7.2 describes the relations between these concepts. Concepts for the service network structure: provides Primitive #PSid Service Virtual Provider object Primitive Primitive ServiceObject Agent Service Service Relation Actor 1..* Port usesPartial Symbols: single service Service ports: primitive Object classes: provider port user port service 