Thema der Dissertation sind Nominalphrasen im Deutschen und Spanischen. Die Dissertation ist in 5 Abschnitte unterteilt. Das erste Kapitel gibt die Motivation der Arbeit, und im letzten Kapitel werden die Ergebnisse zusammengefasst und mögliche Erweiterungen diskutiert. Im zweiten Kapitel wird eine Einführung in den theoretischen Rahmen, die Head-Driven Phrase Structure Grammar (HPSG), gegeben und mit generativen Ansätzen verglichen. Dabei werden die Grundlagen und die Beschreibungsmechanismen der Theorie erklärt. HPSG ist ein oberflächenorientiertes, deklaratives, beschränkungsbasiertes Framework. Im dritten Kapitel werden vier zentrale syntaktische Begriffe besprochen und diskutiert: Kopf, Argument, Adjunkt und Spezifikator. Trotz ihrer Relevanz in der linguistischen Literatur werden diese vier Relationen verschieden interpretiert. Bei der Diskussion dieser syntaktischen Hauptrelationen werden die entsprechenden HPSG Mechanismen erklärt, mit denen sie beschrieben werden, u.a. das Semantik-Prinzip und das Kopfmerkmalsprinzip. Das vierte Kapitel der Dissertation beinhaltet Analysen für drei verschiedene Phänomene der NPs im Deutschen und Spanischen: Kasusmarkierung, optionale Argumente und pränominale Argumente. Deutsch und Spanisch unterscheiden sich in der Art und Weise, wie sie Kasus an ihren NPs markieren. Deutsch markiert sie morphologisch und Spanisch syntaktisch. Beide Arten der Markierung werden modelliert und verglichen. In Bezug auf die Optionalität von Argumenten wird zunächst die verbale Domäne betrachtet. Anhand dieser Analyse wird dann die nominale Domäne modelliert. Im letzten Teil wird eine Analyse für die pränominalen Argumente gegeben. Dabei werden folgende Aspekte betrachtet: Kombinatorik verschiedener Argumente, Theta-Rollenvergabe für die Argumente, Fakultativität der Argumente und Behandlung der (In-)Definitheit bei pränominalen Genitiven. / The topic of this dissertation are noun phrases in German and Spanish. This thesis is divided into five chapters. The first chapter presents the motivation of the work, and in the last chapter a summary is presented and discussed. In the second chapter, I give an introduction into the theoretical framework, Head-Driven Phase Structure Grammar (HPSG) by explaining its fundamental mechanisms, and compare it to generative approaches. HPSG is a surface oriented, declarative, constraint-based framework. In the third chapter, four central syntactic concepts are critically discussed: head, argument, adjunct, and specifier. Although these four concepts are highly relevant in the linguistic literature, they are often interpreted differently. While discussing these fours syntactic relations, I explain the main mechanisms of HPSG to describe them, e.g. the Semantic Principle and the Head Feature Principle. The fourth chapter contains analyses for three different NP phenomena in German and Spanish: case marking, optionality of arguments, and prenominal arguments. German and Spanish differ in the way they mark case on their NPs. German case-marks NPs morphologically, while case marking in Spanish is syntactic. Both types of marking are modelled and compared. Regarding argument optionality, I first look at the verbal domain and use this analysis to model optionality in the nominal domain. The last part of this chapter gives an analysis of prenominal arguments. The following aspects are considered: combinatory of a head noun with different arguments, theta role assignment for the arguments of a nominal head, optionality of arguments and treatment of (in-)definiteness in prenominal genitives.

