PROGRAMMIERSPRACHEN

Autor: PINTO ALARCÓN MÓNICA.
Jahr: 2003.
Universität: MÁLAGA [www.uma.es].
Ort der Lesung: ETSI INFORMÁTICA.
Ort der Vorbereitung: UNIVERSIDAD DE MÁLAGA.

Inhaltsangabe: Fortsetzung technologische Fortschritte, die beide Systeme Hard- und Kommunikationstechnologien haben zu einem Anstieg bei der Entwicklung heterogener verteilter Systeme und öffnen, ist es notwendig geworden, auf die Annahme einer neuen Software Technologien. Zwei dieser Technologien sind, die Software auf die Entwicklung von Komponenten (DSBC) und dem Software Development Oriented Aspekte (DSOA), die sich mit dem Ziel der Verbesserung der Modularität und evolucióon von Systemen Software von Montage und Mengen indpendientes wiederverwendet werden. Die DSBC und DSOA sind komplementäre Technologien, die sowohl in der Umsetzung des Prinzips der Trennung von fortgeschrittenen Konzepte aus der Perspektive diferntes, und folglich serí sehr hilfreich, über Modelle kombinieren, dass diese Technologien zusammen, um alle ihre Vorteile. Das Hauptziel dieser Arbeit ist die Integration der Grundsätze der DSBC und DSOA durch die Definition von d EUN Modell, eine Sprache und Plattform Komponenten und Aspekte. Das Modell CAM (Component - Aspect Model) zielt darauf ab, solucinar Grenzen der Plattformen von Komponenten und Systemen für aktuelle Fragen, die Definition der Komponenten und Dienste, wie Aspekte der ersten Ordnung, mit einem Mechanismus Zusammensetzung von Komponenten und Erscheinungsbild sind aufdringlich. Darüber hinaus ermöglicht das Modell CAM definiert als beide Aspekte gemeinsamen Dienste delas verteilte Anwendungen wie jeder andere Code repliziert oder verheddern, die Definition eines Modells der homogenen Zusammensetzung. Sobald das Modell CAM, ein weiteres sehr wichtiges Merkmal der CAM / DAOP ist, dass die Informationen über die Architektur der Anwendung ist nicht unter den Komponenten und Aspekte der Durchführung, wie üblich. Statt diese Informationen definie ausdrücklich durch eine Beschreibung Sprache Architektur genannt DAOP - ADL. Ähnlich wie LEV, diese Sprache wird Paar analysieren und überprüfen Sie die Richtigkeit einer bestimmten Design, und das Denken über die mögliche Struktur des Systems und bewerten verschiedene Gestaltungsmöglichkeiten, noch vor ihrer Umsetzung. DAOP - ADL beschrieben wurde mit XML Schemata, in denen die Informationen, die mit der Sprache interpretiert werden kann und direkt von der Plattform DAOP. Die Plattform DAOP (Dynamic Aspect-Oriented Platform) ist die Infrastruktur, auf die umgesetzt werden Komponenten und Aspekte CAM. Die wichtigsten Service, der von der Plattform DAOP ist zu komponieren, die Komponenten und Aspekte, oder tejerlos, wenn wir die Terminologie der Aspekte der dynamischen Ausführung. Herstellen von Verbindungen zwischen den Komponenten und Aspekte, die Plattform DAOP überprüfen Sie Informationen ddescrita anterioremtne mit DAOP - ADL, die gespeichert werden in ihrer internen Strukturen. So ist es möglich, um die Zahl und Art der Aspekte Gewebe mit einer speziellen Komponente, auch während der Laufzeit, die Verbesserung der Flexibilität und Anpassungsfähigkeit der endgültigen Anwendung.

Autor: RODRÍGUEZ LAGUNA ISMAEL.
Jahr: 2003.
Universität: COMPLUTENSE DE MADRID [www.ucm.es].
Ort der Lesung: FACULTAD DE INFORMÁTICA.
Ort der Vorbereitung: FACULTAD DE INFORMÁTICA.

