Diskussionsrunde "Theoretische Grundlagen, AOP Sprachsemantik"
--------------------------------------------------------------

Teilnehmer:  Ralf Laemmel, Reiko Heckel, Klaus Ostermann, Holger Giese,
-----------  Stephan Herrmann, Elke Pulvermueller

Behandelte Fragestellungen:
---------------------------

1 Grundlagen:
-------------
Möglichkeiten für theoretische Basis: (wie bei allen Sprachen)
- Statische Semantik (Typsystem)
- Dynamische Semantik
- Transformation / Reduktion 
- Interpretation (einfache dynam. Semantik)

- Identifikation grundlegender Sprachkonstrukte


- Compilezeit Adaption --> Transformation
- Laufzeit-Adaption


2 Scoping Frage
---------------

Welcher Scope soll gelten (Aufrufer, Aufgerufener)?


3 Konsistenz:
-------------

- Hybride Programmierung
- Invarianten und Regeln:
  Eine Regel ist aktiv (im Gegensatz zur Invariante - I. kann nichts verändern)
  Problemfestellung und Lösung sind zwei getrennte Dinge
- Additiv Hinzufügen von Konsistenz



4 Rollen: Objekt aus versch. Facetten zusammenfügen
--------- Erweiterung des nach aussen sichtbaren Verhaltens

Identität, Zustand, Retrieval: Wie finde ich spezifische eine Rolle?
Soll jede Rolle eine eigene Identität repräsentieren?
Muss eine Rolle auch immer gleich realisiert sein?

--

Verteilte Systeme: keine Festlegung auf Identitäten
Kapselung, Split Identität herausgeben

--

Rolle ist kontextabhängig vom verbundenen Objekt, anderen Rollen,
dem umgebenden System

--

Rolle sollte ich eigentlich kennen
(macht evtl. weniger Sinn sich einfach alle Rollen geben lassen)

--

Nicht nur Cast (= anderes Interface auf das gleiche) -->
besser Lifting: Facetten dazunehmen, wegnehmen

Wir sollten nicht casten, da andere Sachen noch nebenher ablaufen.