In dieser Arbeit untersuche ich aus einer typologischen Perspektive die Bedeutung von Tempus, Modalität und Aspekt (TMA) in Nafsan (South Efate), einer ozeanischen Sprache Vanuatus. Ich konzentriere mich auf die Bedeutung des perfektiven Aspekts und der Realis/Irrealis-Modalität in Nafsan und anderen ozeanischen Sprachen, als Fallstudien zur Untersuchung der sprach-übergreifenden Merkmale dieser TMA-Kategorien. Um ihre Bedeutungen in Nafsan zu analysieren, untersuche ich die Grammatik von Nafsan (Thieberger, 2006) und den Korpus von Thieberger (1995–2018), gefolgt von meiner Feldarbeit (Krajinovic, 2017b). Meine Analysen zeigen, dass Perfekt in Nafsan alle Funktionen hat, die für das Perfekt im Englischen typisch sind, mit Ausnahme der zusätzlichen Bedeutung von Zustandsänderungen. Die Verwendung des Nafsan-Perfekts liefert einen Beitrag zu der Debatte über die sprachübergreifende Gültigkeit von Iamitive, definiert durch die Bedeutung von Zustandsänderungen (Olsson, 2013). Basierend auf den Daten aus Nafsan und anderen ozeanischen Sprachen zeige ich, dass die von Klein (1994) vorgeschlagene semantische Definition des Perfekts ausreichend ist, um zusätzliche Funktionen des Perfekts zu berücksichtigen, ohne eine neue Iamitive-Kategorie zu etablieren. Was die Unterscheidung zwischen Realis und Irrealis betrifft, so habe ich festgestellt, dass die Kategorie Realis in Nafsan semantisch unterbewertet ist, wie sie in Irrealis-Kontexten auftreten kann, die mit der Bedeutung von Realis unvereinbar sein sollten. Ich schlage vor, dass “Realis” gelegentlich Realis-Bedeutungen durch pragmatischen Wettbewerb mit Irrealis erhaltet. Indem ich das “branching-times’’ Modell annehme, das den Ausdruck von Modalität und zeitlichem Bezug vereint (Prince, 2018), zeige ich, dass Nafsan und mehrere andere ozeanische Sprachen Beweise dafür liefern, dass Irrealis als Modalitätskategorie, die sich auf nicht-aktuelle Welten bezieht, eine semantisch sinnvolle Kategorie ist. / In this thesis I study the meaning of tense, mood, and aspect (TMA) expressions in Nafsan (South Efate), an Oceanic language of Vanuatu, from a typological perspective. I focus on the meanings of the perfect aspect and realis/irrealis mood in Nafsan and other Oceanic languages, as case studies for investigating the cross-linguistic features of these TMA categories, frequently disputed in the literature. In order to analyze their meanings in Nafsan, I studied the Nafsan grammar (Thieberger, 2006) and corpus by Thieberger (1995–2018), followed by storyboard and questionnaire elicitation in my fieldwork (Krajinovic, 2017b). I found that the Nafsan perfect has all the functions considered to be typical of the English-style perfect, except for the additional meaning of change of state. I place the analysis of the Nafsan perfect in the debate about the cross-linguistic validity of the newly proposed category of iamitives, defined by the meaning of change of state akin to `already' and lacking experiential and universal perfect functions (Olsson, 2013). Based on the data from Nafsan and other Oceanic languages, I show that, when language-internal processes are considered, the semantic definition of perfect proposed by Klein (1994) is sufficient to account for additional perfect functions, without the need to posit the new iamitive category. Regarding the realis/irrealis distinction, I have found that the “realis” category is semantically underspecified in Nafsan, as it can occur in irrealis contexts that should be incompatible with realis meanings. I propose that “realis” in Nafsan only occasionally receives realis meanings through pragmatic competition with the irrealis category. By adopting a branching-times model that unites the expression of modality and temporal reference (Prince, 2018), I also show that Nafsan and several other Oceanic languages provide evidence that irrealis as a mood category referring to non-actual worlds is a semantically meaningful category.

This study investigated the terms used by drummers and audio engineers to describe the recorded drum kit and the processing applied to it. The main method consisted of semi-structured interviews with six professionals in the fields of drumming and audio engineering. The participants were asked to describe five musical samples of different drum kit mixes containing kick, snare and hi-hat sounds. Their descriptions along with explanations of their communication tactics were compared, resulting in explanations of fourteen semantic descriptors. The comparison of their use of the terms in the context of the samples revealed some differences depending on their professional backgrounds. The results suggested that, while audio engineers have a larger semantic lexicon in regards to the recorded drum kit, the differences in the definitions of terms had a larger degree of variation between individuals than between the respective professions.

Building Information Modelling (BIM) as a Model-based design facilitates to investigate multiple solutions in the infrastructure planning process. The most important reason for implementing model-based design is to help designers and to increase communication between different design parties. It decentralizes and coordinates team collaboration and facilitates faster and lossless project data exchange and management across extended teams and external partners in project lifecycle. Infrastructure are fundamental facilities, services, and installations needed for the functioning of a community or society, such as transportation, roads, communication systems, water and power networks, as well as power plants. Geospatial Information Systems (GIS) as the digital representation of the world are systems for maintaining, managing, modelling, analyzing, and visualizing of the world data including infrastructure. High level infrastructure suits mostly facilitate to analyze the infrastructure design based on the international or user defined standards. Called regulation1-based design, this minimizes errors, reduces costly design conflicts, increases time savings and provides consistent project quality, yet mostly in standalone solutions. Tasks of infrastructure usually require both model based and regulation based design packages. Infrastructure tasks deal with cross-domain information. However, the corresponding data is split in several domain models. Besides infrastructure projects demand a lot of decision makings on governmental as well as on private level considering different data models. Therefore lossless flow of project data as well as documents like regulations across project team, stakeholders, governmental and private level is highly important. Yet infrastructure projects have largely been absent from product modelling discourses for a long time. Thus, as will be explained in chapter 2 interoperability is needed in infrastructure processes. Multimodel (MM) is one of the interoperability methods which enable heterogeneous data models from various domains get bundled together into a container keeping their original format. Existing interoperability methods including existing MM solutions can’t satisfactorily fulfill the typical demands of infrastructure information processes like dynamic data resources and a huge amount of inter model relations. Therefore chapter 3 concept of infrastructure information modelling investigates a method for loose and rule based coupling of exchangeable heterogeneous information spaces. This hypothesis is an extension for the existing MM to a rule-based Multimodel named extended Multimodel (eMM) with semantic rules – instead of static links. The semantic rules will be used to describe relations between data elements of various models dynamically in a link-database. Most of the confusion about geospatial data models arises from their diversity. In some of these data models spatial IDs are the basic identities of entities and in some other data models there are no IDs. That is why in the geospatial data, data structure is more important than data models. There are always spatial indexes that enable accessing to the geodata. The most important unification of data models involved in infrastructure projects is the spatiality. Explained in chapter 4 the method of infrastructure information modelling for interoperation in spatial domains generate interlinks through spatial identity of entities. Match finding through spatial links enables any kind of data models sharing spatial property get interlinked. Through such spatial links each entity receives the spatial information from other data models which is related to the target entity due to sharing equivalent spatial index. This information will be the virtual properties for the object. The thesis uses Nearest Neighborhood algorithm for spatial match finding and performs filtering and refining approaches. For the abstraction of the spatial matching results hierarchical filtering techniques are used for refining the virtual properties. These approaches focus on two main application areas which are product model and Level of Detail (LoD). For the eMM suggested in this thesis a rule based interoperability method between arbitrary data models of spatial domain has been developed. The implementation of this method enables transaction of data in spatial domains run loss less. The system architecture and the implementation which has been applied on the case study of this thesis namely infrastructure and geospatial data models are described in chapter 5. Achieving afore mentioned aims results in reducing the whole project lifecycle costs, increasing reliability of the comprehensive fundamental information, and consequently in independent, cost-effective, aesthetically pleasing, and environmentally sensitive infrastructure design.:ABSTRACT 4 KEYWORDS 7 TABLE OF CONTENT 8 LIST OF FIGURES 9 LIST OF TABLES 11 LIST OF ABBREVIATION 12 INTRODUCTION 13 1.1. A GENERAL VIEW 14 1.2. PROBLEM STATEMENT 15 1.3. OBJECTIVES 17 1.4. APPROACH 18 1.5. STRUCTURE OF THESIS 18 INTEROPERABILITY IN INFRASTRUCTURE ENGINEERING 20 2.1. STATE OF INTEROPERABILITY 21 2.1.1. Interoperability of GIS and BIM 23 2.1.2. Interoperability of GIS and Infrastructure 25 2.2. MAIN CHALLENGES AND RELATED WORK 27 2.3. INFRASTRUCTURE MODELING IN GEOSPATIAL CONTEXT 29 2.3.1. LamdXML: Infrastructure Data Standards 32 2.3.2. CityGML: Geospatial Data Standards 33 2.3.3. LandXML and CityGML 36 2.4. INTEROPERABILITY AND MULTIMODEL TECHNOLOGY 39 2.5. LIMITATIONS OF EXISTING APPROACHES 41 INFRASTRUCTURE INFORMATION MODELLING 44 3.1. MULTI MODEL FOR GEOSPATIAL AND INFRASTRUCTURE DATA MODELS 45 3.2. LINKING APPROACH, QUERYING AND FILTERING 48 3.2.1. Virtual Properties via Link Model 49 3.3. MULTI MODEL AS AN INTERDISCIPLINARY METHOD 52 3.4. USING LEVEL OF DETAIL (LOD) FOR FILTERING 53 SPATIAL MODELLING AND PROCESSING 58 4.1. SPATIAL IDENTIFIERS 59 4.1.1. Spatial Indexes 60 4.1.2. Tree-Based Spatial Indexes 61 4.2. NEAREST NEIGHBORHOOD AS A BASIC LINK METHOD 63 4.3. HIERARCHICAL FILTERING 70 4.4. OTHER FUNCTIONAL LINK METHODS 75 4.5. ADVANCES AND LIMITATIONS OF FUNCTIONAL LINK METHODS 76 IMPLEMENTATION OF THE PROPOSED IIM METHOD 77 5.1. IMPLEMENTATION 78 5.2. CASE STUDY 83 CONCLUSION 89 6.1. SUMMERY 90 6.2. DISCUSSION OF RESULTS 92 6.3. FUTURE WORK 93 BIBLIOGRAPHY 94 7.1. BOOKS AND PAPERS 95 7.2. WEBSITES 101

While semantic web data is machine-understandable and well suited for advanced filtering, in its raw representation it is not conveniently understandable to humans. Therefore, visualization is needed. A core challenge when visualizing the structured but heterogeneous data turned out to be a flexible mapping to Visual Variables. This work deals with a highly flexible, semi-automatic solution with a maximum support of the visualization process, reducing the mapping possibilities to a useful subset. The basis for this is knowledge, concerning metrics and structure of the data on the one hand and available visualization structures, platforms and common graphical facts on the other hand — provided by a novel basic visualization ontology. A declarative, platform-independent mapping vocabulary and a framework was developed, utilizing current standards from the semantic web and the Model-Driven Architecture (MDA). / Während Semantic-Web-Daten maschinenverstehbar und hervorragend filterbar sind, sind sie — in ihrer Rohform — nicht leicht von Menschen verstehbar. Eine Visualisierung der Daten ist deshalb notwendig. Die Kernherausforderung dabei ist eine flexible Abbildung der strukturierten aber heterogenen Daten auf Visuelle Variablen. Diese Arbeit beschreibt eine hochflexible halbautomatische Lösung bei maximaler Unterstützung des Visualisierungsprozesses, welcher die Abbildungsmöglichkeiten, aus denen der Nutzer zu wählen hat, auf eine sinnvolle Teilmenge reduziert. Die Grundlage dafür sind einerseits Metriken und das Wissen über die Struktur der Daten und andererseits das Wissen über verfügbare Visualisierungsstrukturen, -plattformen und bekannte grafische Fakten, welche durch eine neuentwickelte Visualisierungsontologie bereitgestellt werden. Basierend auf Standards des Semantic Webs und der Model-getriebenen Architektur, wurde desweiteren ein deklaratives, plattformunabhängiges Visualisierungsvokabular und -framework entwickelt.

This thesis synthezises theories from intermedia studies, semiotics, Gestalt psychology, cognitive linguistics, cognitive psychology, cognitive poetics, reader response criticism, narratology and possible worlds-theories adjusted to literary studies. The aim is to provide a transdisciplinary explanatory model of the transaction between text and reader during the reading process resulting in the reader experiencing a mental, virtual world. Departing from Mitchells statement that all media are mixed media, this thesis points to Peirce’s tricotomies of different types of signs and to the relation between representamen (sign), object and interpretant, which states that the interpretant can be developed into a more complex sign, for example from a symbolic to an iconic sign. This is explained in cognitive science by the fact that our perceptions are multimodal. We can easily connect sounds and symbolic signs to images. Our brain is highly active in finding structures and patterns, matching them with structures already stored in memory. Cognitive semantics holds that such structures and schematic mental images form the basis for our understanding of concepts. In cognitive linguistics Lakoff and Johnsons theories of conceptual metaphors show that our bodily experiences are fundamental in thought and language, and that abstract thought is concretized by a metaphorical system grounded in our bodily, spatial experiences. Cognitive science has shown that we build situation models based on what the text describes. These mental models are simultaneously influenced by the reader’s personal world knowledge and earlier experiences. Reader response-theorists emphasize the number of gaps that a text leaves to the reader to fill in, using scripts. Eye tracking research reveals that people use mental imaging both when they are re-describing a previously seen picture and when their re-description is based purely on verbal information about a picture. Mental spaces are small conceptual packets constructed as we think and talk. A story is built up by a large number of such spaces and the viewpoint and focus changes constantly. There are numerous possible combinations and relations of mental spaces. For the reader it is important to separate them as well as to connect them. Mental spaces can also be blended. In their integration network model Fauconnier and Turner describe four types of blending, where the structures of the input spaces are blended in different ways. A similar act of separation and fusion is needed dealing with different diegetic levels and focalizations, the question of who tells and who sees in the text. Ryan uses possible worlds-theories from modal logic to describe fictional worlds as both possible and parallel worlds. While fictional worlds are comparable to possible worlds if seen as mental constructions created within our actual world, they must also be treated as parallel worlds, with their own actual, reference world from which their own logic stems. As readers we must recenter ourselves into this fictional world to be able to deal with states of affairs that are logically impossible in our own actual world. The principle of minimal departure states that during our recentering, we only make the adjustments necessary due to explicit statements in the text.

While semantic web data is machine-understandable and well suited for advanced filtering, in its raw representation it is not conveniently understandable to humans. Therefore, visualization is needed. A core challenge when visualizing the structured but heterogeneous data turned out to be a flexible mapping to Visual Variables. This work deals with a highly flexible, semi-automatic solution with a maximum support of the visualization process, reducing the mapping possibilities to a useful subset. The basis for this is knowledge, concerning metrics and structure of the data on the one hand and available visualization structures, platforms and common graphical facts on the other hand — provided by a novel basic visualization ontology. A declarative, platform-independent mapping vocabulary and a framework was developed, utilizing current standards from the semantic web and the Model-Driven Architecture (MDA).:ABSTRACT S. x 1. INTRODUCTION S. 1 2. VISUALIZATION OF STRUCTURED DATA IN GENERAL S. 4 2.1. Global and Local Interfaces S. 4 2.2. Steps of the Visualization Process S. 4 2.3. Existing Visual Selection Mechanisms S. 6 2.4. Existing Visualizations of Structured Data S. 12 2.5. Categorizing SemVis S. 25 3. REQUIREMENTS FOR A FLEXIBLE VISUALIZATION S. 27 3.1. Actors S. 27 3.2. Use Cases S. 27 4. FRESNEL, A STANDARD DISPLAY VOCABULARY FOR RDF S. 31 4.1. Fresnel Lenses S. 31 4.2. Fresnel Formats S. 33 4.3. Fresnel Groups S. 33 4.4. Primaries (Starting Points) S. 33 4.5. Selectors and Inference S. 34 4.6. Application and Reusability S. 34 4.7. Implementation S. 35 5. A VISUALIZATION ONTOLOGY S. 37 5.1. Describing and Formalizing the Field of Visualization S. 37 5.2. Overview S. 37 5.3. VisualVariable S. 38 5.4. DiscreteVisualValue S. 39 5.5. VisualElement S. 41 5.6. VisualizationStructure S. 42 5.7. VisualizationPlatform S. 42 5.8. PresentationScenario S. 43 5.9. Facts S. 44 6. A NOVEL MAPPING VOCABULARY FOR SEMANTIC VISUALIZATION S. 45 6.1. Overview S. 45 6.2. Mapping S. 46 6.3. PropertyMapping S. 47 6.4. ImplicitMapping S. 48 6.5. ExplicitMapping S. 53 6.6. MixedMapping S. 54 6.7. ComplexMapping S. 55 6.8. Inference S. 58 6.9. Explicit Display of Relations S. 58 6.10. Limitations s. 59 7. A MODEL-DRIVEN ARCHITECTURE FOR FLEXIBLE VISUALIZATION S. 60 7.1. A Model-Driven Architecture S. 61 7.2. Applications of the MDA Pattern S. 62 7.3. Complete System Overview S. 71 7.4. Additional Knowledge of the System S. 72 7.5. Comparison to the Graphical Modelling Framework — GMF S. 77 8. VISUALIZATION PLATFORMS S. 80 8.1. Extensible 3D (X3D) S. 80 8.2. Scalable Vector Graphics (SVG) S. 81 8.3. XHTML + CSS S. 82 8.4. Text S. 82 9. OUTLOOK AND CONCLUSION S. 84 9.1. Advanced Mapping Vocabulary S. 84 9.2. Reusing Standardized Ontologies S. 84 9.3. Enabling Dynamic, Interaction and Animation S. 84 9.4. Implementation and Evaluation S. 85 9.5. Conclusion S. 85 GLOSSARY S. 86 BIBLIOGRAPHY S. 87 A. S. 90 A.1. Schemata S. 90 / Während Semantic-Web-Daten maschinenverstehbar und hervorragend filterbar sind, sind sie — in ihrer Rohform — nicht leicht von Menschen verstehbar. Eine Visualisierung der Daten ist deshalb notwendig. Die Kernherausforderung dabei ist eine flexible Abbildung der strukturierten aber heterogenen Daten auf Visuelle Variablen. Diese Arbeit beschreibt eine hochflexible halbautomatische Lösung bei maximaler Unterstützung des Visualisierungsprozesses, welcher die Abbildungsmöglichkeiten, aus denen der Nutzer zu wählen hat, auf eine sinnvolle Teilmenge reduziert. Die Grundlage dafür sind einerseits Metriken und das Wissen über die Struktur der Daten und andererseits das Wissen über verfügbare Visualisierungsstrukturen, -plattformen und bekannte grafische Fakten, welche durch eine neuentwickelte Visualisierungsontologie bereitgestellt werden. Basierend auf Standards des Semantic Webs und der Model-getriebenen Architektur, wurde desweiteren ein deklaratives, plattformunabhängiges Visualisierungsvokabular und -framework entwickelt.:ABSTRACT S. x 1. INTRODUCTION S. 1 2. VISUALIZATION OF STRUCTURED DATA IN GENERAL S. 4 2.1. Global and Local Interfaces S. 4 2.2. Steps of the Visualization Process S. 4 2.3. Existing Visual Selection Mechanisms S. 6 2.4. Existing Visualizations of Structured Data S. 12 2.5. Categorizing SemVis S. 25 3. REQUIREMENTS FOR A FLEXIBLE VISUALIZATION S. 27 3.1. Actors S. 27 3.2. Use Cases S. 27 4. FRESNEL, A STANDARD DISPLAY VOCABULARY FOR RDF S. 31 4.1. Fresnel Lenses S. 31 4.2. Fresnel Formats S. 33 4.3. Fresnel Groups S. 33 4.4. Primaries (Starting Points) S. 33 4.5. Selectors and Inference S. 34 4.6. Application and Reusability S. 34 4.7. Implementation S. 35 5. A VISUALIZATION ONTOLOGY S. 37 5.1. Describing and Formalizing the Field of Visualization S. 37 5.2. Overview S. 37 5.3. VisualVariable S. 38 5.4. DiscreteVisualValue S. 39 5.5. VisualElement S. 41 5.6. VisualizationStructure S. 42 5.7. VisualizationPlatform S. 42 5.8. PresentationScenario S. 43 5.9. Facts S. 44 6. A NOVEL MAPPING VOCABULARY FOR SEMANTIC VISUALIZATION S. 45 6.1. Overview S. 45 6.2. Mapping S. 46 6.3. PropertyMapping S. 47 6.4. ImplicitMapping S. 48 6.5. ExplicitMapping S. 53 6.6. MixedMapping S. 54 6.7. ComplexMapping S. 55 6.8. Inference S. 58 6.9. Explicit Display of Relations S. 58 6.10. Limitations s. 59 7. A MODEL-DRIVEN ARCHITECTURE FOR FLEXIBLE VISUALIZATION S. 60 7.1. A Model-Driven Architecture S. 61 7.2. Applications of the MDA Pattern S. 62 7.3. Complete System Overview S. 71 7.4. Additional Knowledge of the System S. 72 7.5. Comparison to the Graphical Modelling Framework — GMF S. 77 8. VISUALIZATION PLATFORMS S. 80 8.1. Extensible 3D (X3D) S. 80 8.2. Scalable Vector Graphics (SVG) S. 81 8.3. XHTML + CSS S. 82 8.4. Text S. 82 9. OUTLOOK AND CONCLUSION S. 84 9.1. Advanced Mapping Vocabulary S. 84 9.2. Reusing Standardized Ontologies S. 84 9.3. Enabling Dynamic, Interaction and Animation S. 84 9.4. Implementation and Evaluation S. 85 9.5. Conclusion S. 85 GLOSSARY S. 86 BIBLIOGRAPHY S. 87 A. S. 90 A.1. Schemata S. 90

Software components provide essential means to structure and organize software effectively. However, frequently, required component abstractions are not available in a programming language or system, or are not adequately combinable with each other. Invasive software composition (ISC) is a general approach to software composition that unifies component-like abstractions such as templates, aspects and macros. ISC is based on fragment composition, and composes programs and other software artifacts at the level of syntax trees. Therefore, a unifying fragment component model is related to the context-free grammar of a language to identify extension and variation points in syntax trees as well as valid component types. By doing so, fragment components can be composed by transformations at respective extension and variation points so that always valid composition results regarding the underlying context-free grammar are yielded. However, given a language’s context-free grammar, the composition result may still be incorrect. Context-sensitive constraints such as type constraints may be violated so that the program cannot be compiled and/or interpreted correctly. While a compiler can detect such errors after composition, it is difficult to relate them back to the original transformation step in the composition system, especially in the case of complex compositions with several hundreds of such steps. To tackle this problem, this thesis proposes well-formed ISC—an extension to ISC that uses reference attribute grammars (RAGs) to specify fragment component models and fragment contracts to guard compositions with context-sensitive constraints. Additionally, well-formed ISC provides composition strategies as a means to configure composition algorithms and handle interferences between composition steps. Developing ISC systems for complex languages such as programming languages is a complex undertaking. Composition-system developers need to supply or develop adequate language and parser specifications that can be processed by an ISC composition engine. Moreover, the specifications may need to be extended with rules for the intended composition abstractions. Current approaches to ISC require complete grammars to be able to compose fragments in the respective languages. Hence, the specifications need to be developed exhaustively before any component model can be supplied. To tackle this problem, this thesis introduces scalable ISC—a variant of ISC that uses island component models as a means to define component models for partially specified languages while still the whole language is supported. Additionally, a scalable workflow for agile composition-system development is proposed which supports a development of ISC systems in small increments using modular extensions. All theoretical concepts introduced in this thesis are implemented in the Skeletons and Application Templates framework SkAT. It supports “classic”, well-formed and scalable ISC by leveraging RAGs as its main specification and implementation language. Moreover, several composition systems based on SkAT are discussed, e.g., a well-formed composition system for Java and a C preprocessor-like macro language. In turn, those composition systems are used as composers in several example applications such as a library of parallel algorithmic skeletons.

Software components provide essential means to structure and organize software effectively. However, frequently, required component abstractions are not available in a programming language or system, or are not adequately combinable with each other. Invasive software composition (ISC) is a general approach to software composition that unifies component-like abstractions such as templates, aspects and macros. ISC is based on fragment composition, and composes programs and other software artifacts at the level of syntax trees. Therefore, a unifying fragment component model is related to the context-free grammar of a language to identify extension and variation points in syntax trees as well as valid component types. By doing so, fragment components can be composed by transformations at respective extension and variation points so that always valid composition results regarding the underlying context-free grammar are yielded. However, given a language’s context-free grammar, the composition result may still be incorrect. Context-sensitive constraints such as type constraints may be violated so that the program cannot be compiled and/or interpreted correctly. While a compiler can detect such errors after composition, it is difficult to relate them back to the original transformation step in the composition system, especially in the case of complex compositions with several hundreds of such steps. To tackle this problem, this thesis proposes well-formed ISC—an extension to ISC that uses reference attribute grammars (RAGs) to specify fragment component models and fragment contracts to guard compositions with context-sensitive constraints. Additionally, well-formed ISC provides composition strategies as a means to configure composition algorithms and handle interferences between composition steps. Developing ISC systems for complex languages such as programming languages is a complex undertaking. Composition-system developers need to supply or develop adequate language and parser specifications that can be processed by an ISC composition engine. Moreover, the specifications may need to be extended with rules for the intended composition abstractions. Current approaches to ISC require complete grammars to be able to compose fragments in the respective languages. Hence, the specifications need to be developed exhaustively before any component model can be supplied. To tackle this problem, this thesis introduces scalable ISC—a variant of ISC that uses island component models as a means to define component models for partially specified languages while still the whole language is supported. Additionally, a scalable workflow for agile composition-system development is proposed which supports a development of ISC systems in small increments using modular extensions. All theoretical concepts introduced in this thesis are implemented in the Skeletons and Application Templates framework SkAT. It supports “classic”, well-formed and scalable ISC by leveraging RAGs as its main specification and implementation language. Moreover, several composition systems based on SkAT are discussed, e.g., a well-formed composition system for Java and a C preprocessor-like macro language. In turn, those composition systems are used as composers in several example applications such as a library of parallel algorithmic skeletons.

Diese Dissertation untersucht das variable Verhalten von sogenannten „bare nouns“ (Nominale ohne Artikel) im Persischen. Dieses Verhalten kann jedoch nicht verstanden werden ohne eine Reihe von entscheidenden Eigenschaften der persischen Satzstruktur zu betrachten. Dazu gehören Informationsstruktur, Prosodie und Wortstellung, sowie die semantischen und syntaktischen Funktionen verschiedener morphologischer Markierungen im Persischen. Die vorliegende Dissertation kann daher zum besseren Verständnis von satzinterner Syntax, Semantik und Prosodie des Persischen beitragen. Ich beginne meine Untersuchung mit dem Vergleich der BNs in verschiedenen Positionen mit Nominalen, die mit verschiedenen Morphemen gekennzeichnet sind. Die quasi-inkorporierten Nominale im Persischen scheinen zur Klasse der diskursintransparenten inkorporierenden Sprachen zu gehören. Doch dies scheint nicht immer zu stimmen, unter bestimmten Umständen zeigen persische BNs Diskurstransparenz. In Kapitel 3 untersuche ich daher, unter welchen Umständen BNs Diskurstransparenz zeigen und warum. In Kapitel 3 präsentiere ich einen Alternativvorschlag zu Farkas & de Swart, in dem ich darlege, dass ein BN tatsächlich einen neuen Diskursreferenten einführt. Aber der Numerus von BNs ist neutral (numerusneutralen Diskursreferenten).In der zweiten Hälfte der Dissertation wird die Interpretation von BNs in verschiedenen Positionen und mit unterschiedlichen grammatischen Funktionen diskutiert. Kapitel 4 konzentriert sich auf BNs in Objektposition. Wir stellen einen direkten Vergleich an zwischen BNs als tatsächliche BNs, d.h. Nominale, die nicht mit einem Morphem markiert sind, und Kontexten, in denen sie mit dem Morphem -ra auftreten. Ich werde argumentieren, dass -ra lediglich markiert, dass ein BN oder auch ein anderes Nominal nicht in seiner VP-internen Position interpretiert, sondern in eine VP-externe Domäne bewegt wird. Das bedeutet, das Morphem -ra ist ein syntaktisches Morphem auf Phrasenebene. / This thesis explores the variable behavior of bare nouns in Persian. Bare singular nouns realize different grammatical functions, including subject, object and indirect object. They receive different interpretations, including generic, definite and existential readings. However, the task of understanding the reasons for, and limits on, this variation cannot be achieved without understanding a number of pivotal features of Persian sentential architecture, including Information Structure, prosody, word order, and the functions of various morphological markers in Persian. With respect to the discourse transparency of Incorporated Nominals, under certain circumstances, Persian bare nouns show discourse transparency. These circumstances are examined in chapter 3, and it is proposed that bare nouns do introduce a number neutral discourse referent. This proposal is phrased within Discourse Representation Theory. In the second half of the dissertation, the interpretation of bare nouns in different positions and with different grammatical functions are discussed. Under the independently supported hypothesis of position>interpretation mapping developed by Diesing (1992), we will see the role of the suffix -ra in indicating that an object has been moved out of VP. For subjects, there is no morphological marking corresponding to –ra on objects, and we have to rely on prosody and word order to determine how a VP is interpreted using theories of the interaction of accent and syntactic structure. It is proposed that both subject and object originate within the VP, and can move out to the VP-external domain. The motivation for these movements are informational-structural in nature, relating in particular to the distinctions between given and new information, and default and non-default information structure.