Inhaltsangabe: Das Problem der Verteilung der Ressourcen zwischen konkurrierenden Computer-Instanzen in einem verteilten System ist komplex, da verschiedene Gründe. Auf der einen Seite neceistamos erfüllen, so weit wie möglich, verschiedene Ziele, die gemischt werden und inkonsistent. Darüber hinaus brauchen wir, um geeignete Distributionen mit einer kleinen Anzahl von Nachrichten, die nicht überladen Kommunikations-System. Wissenschaft sieht die wirtschaftliche Konzepte needed to treat-Umgebungen, wo eine Reihe von konkurrierenden Spieler für die Nutzung bestimmter knapper Ressourcen, die geeignet sind, alternative Nutzungen, die ihre Anwendung auf dieses Problem angemessen ist. Auf der anderen Seite, formale Methoden Abstraktion Jahre dauern, bis eine angemessene Mechanismen zur Analyse der Eigenschaften von Computer-Systemen. Insbesondere die Sprache Spezifikation von parallelen Systemen ermöglichen formale Definition von verteilten Systemen und die anschließende Studium der seine Eigenschaften in einem formellen Weg. In dieser Arbeit wird auf formalen Sprache Bündelfunk (Process Algebra für das Management der Ressourcen), die erlaubt gleichzeitige Angabe Systemen, in denen die Verfügbarkeit von Ressourcen zwischen verschiedenen Prozessen eine wichtige Rolle spielen. Die Definition der relevanten Merkmale der Systeme geschieht mit Hilfe von Konzepten der Mikroökonomie, welches die Nutzung dieser Technik in der Analyse solcher Systeme. Darüber hinaus ist die Sprache auch auf eine inkrementelle Faktoren haben eine starke Korrelation mit der Höhe der zur Verfügung stehenden Mittel. Das ist der Fall, der Zeit, dessen Einfluss auf das Verhalten der Systeme wird entweder Version deterministische (dh Sie können festlegen, wie lange es dauert, abhängig von der jeweiligen Aufgabe, die zur Verfügung stehenden Mittel) und seine probabilistische Version (dh bewusst die Wahrscheinlichkeit, dass ein Aufgabe Nachmittag, eine Zeit, die durch die zur Verfügung stehenden Mittel). Außerdem ist die Handhabung der wirtschaftlichen Konzepte unserer Sprache, werden in erster Linie für den Einsatz in einem anderen Bereich der Information Technology, Electronic Commerce. Während in diesem Bereich zur Verfügung stehenden Mittel verteilt werden sollten unter Endnutzer menschlichen anstatt Computational zwischen Personen, die Techniken, die für die formale Beschreibung eines solchen Umgebungen, in wirtschaftlicher Hinsicht wird ähnlich wie ls usáraos, dass in der Beschreibung von verteilten Systemen. Eine neue Erweiterung unserer Sprache ermöglicht die erzählerische und formale Analyse solcher Systeme. Sowohl im Falle der Verlängerung dieser, wie im Falle von diejenigen, die die Einführung der Zeit, unsere formale Sprache kann gefolgert werden in systematischer Weise zu den Verhaltensweisen, die konform mit der Spezifikation für ein bestimmtes System, und die sich von denen unterscheiden, , Die nicht sie sind. Für die Anwesenden metodologíasde Tests Erweiterungen, die systematische Techniken zu prüfen, ob ein bestimmtes Verhalten erfüllt die Umsetzung definiert durch eine Spezifikation. Die explizite Beschreibung der Abhängigkeit von Ressourcen zwingen wird, den Bau von Methoden berücksichtigen, dass der Einfluss auf das Verhalten von Systemen.

Autor: SANCHEZ ALONSO M. SOLEDAD.
Jahr: 2003.
Universität: EXTREMADURA [www.unex.es].
Ort der Lesung: ESCUELA POLITÉCNICA.
Ort der Vorbereitung: ESCUELA POLITECNICA.

Inhaltsangabe: Diese These präsentiert (OFRE Coordinativa Formelle Requirenets Encinooment), ein Umfeld für die Entwicklung von aufeinander abgestimmten Komponenten Umgebungen, wo die funktionalen Aspekte und die Koordinierung geregelt sind getrennt von den frühen Stadien. Die Umwelt wird vorgeschlagen, dass auf -- die formale Sprache sendet als Grundlage für die especificacción und Entwicklung der Instrumente der Umwelt und die Verwendung der Sprache exogenen Koordinierung Coordenate den Polen.

Autor: MARTÍNEZ CRUZ JESÚS.
Jahr: 2004.
Universität: MÁLAGA [www.uma.es].
Ort der Lesung: ETSI INFORMATICA.
Ort der Vorbereitung: E.T.S.I. INFORMATICA.

Inhaltsangabe: In diesem Papier, Dissertation beschäftigt sich mit der Verwendung von XML und MDA Technologien für die Integration von Analyse-Tools portocolos.El Kern des Vorschlags ist ein XML zu spezifizieren Protokolle genannt PiXL (Protokoll Mit einem XML Interchange Language), das erlaubt die Durchführung von Anwendungen mit relativ einfachen Überprüfung durch automatische Überprüfung abstrakte Modelle, Wiederverwendung vollständig Model Checking Werkzeuge und Hinzufügen von Modulen für die Abstraktion der Daten und eventos.El Sprache und Methoden Vorschläge gelten auch für die Ausweitung der análisis.En insbesondere die Konzepte eingeführt gelten auch für die Möglichkeit, Integration der Analyse der Protokolle im Rahmen der Active Network.

Autor: AMOR PINILLA M. DE LAS MERCEDES.
Jahr: 2004.
Universität: MÁLAGA [www.uma.es].
Ort der Lesung: E.T.S.I. INFORMÁTICA.
Ort der Vorbereitung: E.T.S.I. INFORMÁTICA.

