A Statically Typed Logic Context Query Language With Parametric Polymorphism and Subtyping
A Statically Typed Logic Context Query Language With Parametric Polymorphism and Subtyping
dc.contributor.advisor | Cremers, Armin B. | |
dc.contributor.author | Rho, Tobias | |
dc.date.accessioned | 2020-04-17T23:40:24Z | |
dc.date.available | 2020-04-17T23:40:24Z | |
dc.date.issued | 18.07.2012 | |
dc.identifier.uri | https://hdl.handle.net/20.500.11811/5343 | |
dc.description.abstract | The objective of this thesis is programming language support for context-sensitive program adaptations. Driven by the requirements for context-aware adaptation languages, a statically typed Object-oriented logic Context Query Language (OCQL) was developed, which is suitable for integration with adaptation languages based on the Java type system. The ambient information considered in context-aware applications often originates from several, potentially distributed sources. OCQL employs the Semantic Web-language RDF Schema to structure and combine distributed context information. OCQL offers parametric polymorphism, subtyping, and a fixed set of meta-predicates. Its type system is based on mode analysis and a subset of Java Generics. For this reason a mode-inference approach for normal logic programs that considers variable aliasing and sharing was extended to cover all-solution predicates. OCQL is complemented by a service-oriented context-management infrastructure that supports the integration of OCQL with runtime adaptation approaches. The applicability of the language and its infrastructure were demonstrated with the context-aware aspect language CSLogicAJ. CSLogicAJ aspects encapsulate context-aware behavior and define in which contextual situation and program execution state the behavior is woven into the running program. The thesis concludes with a case study analyzing how runtime adaptation of mobile applications can be supported by pure object-, service- and context-aware aspect-orientation. Our study has shown that CSLogicAJ can improve the modularization of context-aware applications and reduce anticipation of runtime adaptations when compared to other approaches. | en |
dc.language.iso | eng | |
dc.rights | In Copyright | |
dc.rights.uri | http://rightsstatements.org/vocab/InC/1.0/ | |
dc.subject | Kontextanfragesprache | |
dc.subject | Modusanalyse | |
dc.subject | Semantic Web | |
dc.subject | Aspektorientierte Programmierung | |
dc.subject | Laufzeitadaption | |
dc.subject | statische Typsicherheit | |
dc.subject | Context Query Language | |
dc.subject | Mode Analysis | |
dc.subject | Aspect-Oriented Programming | |
dc.subject | Runtime Adaptation | |
dc.subject | Static Type Safety | |
dc.subject.ddc | 004 Informatik | |
dc.title | A Statically Typed Logic Context Query Language With Parametric Polymorphism and Subtyping | |
dc.type | Dissertation oder Habilitation | |
dc.publisher.name | Universitäts- und Landesbibliothek Bonn | |
dc.publisher.location | Bonn | |
dc.rights.accessRights | openAccess | |
dc.identifier.urn | https://nbn-resolving.org/urn:nbn:de:hbz:5n-29177 | |
ulbbn.pubtype | Erstveröffentlichung | |
ulbbnediss.affiliation.name | Rheinische Friedrich-Wilhelms-Universität Bonn | |
ulbbnediss.affiliation.location | Bonn | |
ulbbnediss.thesis.level | Dissertation | |
ulbbnediss.dissID | 2917 | |
ulbbnediss.date.accepted | 30.04.2012 | |
ulbbnediss.fakultaet | Mathematisch-Naturwissenschaftliche Fakultät | |
dc.contributor.coReferee | Hirschfeld, Robert |
Files in this item
This item appears in the following Collection(s)
-
E-Dissertationen (4166)