1.In DDL, a formalmeaning is assigned to the interaction be-tween services and the environment. Thus DDL bridges the gap between the static reasoningon content and the dynamic reasoning on services in an inherent, consistent and seamless way.
3.the philosophical theory that formal (logical or mathematical) statements have no meaning but that its symbols (regarded as physical entities) exhibit a form that has useful applications.
5.Through the combination, stack, and arrangement of the type in the formal space, which is more than the literal meaning; it also acquires an artistic value: the interpretation of formal expression and the denotation of the relationship between positive and negative space.