Inhaltsangabe: Der wichtigste Beitrag des Modells Agent Malaga vereinfacht den Prozess der Entwicklung von Software Agenten, die Lösung für die Zwänge, die die Arbeit der APLs und Frameworks Objektorientierte bestehenden Gebäudes Systeme Multi - Agente (SMA). Diese Einschränkungen ergeben sich aus der Verwendung von OOP Design unflexibel und das Vorhandensein von Problemen wie Code verheddern und Replikation von Code, in den verschiedenen Komponenten der internen Architektur des Agenten. Diese Probleme betreffen die Wiederverwendung und Anpassungsfähigkeit der internen Struktur der Spieler, komplizieren deren Bau und die anschließende Entwicklung behindern. Der wichtigste Beitrag dieser Arbeit wurde zu kombinieren die Prinzipien des Software Development Basierend auf Komponenten und Software Development Oriented Aspekte in der Definition von Malacca, ein Modell und ein Agent Software Architektur zur Verbesserung der Entwicklung und der Entwicklung des GHS gelöst, bevor überarbeitet werden. Innerhalb der Software Architektur eines Agenten und Anwendung der DSBCla Funktionalität abhängig von der Anwendung eine Domain wird von COTS Komponenten. Dies fördert die Wiederverwendung und verhindert, dass die Entwicklung von Software Agenten von Grund auf Senkung der Kosten, Zeit und Aufwand für die Umsetzung. Die Umsetzung der DSOA erlaubt uns ein besseres descomposicíon funktionelle dela interne Architektur des Agenten. Zu diesem Zweck haben wir getrennt und in separate Einheiten innerhalb der Architektur einer Immobilie, die der Berichterstattung Agenten, die modelliert als Aspekt. Diese Feststellung führte uns zu trennen und das Modell, wie die Koordinierung Aspekte nach einem Protokoll Interaktion, die Verschlüsselung von Nachrichten ACL in verschiedenen Aufführungen und die Verteilung von Nachrichten über die Dienstleistungen, die von einer Plattform durchgeführt werden. Generell Agenten sind sich mehr erweiterbar, wiederverwendbar und anpassungsfähig, weil ihre internen Architektur erlaubt Ihnen, zu ergänzen, zu löschen oder zu ersetzen Komponenten und Aspekte, ohne die anderen Komponenten und Aspekte des Agenten betroffen ist. Diese Funktion bietet erhebliche Vorteile, da die Ausbildung neuer Protokolle zur Laufzeit und der Zugang, auch gleichzeitig, in verschiedenen Plattformen zu kommunizieren IFAP Agenten. Diese und weitere interessante Beiträge, die aus den Merkmalen des Modells dargestellt entlang der Speicher. Zusammen mit dem Modell sind zwei Sprachen Domain, deren Ziel es ist die Vereinfachung und Erleichterung der Entwicklung und der Entwicklung der Agenten basiert auf der Architektur Malacca. Für eine Beschreibung dela Koordinierung Offiziere definiert wurde ProtDL, eine Sprache, bei der Festlegung der Protokolle Interaktion zwischen den Akteuren auf Basis von XML. So, die Interaktion Protokolle unterstützt durch ein Akteur vertreten ist ausdrücklich, die Erleichterung der Integration und Modifikation. Neben der Beschreibung der neuen Spieler definiert wurde MaDL, eine Sprache zur Beschreibung von Architekturen auf Basis Komponenten und Aspekte. So, der Entwickler sollte nur eine Beschreibung der Komponenten zu versammelt bei den Agenten, eine klare Beschreibung der Interaktion Protokolle unterstützt ProtDL, sowie Informationen über die Konfiguration und den Einsatz von anderen Aspekten des Agenten in einem XML Dokument. Schließlich, um einen weiteren Beitrag dieser Dissertation ist die Integration von Malacca Modell in der Entwicklung prozessorientierter Methodik, die von Agenten durch die Anwendung und MDA. Das Modell integriert Malacca in einer Entwicklung von Modellen zeichnet sich durch die Förderung der Verwendung von Methoden durchgeführt werden. Die Anwendung der MDA reduziert die "direkt" zwischen Design und Implementierung zu lösen und die Vielfalt der Methoden, facilitand 8 oder inclus 1c4 oder Automatisierung letzte Schritt der Entwicklung.

Autor: PLAZA GARCIA INMACULADA.
Jahr: 2004.
Universität: ZARAGOZA [www.unizar.es].
Ort der Lesung: E.U. DE INGE. TEC. INDUSTRIAL.
Ort der Vorbereitung: CENTRO POLITECNICO SUPERIOR.

Inhaltsangabe: Diese These zielt auf die Entwicklung eines generischen programmierbare SPS (PLC) - basierten Echtzeit-Betriebssystem (RTOS) unter Qualitätskriterien. In einer früheren Studie über die kommerzielle Produkte können sich einige Trends, wie das Streben nach Qualität und Standardisierung. Insbesondere die Hersteller auf die IEC 61131-3:2003 beschreiben Programmiersprachen solcher Geräte. Doch eine Studie zum Stand der Technik erlaubt es uns, Lücken in diesem Bereich. Insbesondere fehlt eine technische Beschreibung der Regel-oder Klärung von unklaren Punkten imprecisos-und ein freies Werkzeug für die Erstellung. Auf der anderen Seite arbeiten nach Qualitätskriterien erfordert nicht nur auf das Produkt, sondern auch Aspekte des Entwicklungsprozesses. Der Versuch, eine Antwort auf diese Bedürfnisse angesprochen wurde, ein Geschäftsbereich der Theorie in zwei große Blöcke: Block-Qualität: Sie untersucht die Zweckmäßigkeit der Einführung eines Systems des Qualitätsmanagements in der Gruppe der universitären F & E und Innovation in den, wer Für die Entwicklung der Diplomarbeit. Angesichts der positiven Resonanz, der sich mit unterschiedlichen Regelungen, eventuell Gestaltung eines Qualitäts-Management-System geeignet für diese Art von Organisation. Seine Anwesenheit in der Gruppe hat sich auch eine neue Linie der Arbeit, die wir haben "Qualität in der Bildung", zur Umsetzung der Konzepte gelernt, über die Qualität unserer Lehre. -- Block Modell Autómata: analysiert, die in der IEC oben unter Angabe mehrdeutig Punkte und Anregungen für Verbesserungen. Sobald geklärt theoretische Konzepte vor, eine Implementierung der Software-Modell IEC 61131-3 mit RTOS. Darüber hinaus stellt die Umsetzung einer Sprache Übersetzer Liste Briefs (einer dieser in der Regel) BC, der entwickelt wurde, unter den Richtlinien des Qualitäts-Management-System definiert, in den vorangegangenen Block. Das Modell wurde in den entwickelten PC-Plattform, die als Betriebssystem RTLinux. Wie wir hervorheben, dass Funktionen erweitert den potenziellen Anwender in Bezug auf die SPS-Geschäft. Auch die Ausführungszeiten sind vergleichbar mit denen von anderen SPS-basierte PC-Plattform, die sich auf dem Markt. Als zusätzliche Vorteile, wir werden feststellen, dass die Software entwickelt, begünstigt eine strukturierte Programmierung, so dass eine starke Daten eingeben und Kontrolle der Ausführung, bietet Unterstützung für strukturierte Daten und auch begünstigt eine Unabhängigkeit des Verkäufers. Diese Eigenschaften wurden in der Literatur als remarcadas Funktionen, die gezogen werden für die SPS-Software-Qualität. Schließlich ist zu beachten, dass das Tool entwickelt, unabhängige (keine Notwendigkeit zur Integration in andere Anwendungen, Software-Entwicklung), kann der Eintrag in der Datei editierbar mit einem beliebigen Texteditor, verwendet keine ausdrückliche Weisung von einem bestimmten Hersteller und ist vollständig basiert FOSS

