FACHHOCHSCHULE MANNHEIM

Transkript

1 Objektorientierte Programmierung 11. Vorlesung Prof. Dr. Peter Knauber FACHHOCHSCHULE MANNHEIM Hochschule für Technik und Gestaltung Die 2. lgruppe von KobrA: : le der : e Folie 1

2 Zur Erinnerung: 1. lgruppe: Die Context Realization Die Context Realization repräsentiert die Umgebung des Systems: Man kann sie sich als Realization ohne Spezifikation vorstellen, das heißt als eine Komponente ohne oberes Ende Ihre Entwicklung benötigt Techniken des Requirements Engineering (der Anforderungsanalyse) Interaction (UML collaboration diagrams) (UML class/object diagrams) Activity (UML activity diagrams) Realization Folie 2 2. lgruppe: Die (operation specifications) Komponent Behavior (UML statechart diagram) (UML class/object diagrams) Realization Folie 3

3 Die Rolle der (Komponenten-Spezifikation) Beschreibung der extern sichtbaren Eigenschaften einer Komponente Definition der angebotenen / unterstützten Dienste (Services) benötigten Dienste (anderer Komponenten) einer Komponente Basis für den Vertrag der Komponente mit ihren umgebenden Komponenten (Klienten + Zulieferer = Partner) Die wird im Kontext der Vater-- Realization (oder der Context-Realization, wenn es sich um die Wurzel handelt) definiert. Folie 4 Die KobrA-le für die (Strukturmodell) modelliert die Daten, die von einer Komponente manipuliert werden, ihre Umgebung und ihre Struktur, soweit sie extern sichtbar ist Ein oder mehrere Klassendiagramme Null oder mehrere Objektdiagramme model (Funktionsmodell) modelliert die Berechnungen, die von der Komponente durchgeführt werden Eine Operation pro Operation Behavioral model (Verhaltensmodell) modelliert die Zustände der Komponente und die Ereignisse (Events), die Zustandsübergänge bewirken Null oder mehrere Statechart Diagrams Folie 5

4 Zur Erinnerung: unsere Vorgehensweise Context Realization Realization Folie 6 KobrA liert die Daten, die von einer Komponente manipuliert werden, ihre Umgebung und ihre Struktur, soweit sie extern sichtbar ist s werden realisiert durch UML Klassendiagramme oder UML Objektdiagramme (siehe später, bei den Realization s) Klassendiagramme sind bereits bekannt! Folie 7

5 for SIB: UML Class Diagramm noofaccounts : Integer := 0 openaccount () closeaccount () deposit () withdraw () getbalance () setrate () converttoeuro () convertfromeuro () 1 manages * Account ownername : String id : String balance : Float := 0.0 deposit () withdraw () getbalance () Attribut mit Initialisierung; diese wird einmalig durchgeführt, sobald ein Objekt instanziiert wird Folie 8 Aufgabe Entwickeln Sie ein für die Linearen Listen! Wie sieht es aus? Was sind die Unterschiede zum Context Realization? Was lernen Sie daraus? Heben Sie Ihre le auf und bringen Sie sie regelmäßig mit! Folie 9

6 KobrA Beschreibt die Berechnungen/Aktivitäten, die von der Komponente durchgeführt werden s werden realisiert durch eine Operation pro Operation Folie 10 : Operation Name Description Constraints Receives Returns Sends Reads Changes Rules Assumes Result Name der Operation Informelle Beschreibung des Zwecks der Operation mit ihren normalen Ergebnissen und Ausnahmebehandlungen Einschränkungen für die Realization und die Implementierung der Komponente Information für den Aufrufenden: Parameter und ihre Typen Information über das Operationsergebnis für den Aufrufenden Nachrichten die an andere (importierte) Komponenten verschickt werden Extern sichtbare Information, auf die von der Operation zugegriffen wird Extern sichtbare Änderungen durch die Operation Regeln für die Berechnung (des Ergebnisses) der Operation Vorbedingung über den Zustand der Komponente soweit extern sichtbar und die Eingaben, die gelten muss, damit die Operation ihr Ergebnis garantieren kann (weakest pre-condition) Nachbedingung über den Zustand der Komponente soweit extern sichtbar und die Ergebnisse der Operation nach ihrer Ausführung sofern die Vorbedingung erfüllt war (strongest post-condition) Folie 11

7 for SIB: Operation 1/2 Name openaccount Description Ein neues Konto wird für einen Kunden unter seinem Namen eröffnet, ein Betrag von mind. 50 in beliebiger Währung eingezahlt und die Kontonummer zurückgegeben Receives name : String, Name des Kunden amount : Float, Betrag in der Währung currency, der initial auf das Konto eingezahlt werden soll currency : String, die Währung, in der eingezahlt wird Returns Einen String mit der account.id des Kontos Changes Assumes Result account := New Account Der Umrechnungsfaktor von currency nach Euro ist bekannt, die einzuzahlende Summe beträgt mind. 50 Ein neues Konto mit einer eindeutigen neuen Kontonummer (account.id) und dem Namen account.ownername = name wurde eröffnet; noofaccounts wurde um 1 erhöht; der Betrag amount in der Währung currency wurde nach Euro umgerechnet und account.balance auf diesen Betrag gesetzt; die Kontonummer account.id wurde zurückgegeben Folie 12 for SIB: Operation 2/2 Name Description Receives Returns Changes Assumes Result withdraw Ein Geldbetrag in einer gegebenen Währung wird von einem Konto abgezogen, wenn das Konto die entsprechende Währung aufweist accountid : String, die Kontonummer currency : String, die Währung, in der abgehoben wird amount : Float, der Betrag, der abgehoben werden soll Ein Boole scher Wert, der angibt, ob die Abhebung möglich war Konto (account) mit account.id = accountid Die Kontonummer accountid ist gültig und der Umrechnungsfaktor von currency nach Euro ist bekannt euroamount ist der äquivalente Betrag in Euro zu amount in currency; Wenn account.balance >= euroamount dann wurde account.balance um den euroamount vermindert und true zurückgegeben sonst wurde false zurückgegeben Folie 13

8 Aufgabe Entwickeln Sie ein für die Linearen Listen! Wie sieht es aus? Was sind Ihre Erfahrungen? Folie 14 Aufgabe Ergebnis-Präsentation beim nächsten Mal! Heben Sie Ihre le auf und bringen Sie sie regelmäßig mit! Folie 15