. Meta-level architectures are always, implicitly or explicitly, equipped with a component that establishes a relation between their object- and meta-level layers. This so-called naming relation has been a neglected part of the architecture of meta-level systems. This paper argues that the naming relation can be employed to increase the expressiveness and efficiency of meta-level architectures, while preserving known logical properties. We argue that the naming relation should not be a fixed part of a meta-level architecture, but that it should be definable to allow suitable encoding of syntactic information. Once the naming relation is definable, we can also make it meaningful. That is, it can also be used to encode pragmatic and semantic information, allowing for more compact and efficient meta-theories. We explore the formal constraints that such a definable naming relation must satisfy, and we describe a definition mechanism for naming relations which is based on term rewriting s...

this paper I offer some ideas of possible ways of doing this. I shall use two types of dynamic models, Thom's catastrophe theory already mentioned and the formalism of cellular automata. In addition, I shall use the theory of autopoiesis developed by N. Luhmann, H. Maturana, F. Varela, and others as the general framework in which the formal ideas are developed.

.......................................................................................................................1 1. Introduction...........................................................................................................1 1.1 Protocols: HTTP.......................................................................................3 1.2. HTML.......................................................................................................5 1.3. What is WWW - really?.........................................................................9 2. WWW as a self-organizing system.....................................................................13 2.1. The basic concepts.................................................................................14 2.2. Recursion in WWW...............................................................................17 2.3. Attractors in WWW...............................................................................22 2.4. ...

this paper is to show that semiotics has implications for practical activities such as designing computer support for work. In particular, I want to demonstrate the manner in which a dynamic semiotic model guides empirical analysis of a task domain and yields ideas for computer support of the domain.