Autor: GARRIDO MÁRQUEZ DANIEL.
Jahr: 2005.
Universität: MÁLAGA [www.uma.es].
Ort der Lesung: E.T.S.I. INFORMÁTICA.
Ort der Vorbereitung: E.T.S.I. INFORMÁTICA.

Inhaltsangabe: Die Arbeit der Diplomarbeit hat sich auf die Integration der drei Komponenten: Softwarekomponenten, Middleware und Analyse planificabilidad. Diese drei Elemente kombiniert damit für die Schaffung von verteilten Systemen in Echtzeit, dh verteilter Systeme berechenbaren und analysierender. Er hat ein Modell von Software Komponenten für Echtzeit. Dieses Modell überwindet die Unzulänglichkeiten der Norm Modelle von Komponenten. Die zwei wichtigsten Vorteile des Modells sind andere Ansätze, um ein abstraktes Modell SDL Komponente und die Verwendung von Anmerkungen für die Berechnung der schlimmsten Zeiten der Ausführung. Die Kombination dieser beiden Elemente wird verwendet, um die Unabhängigkeit Plattform. Der zweite Teil der Arbeit der Diplomarbeit hat sich über die Verteilung der Standard Komponenten auf einer Plattform für die Umsetzung vorhersehbar. Unter den vielen Möglichkeiten, es wurde beschlossen, die Verwendung RT - CORBA durch die vielen Vorteile, die dieser Middleware stellt für die Realisierung von Echtzeit verteilte Anwendungen. Das dritte Element ist die Schaffung einer Methodik für die Analyse von planificabilidad von Anwendungen auf der Grundlage dieses Modells und auf dieser Plattform die Kommunikation vorhersagbar. Schließlich ist eines der wichtigsten Ziele ist die Umsetzung in realen Systemen. Wir haben die Vorschläge in Prototyp Simulatoren Kernkraftwerke, die Überprüfung der Eignung solcher Vorschläge.

Autor: GUZMÁN DE LOS RISCOS EDUARDO.
Jahr: 2005.
Universität: MÁLAGA [www.uma.es].
Ort der Lesung: E.T.S.I INFORMÁTICA.
Ort der Vorbereitung: E.T.S.I. INFORMÁTICA.

Inhaltsangabe: Die Wächter Intelligente Systeme (ITS), sind Werkzeuge für den Unterricht, die Techniken der künstlichen Intelligenz, um die Schüler in den Prozess der Untersuchung. Sie verwenden ein Modell der Student, der, was er weiß und was sie nicht wissen, über die Domain beauftragt werden. Dieses Modell wird während der Untersuchung, und es ist wichtig, zu bestimmen, zu einem bestimmten Zeitpunkt, was getan werden soll. Die Struktur, das den Stand des Wissens der Lernenden ist das richtige Modell Schüler, die den Prozess der Argumentation, die Updates dieses Modells ist der so genannte Studenten Diagnose. Die Bedeutung einer genauen Diagnose und konsequente ist entscheidend für das reibungslose Funktionieren eines STI. Ein Test ist ein Werkzeug, das entworfen Bewertung zu folgern ein Maß für die Fähigkeiten der Probanden, die durch ihre Antworten auf eine Reihe von Fragen (oder Produkte). Innerhalb der Diagnose in der STI, die Tests haben sich zu einem beliebten dank der Leistungen ihrer Nutzung. Dies unterstreicht die Tatsache, dass sie anwendbar sind, die in größerem oder geringerem Maße in nahezu allen Bereichen. Allerdings ist die Art und Weise, in denen sie gebaut, wie es oft angewandt wird, die in der Regel falsch, oder zumindest etwas hart. Wie jedes andere Messgerät, muss es bestimmte Merkmale, durch die sie ihre Eignung überprüfen. Die Tests Adaptive Informatizados (TAI), die hinter eine solide theoretische Grundlage, die sicherstellt, dass die Gültigkeit, Zuverlässigkeit und Objektivität der Beurteilung erfolgt. Durch eine TAI ist das Ergebnis der Schätzung des Niveaus der Kenntnisse der Studenten. Sie benötigen weniger testen Fragen in Bezug auf die konventionellen Tests. Dies liegt daran, dass sich jede Frage nach dela schätzen, dass bisher geleistet hat, die Prüfung der Kenntnisse der Studenten. Die TAI basiert auf der Anwendung eines Algorithmus für die Evaluierung, die sich in erster Linie auf eine Theorie piscométrica namens Item Response Theory (TRI). Laut dieser, dass eine als Reaktion auf eine bestimmte Frage, ist im Zusammenhang mit dem Stand der Kenntnisse, die er besitzt. Diese Beziehung ist quantifiziert durch eine oder mehrere Funktionen, die Dichte Kennlinie. Trotz seiner Eignung für die Diagnose von Wissen, TAI eine Reihe von Nachteilen. Der erste ist, dass nur anbieten können als Folge, in jedem Test, eine einheitliche Beurteilung der Studenten Wissen. Außerdem, in diesen Tests, in denen sie beteiligt sind Fragen, über verschiedene Konzepte, die Auswahlkriterien oft auf heuristische, die Zweifel an der Gründlichkeit der Ergebnisse. Ein weiteres Problem der TAI ist, dass sie sehr teuer sind, in Bezug auf die Entwicklung. Bevor ein TAI funktioniert, ist es notwendig, kalibrieren Kurvenfahrt Merkmale jeder Frage. Im Allgemeinen ist das Verfahren, die für diesen Zweck sind sehr teuer, da sie zu haben, eine Probe Bevölkerung und Größe erheblich. Im Bereich der STI, gibt es verschiedene Vorschläge, unter denen die Nutzung der TAI, aber in der Regel nicht ordnungsgemäß die Funktionen und Vorteile, die sie anbieten können diagnostische Wissen. Modelle diagnostischen kognitive verfolgen ein ehrgeiziges Ziel, das TAI, wie sie versuchen, eine Reihe von Schlussfolgerungen modernste numerische schätzen, dass die bloße Kenntnis der Lernenden ist ein einzigartiges Konzept, das eine TAI. Die vorgeschlagene Lösung in dieser These beruht auf der Definition eines einheitlichen Reaktion auf der Grundlage der TRI und andere diagnostische kognitive, deren Auswertung Werkzeug sind TAI. Der Vorschlag enthält mehrere Funktionen, die Lösung der Probleme von TAI hinsichtlich der Diagnose in der STI. Also, das Modell r 8 espuesta 3f0 definiert bietet eine theoretische Grundlage für die Diagnose. Erlaubt kombinieren, in einem einzigen Test verschiedene Arten von Fragen, und enthält einen Algorithmus für die Kalibrierung von ihnen, speichern Sie die ursprünglichen Anforderungen, die diese Art von Algorithmen anzuwenden. Sowohl das Modell als Antwort die diagnostische umgesetzt wurde, in einem System Web SIETTE, die in der Lage ist, die als eine unabhängige Bewertung Werkzeug, oder als ein diagnostisches Modul innerhalb der Architektur eines STI, dank einem Satz, dass die Protokolle wurden für die Diesem Zweck.

Autor: BERJÓN GALLINAS ROBERTO.
Jahr: 2005.
Universität: DEUSTO [www.deusto.es].
Ort der Lesung: FACULTAD DE INGENIERIA.
Ort der Vorbereitung: FACULTAD DE INGENIERIA.

Inhaltsangabe: Aufgrund der Notwendigkeit für die Unternehmen, die nicht nur zum Austausch von Informationen untereinander, sondern auch zugänglich zu machen, wie viele Kunden wie möglich zu gestalten, zum Beispiel über das Web oder über mobile Endgeräte, ist es unbedingt notwendig, dass die Verschlüsselung von Informationen mit einer Reihe von Mustern. Auf der einen Seite, Kodifizierung muss kompatibel mit allen IT-Systeme, um ihre Lesbarkeit zu verbessern. Es muss auch überprüfbar sein, um sicherzustellen, dass die Struktur korrekt ist. Darüber hinaus sollte es kein Verlust, das ist die Bedeutung der Informationen. Schließlich, es muss leicht konvertiblen, um zu konvertieren in andere Formate. Alle diese Anforderungen haben ein XML-Standard für die Kodierung von Informationen, denn es erfüllt alle diese Anforderungen. Deshalb benötigen Unternehmen zunehmend, dass Ihre Daten in diesem Format. Dies ist der Grund, warum wir haben vor kurzem neue Modelle von Datenbanken ergänzen die XML-Dateien und traditionellen relationalen Datenbanken und erlauben die Speicherung von Informationen in XML-Grundlagen native XML und relationalen Datenbanken für die XML-enabled. Heute sind die Unternehmen mit ihren Informationen verteilt zwischen den verschiedenen heterogenen Quellen, die natürlich auch verwenden, um auf verschiedene Sprachen und sind in unterschiedlichen Formaten. All dies macht es sehr schwer, nicht nur die Informationen zu finden, aber die Akquisition im XML-Format. Es gibt zahlreiche Arbeiten und Studien, die vorschlagen, Lösungen für dieses Problem: die Suche und den Abruf von Informationen im XML-Format. Allerdings sind diese Bemühungen konzentrieren sich ausschließlich auf die Verarbeitung von XML-Daten mit Wohnsitz in relationalen Datenbanken. Wie bereits oben erwähnt, ist dies nicht genug. Benötigt Integration von Daten aus verschiedenen Quellen, wobei zu berücksichtigen ist, dass können verschiedene Arten. So besteht das Ziel dieser Arbeit ist genau dieses: die Integration von Informationen aus heterogenen Datenquellen via XML. Erreicht wird dies durch ein innovatives System, das die Konsultation der verschiedenen Arten von Informationsquellen mit der Muttersprache und den Erhalt der einzelnen finla die Ergebnisse im XML-Format. Darüber hinaus festgestellt, dass die Struktur der XML-Ergebnis vom Benutzer definiert und kann auch Daten aus anderen Quellen.

