Question: what is Emacs mode?

[Qiantan Hong]

I posted it on LtU forum http://lambda-the-ultimate.org/node/5630
but I think other Emacs developers may have more insight into it.

If you don’t want to follow the link, here’s the post:

I've been using Emacs as my OS since time started and I've always taken its 
programming model as granted, part of the nature. However, now I'm looking back 
at it when I'm trying to design an editor/OS based on S-exp rather than text, I 
found I understand Emacs very poorly.
So here's the question:
What exactly are mode, buffer local variables, hooks and advices?
Hooks and advices look like AOP. However, emacs hooks and advices usually make 
heavy use of buffer local variables. Lots of them also interact with modes by 
looking at the mode variable. So I don't think AOP captures the full picture.
Sure, mode looks like context-oriented programming (see ContextL LtU thread ). 
However I never see mode associated with dynamic scope, they just got turned on 
or off (for a particular buffer). Is this "resembling ContextL" impression just 
another instance of fitting a too-general concept into a much more specific 
(but not understood) concept?
And finally, let me give the context that all those question arises: I want to 
clean up the Emacs model, and apply it to a S-exp (tree) based editor. So the 
practical question is: Can we find a cleaner/more elegant version of the Emacs 
model, and generalize it to tree document structure? Will we have node-local 
variables, node-local modes, etc? If so, how will all those "attachments" 
interact between, say, parents and children nodes?