Cassey - Common Answer Set Evaluation sYstem Jean Gressmann Benjamin Kaufmann Robert Lenk.

Präsentation zum Thema: "Cassey - Common Answer Set Evaluation sYstem Jean Gressmann Benjamin Kaufmann Robert Lenk."—  Präsentation transkript:

1 Cassey - Common Answer Set Evaluation sYstem Jean Gressmann Benjamin Kaufmann Robert Lenk

2 Cassey 2 Roadmap des Vortrags Projektübersicht Gewählte Technologien Architektur & Implementation Test & Portabilität Vergleich mit anderen Technologien Ausblick

3 Cassey 3 Cassey... Steht für Common Answer Set Evaluation sYstem Ist ein verteiltes System zur Berechnung von Antwortmengen Kann über dynamisch ladbare Komponenten erweitert werden

4 Cassey 4 Entwurfsziele... Dynamisches Hinzufügen neuer Antwortmengen Solver Plattformunabhängiger Server Plattformunabhängiger Client mit GUI

5 Cassey 5...und deren Realisierung Server (C++) Stellt Basisfunktionalität bereit Delegiert Arbeit an Komponenten Komponenten (C++) Basieren auf CORBA Component Model Client (Java) SWT GUI Framework CORBA 2.x für die Client-Server Kommunikation

6 Cassey 6 Was sind Antwortmengen? Kurz, es geht um Konsequenzen… Programm: vogel(tweety). vogel(tux). penguin(tux). fliegt(X) :- vogel(X), not penguin(X). Antwortmenge: fliegt(tweety) penguin(tux) vogel(tux) vogel(tweety)

7 Cassey 7 Cassey – Architektur

8 Cassey 8 Casseys Client Delegiert Funktionalität an den Server Plattform- unabhängige GUI dank Java und SWT Komponenten als Strings

9 Cassey 9 Casseys Server Komponenten werden dynamisch und auf Anfrage des Clients lokalisiert

10 Cassey 10 Casseys Component Model Zwei Komponententypen Präprozessoren Antwortmengen Solver Mit Cassey kommen… der lparse Präprozessor der smodels Antwortmengen Solver

11 Cassey 11 Casseys Komponentenschnittstellen interface Preprocessor { string process(string program); }; interface AnswerSetSolver { string calculateAnswerSets(string program, unsigned nrOfAnswerSets); string calculateWellfoundedModel(string program); };

12 Cassey 12 Ablauf: Eingebauter Solver

13 Cassey 13 Ablauf: Solver als Komponente

14 Cassey 14 Präsentation der Anwendung

15 Cassey 15 Identifizierte Entwurfsmuster Client MVC => Observer State Proxy, Abstract Factory, Broker, … Server Template Method Facade

16 Cassey 16 … code a little, test a little … Quellcodeverwaltung über CVS CPPUnit (Server) Servant Implementation jazzmodels simplelparser JUnit Model

17 Cassey 17 Cassey goes.NET … Problem: Komponenten müssen der Runtime bekannt gemacht werden, aber….NET stellt keinen Namensdienst zur Verfügung Für Cassey bedeutet dies die Serverarchitektur zu ändern

18 Cassey 18 … durch Servermodifikation Server und Komponenten laufen auf der selben Maschine Komponenten werden auf Anfrage aus einem wohldefinierten Verzeichnis geladen Aufruf der Komponentenfunktionalität über Reflection (invoke) Server bietet dem Client die Komponentenfunktionalität wie gehabt an

19 Cassey 19 Ausblick... Benchmarking und Jobverwaltung im Server Sicherheitskonzept Besseres Packaging und Deployment Entkopplung von Präprozessor und Antwortmengen Solver

20 Cassey 20 Quellen P. Simons (1997). Towards constraint satisfaction through logic programs and the stable model semantics. Helsinki: Helsinki University of Technology. T. Schaub (2003). Skript zur Vorlesung Antwortmengenprogrammierung. Potsdam: Universität Potsdam. E. Gamma, R. Helm, R. Johnson & J. Vlissides (1997). Design Patterns. Boston: Addison-Wesley. M. Henning & S. Vinoski (1999). Advanced CORBA programming with C++. Boston: Addison-Wesley. Object Management Group (2002). CORBA Components. Frank Pilhofer (2002). Writing and Using CORBA Components. Martin Fowler (1999). UML Distilled: A Brief Guide To The Standard Object Modeling Language. Boston: Addison-Wesley. Microsoft MSDN Library – January 2004.