Autor: FERNÁNDEZ BERTOA MANUEL.
Jahr: 2005.
Universität: MÁLAGA [www.uma.es].
Ort der Lesung: E.T.S.I. INFORMÁTICA.
Ort der Vorbereitung: E.T.S.I. INFORMÁTICA.

Inhaltsangabe: Im vergangenen Jahrzehnt hat die erste echte Versuch, sich in die Entwicklung einer Software-Engineering mit den Konzepten der Software-Entwicklung Auf der Grundlage von Komponenten (DSBC) und Component COTS (Commercial Of-The-Shelf), deren Ziel es ist, eine hochwertige Gegenstände, die sie können Montiert werden, um ein funktionsfähiges System. Einer der kritischen Prozesse innerhalb der DSBC ist die Auswahl von Komponenten, die den Anforderungen an Funktionalität vom Benutzer definiert, wird Teil der abschließenden Software-Produkt. Allerdings gibt es einen Mangel an Qualität Modelle und Maßnahmen zur Unterstützung bei der Bewertung der Qualität von Software-Komponenten in dieser Auswahl. Diese Dissertation präsentiert eine Reihe von Maßnahmen für die Bewertung der Qualität ein Merkmal von Software-Komponenten, die Benutzerfreundlichkeit. Basierend auf einem Modell der Qualität für bestimmte Komponenten (COTS-QM) und die Studie über die Informationen, die von Anbietern von COTS-Komponenten, formal definiert eine Reihe von Maßnahmen, um die Benutzerfreundlichkeit der Software-Komponenten. Darüber hinaus führt die empirische Überprüfung dieser Maßnahmen durch die Entwicklung einer Familie, deren Experimente und Analyse-Prozess beschrieben wird in den Speicher. Als Endergebnis wird eine Reihe von Indikatoren für die Lesbarkeit, aprendibilidad und Bedienbarkeit der Software-Komponenten, die validiert und kann berechnet werden, in einer objektiven und automatisch durch eine Computer-Analyse der Dokumentation und Kontrolle von Software-Komponenten.

Autor: HERNÁNDEZ ACOSTA LUIS MIGUEL.
Jahr: 2005.
Universität: LAS PALMAS DE GRAN CANARIA [www.ulpgc.es].
Ort der Lesung: DEPARTAMENTO DE INGENIERÍA ELECTRÓNICA Y AUTOMÁTICA.
Ort der Vorbereitung: E.T.S. DE INGENIEROS DE TELECOMUNICACIÓN.

Inhaltsangabe: Die Entwicklung von wiederverwendbaren Komponenten, die miteinander verbunden werden können und ermöglicht die Entwicklung von verteilten Anwendungen. In dieser Arbeit gilt eine Methodik für die Automatisierung der Robuste Application Development und Genossenschaften (MADARC). Diese Methode ermöglicht den Bau von robusten Software von robusten Komponenten nicht verfügbar. Eine Voraussetzung für die Anwendung MADARC ist es, eine Kommunikations-Service, der versteht, Prozess-Gruppe. Obwohl wir verwenden können, JGroups zu implementieren MADARC, den Service bieten, dass geschlossene Gruppen beschränkt bestimmte Aspekte des Designs als strahlte Nachrichten erreichen alle Prozesse der Gruppe. Als Ergebnis ist eine Erhöhung der Kunden-Anwendung auf einem niedrigen Leistung der gleiche. In dieser Arbeit entwickelt eine Komponente, die mit JGroups, bietet eine offene Schnittstelle und reduziert die Anzahl der Nachrichten. Abgesehen von geschlossenen Gruppen, JGroups bietet keine Unterstützung für die Kommunikation Auf-1 oder NaM. Allerdings hat eine Gruppe von Prozessen kann verlangen, die Kommunikation mit anderen Prozessen oder Gruppen von Prozessen der Umsetzung. In dieser Arbeit wurden zwei Komponenten, die Unterstützung für die Kommunikation Na-1 und NaM mit JGroups. Die Passage des Staates ist eine wesentliche Voraussetzung für eine hohe Verfügbarkeit. In diesem Zusammenhang erfordert in der Regel Rekonfiguration von einer Gruppe von Prozessen, ohne Unterbrechung der Dienste. Es entwickelte sich eine Komponente verwendet JGroups, bietet Unterstützung für die Übertragung von kooperativen Staat. Das bedeutet, dass jedes Mitglied der Gruppe senden können Teil seines Staates, ein neues Mitglied. MADARC oben beschriebenen Komponenten und umgesetzt wurden und JDBC RMI zu entwickeln, eine Verlängerung dieser APls Java, die den Bau von robusten Anwendungen durch Ruhe. Die neue APls bieten die gleiche Schnittstelle, sondern bieten auch Unterstützung für die folgenden Features: Auf-1 und NaM, dynamische Einbindung neuer Server zu einer Gruppe von Servern und Sharing-Seite bei der Übertragung der Staat. Schließlich werden die neuen Komponenten entwickelt in dieser Arbeit wurde wieder zu schreiben, ein neues Modul für die Fehlererkennung. Dieses Modul wurde in den Stack von Protokollen JGroups als neue Ebene.

