1
Download Informationssystem-Entwicklung
Transcript
Informationssystem-Entwicklung im Co-Design-Zugang 23 c °by β Constraints Bedingungen Regeln Wort Optionalität Assoziierte Konzepte Wortformen Umfeld Null [] Kontext Syntax * Default Parameter Valenz Historie Konzept Pragmatik Bindungsform Semantik Semantische Fälle Anwendungsportfolio Erweiterungssemantik Kernsemantik Modellwelt Bild 7: Die Mindmap-Strukturierung der Spezifikation von Konzepten · · · ∪ familie ∪ weitereCharakt ∪ profil Die Formeln zur Darstellung der Semantik können unterschiedliche Bereiche der Anwendung abdecken. So können wir z.B. festlegen, daß Personen ihr Geburtsdatum nicht verändern. Eine Person, die geschieden ist, war einmal verheiratet. Wir erhalten damit Formeln der folgenden Form, wobei wir uns der deontischen Quantoren F (forbidden), O (obliged) und P (permitted) bedienen: F(update(Person. gebDaten)) α“geschieden00 ( person) → ∃past y (Beziehung(Ist.Partner. y,Von.Partner. person,Ab,Bis) ∧ Bis < today In analoger Form können wir Adressen spezifizieren: PL/1 Adresse(( geographAdr, kontaktAdr, historie), (ΣAdresse , MAdresse , ΣQualität Adresse ), ( betriebsIS, aufgabenAkteur)). Die Darstellung der Konzepte kann auch in der Form von ER-Modellen erfolgen. Ein typisches Beispiel wird in Bild 8 vorgestellt. Konzepte sollen durch Content unterlegt werden können, wobei der Content und seine Struktur variabel sein können, solange sie miteinander verbunden werden können. Wir schränken diese Verbindung durch die Forderung einer Spezialisierungsbeziehung ein: Die Spezifikation des Content stellt eine Verfeinerung der Spezifikation der zugehörigen Konzepte dar. Konzepte können miteinander kombiniert werden. So kann z.B. wie in Bild 9 das Konzept Person mit dem Konzept Rolle und dem Konzept Adresse verbunden werden, wobei z.B. nur der Angestellte eine interne Kontaktadresse und eine externe Partneradresse besitzt. Diese Verbindung wird allgemein durch Filter oder “Theta”-Operatoren sichergestellt. Wir können dies durch die Algebra unterstützen und erhalten: Adressen 1Θ(α) Personen 1Θ(β) Rollen Eine Algebra zur Verbindung wird aus der HERM-Algebra abgeleitet. Wir verwenden dabei die HERM-Operationen:
