Die vorliegende Dissertation widmet sich methodischen und empirischen Forschungsfragen mit Bezug auf saisonale Arbeitsmärkte und Politiken zur nachhaltigen Nutzung natürlicher Ressourcen. Hierfür wird ein gesamtwirtschaftlicher Modellierungsansatz angewendet, für den das im südöstlichen Himalaya gelegene Königreich Bhutan als empirische Fallstudie dient. Das methodische Forschungsziel der Arbeit ist, die Relevanz der Darstellung von saisonalen Arbeitsmärkten innerhalb von allgemeinen Gleichgewichtsmodellen (sog. CGE Modelle) zu ergründen. Dies stellt eine Neuheit in der Literatur dar. Die Arbeit zeigt auf, dass Modelle ohne saisonale Arbeitsmärkte systematisch Ergebnisse, wie Angebotsreaktionen und Wohlstandseffekte, verzerren. Die Saisonalität von Arbeit hat eine hohe Relevanz für gesamtwirtschaftliche Analysen im Kontext landwirtschaftlich geprägter Volkswirtschaften, insbesondere für Untersuchungen des Strukturwandels und agrarpolitischer Interventionen. Empirisch wird die wechselseitige Abhängigkeit von Politiken zum nachhaltigen Management natürlicher Ressourcen mit Zielen des Umweltschutzes und der ländlichen Entwicklung untersucht. Basierend auf unterschiedlichen Modellierungsansätzen, konzentrieren sich drei Studien auf agrar- und forstpolitische Szenarien in Bhutan. Es wird gezeigt, dass Bhutans Ziel, seinen landwirtschaftlichen Sektor auf 100% ökologische Landwirtschaft umzustellen, zu substantiellen Wohlfahrtsverlusten und negativen Folgen für die Ernährungssicherung führen würde. Die Analyse verschiedener forstpolitischer Szenarien demonstriert, dass eine höhere Forstnutzung in Bhutan im Sinne der gesamtwirtschaftlichen und ländlichen Entwicklung nachhaltig möglich ist. Die Arbeit weist auf verschiedene zukünftige Forschungsfelder hin, wie zum Beispiel die Integration von Ökosystemdienstleistungen, was als eine der wesentlichen Einschränkungen bei der modellgestützten Analyse von Politiken zur Nutzung natürlicher Ressourcen identifiziert wurde. / Using an economy-wide modelling approach, this dissertation investigates methodological and empirical research questions related to seasonal labour markets and natural resource policies. The Kingdom of Bhutan, located in the south-eastern Himalayas, serves as a case study. The methodological research objective of this thesis is to gain an understanding of the relevance of seasonal labour markets in the context of economy-wide modelling. The depiction of seasonal labour markets at national scale using a seasonal social accounting matrix (SAM) and computable general equilibrium (CGE) model presents a novel development within the literature. It is demonstrated, that the absence of seasonal labour markets leads to systematic bias of model results. The consequences are distorted supply responses and biased welfare effects, underlining the pivotal implications of seasonality for economy-wide analysis in the context of agrarian economies, particularly for scenario analysis involving structural changes and agricultural policy interventions. The empirical research objective addresses the interdependence of natural resource policies with objectives of environmental conservation and rural development. Employing modelling techniques, three studies focus on specific agricultural and forest policy scenarios in Bhutan. Simulating Bhutan’s ambitious policy objective to convert to 100% organic agriculture demonstrates substantial welfare losses and adverse impacts on food security, causing trade-offs with objectives of rural development and food self-sufficiency. Analysing forest policy reforms shows that increased forest utilization contributes to economic development, particularly in rural areas, without jeopardizing the country’s forest conservation agenda. The dissertation points at numerous areas of future research, as for example the incorporation of ecosystem services, which is identified as one key limitation of economy-wide analysis of natural resource policies.

In this thesis we see two new approaches to compose tree transducers and more general to fuse functional programs. The first abroach is based on initial algebras. We prove a new variant of the acid rain theorem for mutually recursive functions where the build function is substituted by a concrete functor. Moreover, we give a symmetric form (i.e. consumer and producer have the same syntactic form) of our new acid rain theorem where fusion is composition in a category and thus in particular associative. Applying this to compose top-down tree transducers yields the same result (on a syntactic level) as the classical top-down tree transducer composition. The second approach is based on free monads and monad transformers. In the same way as monoids are used in the theory of character string automata, we use monads in the theory of tree transducers. We generalize the notion of a tree transducer defining the monadic transducer, and we prove an according fusion theorem. Moreover, we prove that homomorphic monadic transducers are semantically equivalent. The latter makes it possible to compose syntactic classes of tree transducers (or particular functional programs) by simply composing endofunctors.

No description available.

No description available.

No description available.

No description available.

The benefits of Model-Driven Software Development (MDSD) and Domain-Specific Languages (DSLs) wrt. efficiency and quality in software engineering increase the demand for custom languages and the need for efficient methods for language engineering. This motivated the introduction of language families that aim at further reducing the development costs and the maintenance effort for custom languages. The basic idea is to exploit the commonalities and provide means to enable systematic variation among a set of related languages. Current techniques and methodologies for language engineering are not prepared to deal with the particular challenges of language families. First, language engineering processes lack means for a systematic analysis, specification and management of variability as found in language families. Second, technical approaches for a modular specification and realisation of languages suffer from insufficient modularity properties. They lack means for information hiding, for explicit module interfaces, for loose coupling, and for flexible module integration. Our first contribution, Feature-Oriented Language Family Engineering (LFE), adapts methods from Software Product Line Engineering to the domain of language engineering. It extends Feature-Oriented Software Development to support metamodelling approaches used for language engineering and replaces state-of-the-art processes by a variability- and reuse-oriented LFE process. Feature-oriented techniques are used as means for systematic variability analysis, variability management, language variant specification, and the automatic derivation of custom language variants. Our second contribution, Integrative Role-Based Language Composition, extends existing metamodelling approaches with roles. Role models introduce enhanced modularity for object-oriented specifications like abstract syntax metamodels. We introduce a role-based language for the specification of language components, a role-based composition language, and an extensible composition system to evaluate role-based language composition programs. The composition system introduces integrative, grey-box composition techniques for language syntax and semantics that realise the statics and dynamics of role composition, respectively. To evaluate the introduced approaches and to show their applicability, we apply them in three major case studies. First, we use feature-oriented LFE to implement a language family for the ontology language OWL. Second, we employ role-based language composition to realise a component-based version of the language OCL. Third, we apply both approaches in combination for the development of SumUp, a family of languages for mathematical equations.

No description available.

No description available.

No description available.