Autor: FERNANDEZ LANVIN DANIEL.
Jahr: 2006.
Universität: OVIEDO [www.uniovi.es].
Ort der Lesung: E.U. INGENIERIA TECNICA INFORMATICA.
Ort der Vorbereitung: DEPARTAMENTO DE INFORMATICA.

Inhaltsangabe: Dieses Papier beschreibt den Mechanismus, dass moderne objektorientierte Sprachen, die der Entwickler für die Wartung des Systems Konsistenz. Die Stärke der Software ist definiert als das Ausmaß, in dem ein System oder eine Komponente ordnungsgemäß funktionieren kann, in Anwesenheit von ungültige Einträge von Informationen oder Umweltbedingungen mit hohem Stress. Die Art und Weise zu behandeln oder verhindern, dass diese cisrcunstancias in objektorientierten Sprachen wird in der Regel über einen Mechanismus für die Behandlung von Ausnahmen. Die Behandlung von Ausnahmen ist ein wirksames Instrument für die Verwaltung der Fehler verursacht durch ein Problem im System, aber es gibt bestimmte Szenarien, in denen es ineffizient ist für die Verwertung ihrer Konsistenz. Dieses Papier führt eine Studie über die technischen und technologischen Ressourcen zur Aufrechterhaltung des bestehenden System in einem konsistenten Zustand vor dem Auftreten eines Fehlers, vor allem, wenn der Mechanismus für die Behandlung von Ausnahmen ist nicht genug für die Genesung. Auf der Grundlage der Schlussfolgerungen, die nach einer Prüfung, einen Vorschlag zur Verlängerung der Leitung von Semantik und Anmerkungen für die objektorientierte Sprachen beliebtesten. Die Erweiterung ergänzt die Behandlung von Ausnahmen, um zu verhindern, dass die Durchführung bestimmter Aufgaben automatisiert werden kann, spart Entwicklungsaufwand und die Reduzierung der Komplexität der Quelle. Um ihre Anwendbarkeit zu testen, das Tool wurde entwickelt, Pilot Ariadne, die Prozesse Source bereichert und, basierend auf den Noten, die mit Attributen und Methoden, die Code automatisch generiert, die für die Instanziierung und Management reconstructores, spezialisierte Komponenten für die Wiederherstellung der Kohärenz des Einen bestimmten Teil des Modells. Nach der Anwendung des Werkzeugs auf einer Reihe von Szenarien Modell wurde erwiesenen Vorteile der Lösung entworfen, die Öffnung aus der gleichen Anzahl von möglichen Linien der Arbeit mit der Verwertbarkeit vorgeschlagene Mechanismus zu ehrgeizigeren Abdeckung. Schließlich ist das Tool umgesetzt wurde, PREMOSGAMES, ein Simulationstool der höheren Pflanzen entwickelt, die im Rahmen eines Forschungsprojekts bestätigen die tatsächlichen deren Merkmale wie die Art der Anwendung Ziel reconstructores.

Autor: OCHOA CLAUDIO J. G..
Jahr: 2006.
Universität: POLITÉCNICA DE MADRID [www.upm.es].
Ort der Lesung: FACULTAD DE INFORMATICA.
Ort der Vorbereitung: FACLUTAD DE INFORMATICA.

Inhaltsangabe: Der wichtigste Beitrag dieser Dissertation ist die Entwicklung des Rating Teilweise Policontrolada, ein Roman Rahmenbedingungen für die Evaluierung von Programmen logischen Teil, der ist policontrolado in dem Sinne, dass ich war in der Lage zu berücksichtigen, legt Regeln für die globale und lokale Kontrolle, sondern beschäftigt Eine einzigartige Kombination von Standard-(wie es der Fall mit der traditionellen partielle Auswertung). Dieses Umfeld ist flexibler als die bestehenden Ansätze, wie sie erlaubt die Kontrolle difererentes Regeln zu unterschiedlichen lokalen und globalen Muster der Anruf. Somit ist es möglich, spezielle Programme, die sich nicht mit Hilfe der traditionellen Bewertung parcila. Dieses Umfeld ist sich bewusst, die Ressourcen in dem Sinne, dass jede der Lösungen, die durch die Auswertung teilweise policontrolada Wert mit Funktionen entsprechen. Dieses Umfeld Beurteilung policontrolada teilweise umgesetzt wurde und das System CiaoPP und bewertet zahlreiche Test-Programme. Die experimentellen Ergebnisse, die in vielen Fällen besser als die Spezialisierungen mittels traditionellen partielle Auswertung. Ein weiterer von den Beiträgen dieser Arbeit ist die Präsentation eines einheitlichen Vision für die Beseitigung der polivarianza überflüssig und die Bewertungen und die teilweise abstrakte mehrere Know-how, durch den Einsatz einer Schritt-Minimierung Gruppierung entspricht Versionen von Prädikaten.

Autor: SILVA GALIANA JOSEP FRANCESC.
Jahr: 2006.
Universität: POLITÉCNICA DE VALENCIA [www.upv.es].
Ort der Lesung: Dep. Sistemas Informaticos y Computacion..
Ort der Vorbereitung: Universidad Politécnica de Valencia.

