@article{NaujokatNeubauerLamprechtetal.2014, author = {Naujokat, Stefan and Neubauer, Johannes and Lamprecht, Anna-Lena and Steffen, Bernhard and Joerges, Sven and Margaria, Tiziana}, title = {Simplicity-first model-based plug-in development}, series = {Software : practice \& experience}, volume = {44}, journal = {Software : practice \& experience}, number = {3}, publisher = {Wiley-Blackwell}, address = {Hoboken}, issn = {0038-0644}, doi = {10.1002/spe.2243}, pages = {277 -- 297}, year = {2014}, abstract = {In this article, we present our experience with over a decade of strict simplicity orientation in the development and evolution of plug-ins. The point of our approach is to enable our graphical modeling framework jABC to capture plug-in development in a domain-specific setting. The typically quite tedious and technical plug-in development is shifted this way from a programming task to the modeling level, where it can be mastered also by application experts without programming expertise. We show how the classical plug-in development profits from a systematic domain-specific API design and how the level of abstraction achieved this way can be further enhanced by defining adequate building blocks for high-level plug-in modeling. As the resulting plug-in models can be compiled and deployed automatically, our approach decomposes plug-in development into three phases where only the realization phase requires plug-in-specific effort. By using our modeling framework jABC, this effort boils down to graphical, tool-supported process modeling. Furthermore, we support the automatic completion of process sketches for executability. All this will be illustrated along the most recent plug-in-based evolution of the jABC framework, which witnessed quite some bootstrapping effects.}, language = {en} } @article{MischkeLaiAichneretal.2017, author = {Mischke, Steffen and Lai, Zhongping and Aichner, Bernhard and Heinecke, Liv and Mahmoudov, Zafar and Kuessner, Marie and Herzschuh, Ulrike}, title = {Radiocarbon and optically stimulated luminescence dating of sediments from Lake Karakul, Tajikistan}, series = {Quaternary geochronology : the international research and review journal on advances in quaternary dating techniques}, volume = {41}, journal = {Quaternary geochronology : the international research and review journal on advances in quaternary dating techniques}, publisher = {Elsevier}, address = {Oxford}, issn = {1871-1014}, doi = {10.1016/j.quageo.2017.05.008}, pages = {51 -- 61}, year = {2017}, abstract = {Lake Karakul in the eastern Pamirs is a large and closed-basin lake in a partly glaciated catchment. Two parallel sediment cores were collected from 12 m water depth. The cores were correlated using XRF analysis and dated using radiocarbon and OSL techniques. The age results of the two dating methods are generally in agreement. The correlated composite core of 12.26 m length represents continuous accumulation of sediments in the lake basin since 31 ka. The lake reservoir effect (LRE) remained relatively constant over this period. High sediment accumulation rates (SedARs) were recorded before 23 ka and after 6.5 ka. The relatively close position of the coring location near the eastern shore of the lake implies that high SedARs resulted from low lake levels. Thus, high SedARs and lower lake levels before 23 ka probably reflect cold and dry climate conditions that inhibited the arrival of moist air at high elevation in the eastern Pamirs. Low lake levels after 6.5 ka were probably caused by declining temperatures after the warmer early Holocene, which had caused a reduction in water resources stored as snow, ice and frozen ground in the catchment. Low SedARs during 23-6.5 ka suggest increased lake levels in Lake Karakul. A short-lived increase of SedARs at 15 ka probably corresponds to the rapid melting of glaciers in the Karakul catchment during the Greenland Interstadial le, shortly after glaciers in the catchment had reached their maximum extents. The sediment cores from Lake Karakul represent an important climate archive with robust chronology for the last glacial interglacial cycle from Central Asia. (C) 2017 Elsevier B.V. All rights reserved.}, language = {en} } @article{WangHerzschuhShumilovskikhetal.2014, author = {Wang, Y. and Herzschuh, Ulrike and Shumilovskikh, L. S. and Mischke, Steffen and Birks, H. John B. and Wischnewski, J. and B{\"o}hner, J{\"u}rgen and Schluetz, F. and Lehmkuhl, F. and Diekmann, Bernhard and Wuennemann, B. and Zhang, C.}, title = {Open Access Quantitative reconstruction of precipitation changes on the NE Tibetan Plateau since the Last Glacial Maximum - extending the concept of pollen source area to pollen-based climate reconstructions from large lakes}, series = {Climate of the past : an interactive open access journal of the European Geosciences Union}, volume = {10}, journal = {Climate of the past : an interactive open access journal of the European Geosciences Union}, number = {1}, publisher = {Copernicus}, address = {G{\"o}ttingen}, issn = {1814-9324}, doi = {10.5194/cp-10-21-2014}, pages = {21 -- 39}, year = {2014}, abstract = {Pollen records from large lakes have been used for quantitative palaeoclimate reconstruction, but the influences that lake size (as a result of species-specific variations in pollen dispersal patterns that smaller pollen grains are more easily transported to lake centre) and taphonomy have on these climatic signals have not previously been systematically investigated. We introduce the concept of pollen source area to pollen-based climate calibration using the north-eastern Tibetan Plateau as our study area. We present a pollen data set collected from large lakes in the arid to semi-arid region of central Asia. The influences that lake size and the inferred pollen source areas have on pollen compositions have been investigated through comparisons with pollen assemblages in neighbouring lakes of various sizes. Modern pollen samples collected from different parts of Lake Donggi Cona (in the north-eastern part of the Tibetan Plateau) reveal variations in pollen assemblages within this large lake, which are interpreted in terms of the species-specific dispersal and depositional patterns for different types of pollen, and in terms of fluvial input components. We have estimated the pollen source area for each lake individually and used this information to infer modern climate data with which to then develop a modern calibration data set, using both the multivariate regression tree (MRT) and weighted-averaging partial least squares (WA-PLS) approaches. Fossil pollen data from Lake Donggi Cona have been used to reconstruct the climate history of the north-eastern part of the Tibetan Plateau since the Last Glacial Maximum (LGM). The meanannual precipitation was quantitatively reconstructed using WA-PLS: extremely dry conditions are found to have dominated the LGM, with annual precipitation of around 100 mm, which is only 32\% of present-day precipitation. A gradually increasing trend in moisture conditions during the Late Glacial is terminated by an abrupt reversion to a dry phase that lasts for about 1000 yr and coincides with "Heinrich event 1" in the North Atlantic region. Subsequent periods corresponding to the Bolling/Allerod interstadial, with annual precipitation (P-ann) of about 350 mm, and the Younger Dryas event (about 270 mm P-ann) are followed by moist conditions in the early Holocene, with annual precipitation of up to 400 mm. A drier trend after 9 cal. ka BP is followed by a second wet phase in the middle Holocene, lasting until 4.5 cal. ka BP. Relatively steady conditions with only slight fluctuations then dominate the late Holocene, resulting in the present climatic conditions. The climate changes since the LGM have been primarily driven by deglaciation and fluctuations in the intensity of the Asian summer monsoon that resulted from changes in the Northern Hemisphere summer solar insolation, as well as from changes in the North Atlantic climate through variations in the circulation patterns and intensity of the westerlies.}, language = {en} } @article{LamprechtMargariaSteffen2014, author = {Lamprecht, Anna-Lena and Margaria, Tiziana and Steffen, Bernhard}, title = {Modeling and Execution of Scientific Workflows with the jABC Framework}, series = {Process Design for Natural Scientists: an agile model-driven approach}, journal = {Process Design for Natural Scientists: an agile model-driven approach}, number = {500}, editor = {Lambrecht, Anna-Lena and Margaria, Tiziana}, publisher = {Springer Verlag}, address = {Berlin}, isbn = {978-3-662-45005-5}, issn = {1865-0929}, pages = {14 -- 29}, year = {2014}, abstract = {We summarize here the main characteristics and features of the jABC framework, used in the case studies as a graphical tool for modeling scientific processes and workflows. As a comprehensive environment for service-oriented modeling and design according to the XMDD (eXtreme Model-Driven Design) paradigm, the jABC offers much more than the pure modeling capability. Associated technologies and plugins provide in fact means for a rich variety of supporting functionality, such as remote service integration, taxonomical service classification, model execution, model verification, model synthesis, and model compilation. We describe here in short both the essential jABC features and the service integration philosophy followed in the environment. In our work over the last years we have seen that this kind of service definition and provisioning platform has the potential to become a core technology in interdisciplinary service orchestration and technology transfer: Domain experts, like scientists not specially trained in computer science, directly define complex service orchestrations as process models and use efficient and complex domain-specific tools in a simple and intuitive way.}, language = {en} } @article{OpitzWuennemannAichneretal.2012, author = {Opitz, Stephan and W{\"u}nnemann, Bernd and Aichner, Bernhard and Dietze, Elisabeth and Hartmann, Kai and Herzschuh, Ulrike and IJmker, Janneke and Lehmkuhl, Frank and Li, Shijie and Mischke, Steffen and Plotzki, Anna and Stauch, Georg and Diekmann, Bernhard}, title = {Late Glacial and Holocene development of Lake Donggi Cona, north-eastern Tibetan Plateau, inferred from sedimentological analysis}, series = {Palaeogeography, palaeoclimatology, palaeoecology : an international journal for the geo-sciences}, volume = {337}, journal = {Palaeogeography, palaeoclimatology, palaeoecology : an international journal for the geo-sciences}, number = {23}, publisher = {Elsevier}, address = {Amsterdam}, issn = {0031-0182}, doi = {10.1016/j.palaeo.2012.04.013}, pages = {159 -- 176}, year = {2012}, abstract = {Sediments of Lake Donggi Cona on the northeastern Tibetan Plateau were studied to infer changes in the lacustrine depositional environment, related to climatic and non-climatic changes during the last 19 kyr. The lake today fills a 30x8 km big and 95 m deep tectonic basin, associated with the Kunlun Fault. The study was conducted on a sediment-core transect through the lake basin, in order to gain a complete picture of spatio-temporal environmental change. The recovered sediments are partly finely laminated and are composed of calcareous muds with variable amounts of carbonate micrite, organic matter, detrital silt and clay. On the basis of sedimentological, geochemical, and mineralogical data up to five lithological units (LU) can be distinguished that document distinct stages in the development of the lake system. The onset of the lowermost LU with lacustrine muds above basal sands indicates that lake level was at least 39 m below the present level and started to rise after 19 ka, possibly in response to regional deglaciation. At this time, the lacustrine environment was characterized by detrital sediment influx and the deposition of siliciclastic sediment. In two sediment cores, upward grain-size coarsening documents a lake-level fall after 13 cal ka BP, possibly associated with the late-glacial Younger Dryas stadial. From 11.5 to 4.3 cal ka BP, grain-size fining in sediment cores from the profundal coring sites and the onset of lacustrine deposition at a litoral core site (2 m water depth) in a recent marginal bay of Donggi Cona document lake-level rise during the early to mid-Holocene to at least modern level. In addition, high biological productivity and pronounced precipitation of carbonate micrites are consistent with warm and moist climate conditions related to an enhanced influence of summer monsoon. At 4.3 cal ka BP the lake system shifted from an aragonite- to a calcite-dominated system, indicating a change towards a fully open hydrological lake system. The younger clay-rich sediments are moreover non-laminated and lack any diagenetic sulphides, pointing to fully ventilated conditions, and the prevailing absence of lake stratification. This turning point in lake history could imply either a threshold response to insolation-forced climate cooling or a response to a non-climatic trigger, such as an erosional event or a tectonic pulse that induced a strong earthquake, which is difficult to decide from our data base.}, language = {en} } @article{AichnerMakhmudovRajabovetal.2019, author = {Aichner, Bernhard and Makhmudov, Zafar and Rajabov, Iljomjon and Zhang, Qiong and Pausata, Francesco Salvatore R. and Werner, Martin and Heinecke, Liv and Kuessner, Marie L. and Feakins, Sarah J. and Sachse, Dirk and Mischke, Steffen}, title = {Hydroclimate in the Pamirs Was Driven by Changes in Precipitation-Evaporation Seasonality Since theLast Glacial Period}, series = {Geophysical research letters}, volume = {46}, journal = {Geophysical research letters}, number = {23}, publisher = {American Geophysical Union}, address = {Washington}, issn = {0094-8276}, doi = {10.1029/2019GL085202}, pages = {13972 -- 13983}, year = {2019}, abstract = {The Central Asian Pamir Mountains (Pamirs) are a high-altitude region sensitive to climatic change, with only few paleoclimatic records available. To examine the glacial-interglacial hydrological changes in the region, we analyzed the geochemical parameters of a 31-kyr record from Lake Karakul and performed a set of experiments with climate models to interpret the results. delta D values of terrestrial biomarkers showed insolation-driven trends reflecting major shifts of water vapor sources. For aquatic biomarkers, positive delta D shifts driven by changes in precipitation seasonality were observed at ca. 31-30, 28-26, and 17-14 kyr BP. Multiproxy paleoecological data and modelling results suggest that increased water availability, induced by decreased summer evaporation, triggered higher lake levels during those episodes, possibly synchronous to northern hemispheric rapid climate events. We conclude that seasonal changes in precipitation-evaporation balance significantly influenced the hydrological state of a large waterbody such as Lake Karakul, while annual precipitation amount and inflows remained fairly constant.}, language = {en} } @article{OpitzRamischMischkeetal.2013, author = {Opitz, Stephan and Ramisch, Arne and Mischke, Steffen and Diekmann, Bernhard}, title = {Holocene lake stages and thermokarst dynamics in a discontinuous permafrost affected region, north-eastern Tibetan Plateau}, series = {Journal of Asian earth sciences}, volume = {76}, journal = {Journal of Asian earth sciences}, number = {17}, publisher = {Elsevier}, address = {Oxford}, issn = {1367-9120}, doi = {10.1016/j.jseaes.2013.08.006}, pages = {85 -- 94}, year = {2013}, abstract = {Sediments of a thermokarst system on the north-eastern Tibetan Plateau were studied to infer changes in the lacustrine depositional environment related to climatic changes since the early Holocene. The thermokarst pond with a length of 360 m is situated in a 14.5 x 6 km tectonically unaffected intermontane basin, which is underlain by discontinuous permafrost. A lake sediment core and bankside lacustrine onshore deposits were analysed. Additionally, fossil lake sediments were investigated, which document a former lake-level high stand. The sediments are mainly composed of marls with variable amounts of silt carbonate micrite, and organic matter. On the basis of sedimentological (grain size data), geochemical (XRF), mineralogical (XRD) and micropaleontological data (ostracods and chironomide assemblages) a reconstruction of a paleolake environment was achieved. Lacustrine sediments with endogenic carbonate precipitation suggest a lacustrine environment since at least 19.0 cal ka BP. However, because of relocation and reworking processes in the lake, the sediments did not provide distinct information about the ultimate formation of the lake. The high amount of endogenic carbonate suggests prolonged still-water conditions at about 9.3 cal ka BP. Ostracod shells and chironomid head capsules in fossil lake sediments indicate at least one former lake-level high stand, which were developed between the early and middle Holocene. From the late Holocene the area was possibly characterized by a lake-level decline, documented by a hiatus between lacustrine sediments and a reworked loess or loess-like horizon. After the lake-level decline and the following warming period, the area was affected by thermally-induced subsidence and a re-flooding of the basin because of thawing permafrost.}, language = {en} } @article{BakeraMargariaRenneretal.2011, author = {Bakera, Marco and Margaria, Tiziana and Renner, Clemens D. and Steffen, Bernhard}, title = {Game-Based model checking for reliable autonomy in space}, series = {Journal of aerospace computing, information, and communication}, volume = {8}, journal = {Journal of aerospace computing, information, and communication}, number = {4}, publisher = {American Institute of Aeronautics and Astronautics}, address = {Reston}, issn = {1940-3151}, doi = {10.2514/1.32013}, pages = {100 -- 114}, year = {2011}, abstract = {Autonomy is an emerging paradigm for the design and implementation of managed services and systems. Self-managed aspects frequently concern the communication of systems with their environment. Self-management subsystems are critical, they should thus be designed and implemented as high-assurance components. Here, we propose to use GEAR, a game-based model checker for the full modal mu-calculus, and derived, more user-oriented logics, as a user friendly tool that can offer automatic proofs of critical properties of such systems. Designers and engineers can interactively investigate automatically generated winning strategies resulting from the games, this way exploring the connection between the property, the system, and the proof. The benefits of the approach are illustrated on a case study that concerns the ExoMars Rover.}, language = {en} } @article{AichnerHerzschuhWilkesetal.2012, author = {Aichner, Bernhard and Herzschuh, Ulrike and Wilkes, Heinz and Schulz, Hans-Martin and Wang, Yongbo and Plessen, Birgit and Mischke, Steffen and Diekmann, Bernhard and Zhang, Chengjun}, title = {Ecological development of Lake Donggi Cona, north-eastern Tibetan Plateau, since the late glacial on basis of organic geochemical proxies and non-pollen palynomorphs}, series = {Palaeogeography, palaeoclimatology, palaeoecology : an international journal for the geo-sciences}, volume = {313}, journal = {Palaeogeography, palaeoclimatology, palaeoecology : an international journal for the geo-sciences}, number = {2}, publisher = {Elsevier}, address = {Amsterdam}, issn = {0031-0182}, doi = {10.1016/j.palaeo.2011.10.015}, pages = {140 -- 149}, year = {2012}, abstract = {Organic geochemical proxy data from surface sediment samples and a sediment core from Lake Donggi Cona were used to infer environmental changes on the northeastern Tibetan Plateau spanning the last 18.4 kyr. Long-chain n-alkanes dominate the aliphatic hydrocarbon fraction of the sediment extract from most surface sediment samples and the sediment core. Unsaturated mid-chain n-alkanes (nC(23:1) and nC(25:1)) have high abundances in some samples, especially in core samples from the late glacial and early Holocene. TOC contents, organic biomarker and non-pollen-palynomorph concentrations and results from organic petrologic analysis on selected samples suggest three major episodes in the history of Lake Donggi Cona. Before ca. 12.6 cal ka BP samples contain low amounts of organic matter due to cold and arid conditions during the late glacial. After 12.6 cal ka BP, relatively high contents of TOC and concentrations of Botryococcus fossils, as well as enhanced concentrations of mid-chain n-alkanes and n-alkenes suggest a higher primary and macrophyte productivity than at present This is supported by high contents of palynomorphs derived from higher plants and algae and was possibly triggered by a decrease of salinity and amelioration of climate during the early Holocene. Since 6.8 cal ka BP Lake Donggi Cona has been an oligotrophic freshwater lake. Proxy data suggest that variations in insolation drive ecological changes in the lake, with increased aquatic productivity during the early Holocene summer insolation maximum. Short-term drops of TOC contents or biomarker concentrations (at 9.9 cal ka BP, after 8.0 and between 3.5 and 1.7 cal ka BP) can possibly be related to relatively cool and dry episodes reported from other sites on the north-eastern Tibetan Plateau, which are hypothesized to occur in phase with Northern Hemisphere cooling events.}, language = {en} } @article{MargariaSteffen2009, author = {Margaria, Tiziana and Steffen, Bernhard}, title = {Continuous model-driven engineering}, issn = {0018-9162}, year = {2009}, abstract = {Agility at the customer, user, and application level will prove key to aligning and linking business and IT}, language = {en} }