25 research outputs found
Towards a Self-Forensics Property in the ASSL Toolset
This preliminary conceptual work discusses a notion of self-forensics as an autonomic property to augment the Autonomic System Specification Language (ASSL) framework of formal specification tools for autonomic systems. The core of the proposed methodology leverages existing designs, theoretical results, and implementing systems to enable rapid completion of and validation of the experiments and their the results initiated in this work. Specifically, we leverage the ASSL toolkit to add the self-forensics autonomic property (SFAP) to enable generation of the Java-based Object-Oriented Intensional Programming (JOOIP) language code laced with traces of Forensic Lucid to encode contextual forensic evidence and other expressions
Hatékony rendszer-szintű hatásanalízis módszerek és alkalmazásuk a szoftverfejlesztés folyamatában = Efficient whole-system impact analysis methods with applications in software development
Szoftver hatásanalízis során a rendszer megváltoztatásának következményeit becsüljük, melynek fontos alkalmazásai vannak például a változtatás-propagálás, költségbecslés, szoftverminőség és tesztelés területén. A kutatás során olyan hatásanalízis módszereket dolgoztunk ki, melyek hatékonyan és sikeresen alkalmazhatók nagyméretű és heterogén architektúrájú, valós alkalmazások esetében is. A korábban rendelkezésre álló módszerek csak korlátozott méretben és környezetekben voltak képesek eredményt szolgáltatni. A meglévő statikus és dinamikus programszeletelés és függőség elemzési algoritmusok továbbfejlesztése mellett számos kapcsolódó területen értünk el eredményeket úgy, mint függőségek metrikákkal történő vizsgálata, fogalmi csatolás kutatása, minőségi modellek, hiba- és produktivitás előrejelzés. Ezen területeknek a módszerek gyakorlatban történő alkalmazásában van jelentősége. Speciális technológiákra koncentrálva újszerű eredmények születtek, például adatbázis rendszerek vagy alacsony szintű nyelvek esetében. A hatásanalízis módszerek alkalmazásai terén kidolgoztunk újszerű módszereket a tesztelés optimalizálása, teszt lefedettség mérés, -priorizálás és változás propagálás területeken. A kidolgozott módszerek alapját képezték további projekteknek, melyek során szoftvertermékeket is kiegészítettek módszereink alapján. | During software change impact analysis, we assess the consequences of changes made to a software system, which has important applications in, for instance, change propagation, cost estimation, software quality and testing. We developed impact analysis methods that can be effectively and efficiently used for large and heterogeneous real life applications as well. Previously available methods could provide results only in limited environments and for systems of limited size. Apart from the enhancements developed for the existing static and dynamic slicing and dependence analysis algorithms, we achieved results in different related areas such as investigation of dependences based on metrics, conceptual coupling, quality models and prediction of defects and productivity. These areas mostly support the application of the methods in practice. We have contributions in the fields of different special technologies, for instance, dependences in database systems or analysis of low level languages. Regarding the applications of impact analysis, we developed novel methods for test optimization, test coverage measurement and prioritization, and change propagation. The developed methods provided basis for further projects, also for extension of certain software products
Multi-Agent Systems and Complex Networks: Review and Applications in Systems Engineering
Systems engineering is an ubiquitous discipline of Engineering overlapping industrial, chemical, mechanical, manufacturing, control, software, electrical, and civil engineering. It provides tools for dealing with the complexity and dynamics related to the optimisation of physical, natural, and virtual systems management. This paper presents a review of how multi-agent systems and complex networks theory are brought together to address systems engineering and management problems. The review also encompasses current and future research directions both for theoretical fundamentals and applications in the industry. This is made by considering trends such as mesoscale, multiscale, and multilayer networks along with the state-of-art analysis on network dynamics and intelligent networks. Critical and smart infrastructure, manufacturing processes, and supply chain networks are instances of research topics for which this literature review is highly relevant
A Fragile Zero Watermarking Scheme to Detect and Characterize Malicious Modifications in Database Relations
We put forward a fragile zero watermarking scheme to detect and characterize malicious modifications made to a database relation. Most of the existing watermarking schemes for relational databases introduce intentional errors or permanent distortions as marks into the database original content. These distortions inevitably degrade the data quality and data usability as the integrity of a relational database is violated. Moreover, these fragile schemes can detect malicious data modifications but do not characterize the tempering attack, that is, the nature of tempering. The proposed fragile scheme is based on zero watermarking approach to detect malicious modifications made to a database relation. In zero watermarking, the watermark is generated (constructed) from the contents of the original data rather than introduction of permanent distortions as marks into the data. As a result, the proposed scheme is distortion-free; thus, it also resolves the inherent conflict between security and imperceptibility. The proposed scheme also characterizes the malicious data modifications to quantify the nature of tempering attacks. Experimental results show that even minor malicious modifications made to a database relation can be detected and characterized successfully
Methodik und Referenzarchitektur zur inkrementellen Verbesserung der Metaqualität einer vertragsgebundenen, heterogenen und verteilten Dienstausführung
Eine umfängliche Berücksichtigung der qualitativen Zusammensetzung von beschreibenden Artefakten im Internet der Dienste über dafür ausgelegte Dienstplattformen steigert die Erlebnisqualität für die Benutzer der angebotenen Dienstleistungen. In dieser Dissertation sind die existierenden Verfahren zur Erkennung, Propagierung und Verbesserung von Qualitatsmetriken in dienstorientierten Architekturen in Hinblick auf diese gesteigerten Anforderungen systematisch in Verfahren eingebunden. Die Arbeit liefert zwei wissenschaftliche Beiträge. Der erste ist beinhaltet ein Konzept für inkrementelle Qualiẗatsverbesserungen von Diensten durch Nutzung von Laufzeitmechanismen zur dynamischen Beschreibung und Bewertung nichtfunktionaler Eigenschaften. Der zweite liefert eine Definition eines abstrakten Zusammenspiels von Architekturmustern und Prozessen zur vertraglich abgesicherten Gewahrleistung von Dienstgüteeigenschaften in Dienstlandschaften in Form einer Referenzarchitektur.:1 Einleitung
1.1 Problemdefinition
1.2 Wissenschaftliche Beiträge der Dissertation
1.3 Aufbau der Arbeit
2 Grundlagen und Verwandte Arbeiten
2.1 Dienstbeschreibungen und Dienstnutzungsverträge
2.2 Qualitätsbezogene Prozesse in Dienstumgebungen
2.3 Klassifikation und Struktur von NFE
2.4 Dienst-, Datenqualität und Metaqualität
2.5 Dienstumgebungen
3 Methodik zur Qualitätsverbesserung
3.1 Inkrementelle Qualitätsverbesserung durch Abgleichverfahren
3.2 CPEM - Ein Modell für die Ausdrucksstärke von NFE
3.3 Metaqualität von Diensten
3.4 Verfahren zur inkrementellen Qualitätsverbesserung
3.5 Einbindung der Verfahren in IoS-Plattformen
4 Plattform für das Internet der Dienste
4.1 Konzeption der Architektur
4.2 Umsetzung der Plattformdienste und Komponenten
4.3 Integrierte Architektur und Derivate
4.4 Umsetzung und Integration der SMQ-Erweiterungen
5 Validierung von Methodik und Plattform
5.1 Anforderungen an die Validierung
5.2 Experimentierumfeld für die Validierung
5.3 Experimentelle Abläufe und Ergebnisse
5.4 Auswertung des Experiments
6 Zusammenfassung
A Ausgewählte Publikationen
B ExperimentierumgebungA holistic consideration of the qualitative composition of descriptive artefacts in the Internet of Services through specifically designed service platforms increases the quality of experience for the users of the offered services. In this dissertation, the existing methods for the recognition, propagation and improvement of quality metrics in service-oriented architectures are systematically included in methods related to these increased requirements. The work delivers two scientific contributions. The first one encompasses a concept for the incremental improvement of quality of services via the use of runtime mechanisms for the dynamic description and rating of non-functional properties. The second one carries a definition of an abstract interplay of architecture patterns and processes for the contractually safeguarded guarantee of quality of service properties in service ecosystems in the form of a reference architecture.:1 Einleitung
1.1 Problemdefinition
1.2 Wissenschaftliche Beiträge der Dissertation
1.3 Aufbau der Arbeit
2 Grundlagen und Verwandte Arbeiten
2.1 Dienstbeschreibungen und Dienstnutzungsverträge
2.2 Qualitätsbezogene Prozesse in Dienstumgebungen
2.3 Klassifikation und Struktur von NFE
2.4 Dienst-, Datenqualität und Metaqualität
2.5 Dienstumgebungen
3 Methodik zur Qualitätsverbesserung
3.1 Inkrementelle Qualitätsverbesserung durch Abgleichverfahren
3.2 CPEM - Ein Modell für die Ausdrucksstärke von NFE
3.3 Metaqualität von Diensten
3.4 Verfahren zur inkrementellen Qualitätsverbesserung
3.5 Einbindung der Verfahren in IoS-Plattformen
4 Plattform für das Internet der Dienste
4.1 Konzeption der Architektur
4.2 Umsetzung der Plattformdienste und Komponenten
4.3 Integrierte Architektur und Derivate
4.4 Umsetzung und Integration der SMQ-Erweiterungen
5 Validierung von Methodik und Plattform
5.1 Anforderungen an die Validierung
5.2 Experimentierumfeld für die Validierung
5.3 Experimentelle Abläufe und Ergebnisse
5.4 Auswertung des Experiments
6 Zusammenfassung
A Ausgewählte Publikationen
B Experimentierumgebun
Intensional Cyberforensics
This work focuses on the application of intensional logic to cyberforensic
analysis and its benefits and difficulties are compared with the
finite-state-automata approach. This work extends the use of the intensional
programming paradigm to the modeling and implementation of a cyberforensics
investigation process with backtracing of event reconstruction, in which
evidence is modeled by multidimensional hierarchical contexts, and proofs or
disproofs of claims are undertaken in an eductive manner of evaluation. This
approach is a practical, context-aware improvement over the finite state
automata (FSA) approach we have seen in previous work. As a base implementation
language model, we use in this approach a new dialect of the Lucid programming
language, called Forensic Lucid, and we focus on defining hierarchical contexts
based on intensional logic for the distributed evaluation of cyberforensic
expressions. We also augment the work with credibility factors surrounding
digital evidence and witness accounts, which have not been previously modeled.
The Forensic Lucid programming language, used for this intensional
cyberforensic analysis, formally presented through its syntax and operational
semantics. In large part, the language is based on its predecessor and
codecessor Lucid dialects, such as GIPL, Indexical Lucid, Lucx, Objective
Lucid, and JOOIP bound by the underlying intensional programming paradigm.Comment: 412 pages, 94 figures, 18 tables, 19 algorithms and listings; PhD
thesis; v2 corrects some typos and refs; also available on Spectrum at
http://spectrum.library.concordia.ca/977460
Automatic generation of user interfaces from rigorous domain and use case models
Tese de doutoramento. Engenharia Informática. Faculdade de Engenharia. Universidade do Porto. 201
P2P and SOA architecture for digital libraries
Doutoramento em Engenharia InformáticaIn an information-driven society where the volume and value of produced and
consumed data assumes a growing importance, the role of digital libraries
gains particular importance. This work analyzes the limitations in current digital
library management systems and the opportunities brought by recent
distributed computing models.
The result of this work is the implementation of the University of Aveiro
integrated system for digital libraries and archives. It concludes by analyzing
the system in production and proposing a new service oriented digital library
architecture supported in a peer-to-peer infrastructureNuma sociedade em que o volume e o valor da informação produzida e
disseminada tem um peso cada vez maior, o papel das bibliotecas digitais
assume especial relevo. O presente trabalho analisa as limitações dos actuais
sistemas de gestão de bibliotecas digitais e as oportunidades criadas pelos
mais recentes modelos de computação distribuída.
Deste trabalho resultou a implementação do sistema integrado para bibliotecas
e arquivos digitais da Universidade de Aveiro. Este trabalho finaliza
debruçando-se sobre o sistema em produção e propondo uma nova
arquitectura de biblioteca digital sustentada numa infrastrutura peer-to-peer e
orientada a serviços