Inhaltsangabe: Die Reinigungs-Programmen kann es sich um eine schwierige Aufgabe. Dies ist vor allem auf die Fehler kann auf den ersten Blick erkennbar, oder kann auch versteckt in den tieferen Bereichen und aus unseren Programmen versteckt. Jedoch überraschend, ist einer der Reinigungsprozesse-Software, wurde zuletzt durch die wissenschaftliche Gemeinschaft-in der Tat, die gleichen Techniken, die verwendet wurden, Reinigung vor zwanzig Jahren, auch weiterhin verwendet werden. Die Situation ist nicht anders als im Rahmen der deklarative Sprachen. Oder ist es noch schlimmer, weil diese Sprachen häufig zusätzliche Schwierigkeiten in der depurarlos, weil zum Beispiel die Bewertung Mechanismus faul. Diese Arbeit untersucht die derzeitigen Methoden für die Reinigung von deklarative Sprachen und der Entwicklung neuer Methoden und Techniken auf der Grundlage der Berechnung der Kosten, die Fragmentierung der algorithmischen Programme und Reinigung. Kurz gesagt, die wichtigsten Beiträge der Diplomarbeit sind: - Die Definition für ein System zur Berechnung der Kosten für die Programme, die funktionale Logik basiert auf der Verwendung von Kostenstellen und die Messung verschiedener Arten von Kosten symbolisch. Die Entwicklung einer neuen Technik der Fragmentierung Dynamik basiertes Programm redex Wanderwege, seine Anwendung auf die Reinigung und deren Anpassung für die Spezial-Programm deklarative Multi-paradigma modern. -- Die Einführung eines neuen Systems, das algorithmische Reinigung Reinigung algorithmische konventionellen fragmentiert. -- Die Definition von drei neuen algorithmischen Strategien für die Fehlersuche. -- Die Entwicklung einer vergleichenden Studie Techniken Fragmentierung und Klassifizierung von Programmen und Strategien für die Reinigung algorithmische.

Autor: BLANCO VEGA RICARDO.
Jahr: 2006.
Universität: POLITÉCNICA DE VALENCIA [www.upv.es].
Ort der Lesung: Dep. Sistemas Informaticos y Computacion.
Ort der Vorbereitung: Universidad Politécnica de Valencia.

Inhaltsangabe: Diese Dissertation befasst sich mit diesen Problemen durch die mimetische Methode, die sich als eine allgemeine Weise zu extrahieren eine Erklärung (in Form von Bäumen oder Entscheidung Systeme Regeln) von bestehenden Modells ohne Berücksichtigung eines internen Mechanismus der gleichen (dies ist die Prüfung einer Schwarzer Kasten). Die Technik kann als eine mimetische "wieder etwas mit Lernen", die Daten erzeugt, die Beschriftung durch die bestehenden Modell, gebraucht zu lernen, eine "neue" Modell, imitiert oder "imitiert" das Original. Erstens, theoretisch untersucht das Verhalten der Methode, die als Instrument mimetische Lernkurven, analysieren wir die Auswirkung der Nutzung oder nicht, die gemeinsame Ausbildung der ursprüngliche Modell, bekannt Szenarien, in denen die Technik von Vorteil ist, in Abhängigkeit von der Genauigkeit der mimetische Modell, etc. . .. Zweitens haben wir eine Pilot-Evaluierung der Technik mit Datensätzen aus dem Repository UCI und in der Erwägung, zwei Fällen insgesamt Studie: unter anderem, ob die ursprünglichen Datensatz. In diesem Pilot-Evaluierung untersuchen wir einige der Faktoren, die Einfluss auf die Methode, zum Beispiel die Höhe der Beschneidung, das Niveau des Vertrauens, der die Größe der Daten hergestellt, und so weiter. Sowie deren Einfluss. Das Ziel der Untersuchung dieser Faktoren zu finden, wurde eine Anpassung für sie um einen Kompromiss zwischen Genauigkeit und Verständlichkeit, die dazu beigetragen hat, "Verfahren" für die Anwendung der Methode mimetische in optimaler Weise. Drittens, und die meisten innovativen Beitrag die These, wir erweitert die Grenzen von Anwendungen mimetische die Kontextualisierung von Modellen. Kontextualisierung oder Anpassung notwendig ist, das Leben jedes Modell und zielt darauf ab, das Leben verlängern. Der Kontext-Switches lassen sich auf unterschiedliche Art und Weise, wie die Entstehung von neuen Daten, die vorher nicht vorhanden waren oder nicht wichtig, die Änderung im Format der Daten, wann sie erscheinen oder verschwinden oder Wertpapiere Klasse Attribute, Änderung der Kosten von Fehlern, Etc. .. Wobei als Grundlage der mimetischen Technik ist ein Lernprozess, in dieser Arbeit zeigen, dass eine computergestützte Lernen Technik kann als eine allgemeine Methode zur Überprüfung und Anpassung der Modelle, unabhängig davon, wie das Modell generiert wurde und unbenutzte Daten Original oder Verteilung der gleichen. De horizontal und mit der mündlichen Verhandlung über die Anwendungen erweitert wurde, in Bezug auf die früheren Arbeiten, die Verwendung der Methode mimetische verschiedenen Arten von Modellen "Black Box": multiclasificadores, neuronale Netze, naive bayes, menschliche Experten usw. Wir versuchten Zur Verbesserung der Technik für den Einsatz in Bereichen, in denen es notwendig ist, während die Verständlichkeit und gute precisión.Los unterschiedliche Ergebnisse und Beiträge der Diplomarbeit kann auf verschiedenen Gebieten: Data-Mining-, Reverse-Engineering (zB Als Modell bestehenden erhalten ein Modell, Imitiert das ehemalige, die die Merkmale unseres Interesses: eine größere Genauigkeit, eine bessere Verständlichkeit und eine Balance zwischen den beiden), die Überarbeitung und Aktualisierung der Modelle, den Erwerb und die Verwaltung der Kenntnisse, zur Erlangung von Wissen-Experten.