A Multi-dimensional Framework for Characterizing Domain Specific Languages

The paper presents a questionnaire to assess Domain Specific Languages based on a multi-dimensional framework for characterizing languages. An issue is whether and how to distinguish between characteristics of domain-specific and general purpose languages. We discuss how to emphasize dimensions that are particularly important for domain-specific languages such as being formal, yet transparent as well as integrable with other languages. We consider hazards and potentials of the approach.A Multi-dimensional Framework for Characterizing Domain Specific Language

A High-Density Simple Sequence Repeat-Based Genetic Linkage Map of Switchgrass

Switchgrass (Panicum virgatum) has been identified as a promising cellulosic biofuel crop in the United States. Construction of a genetic linkage map is fundamental for switchgrass molecular breeding and the elucidation of its genetic mechanisms for economically important traits. In this study, a novel population consisting of 139 selfed progeny of a northern lowland genotype, NL 94 LYE 16X13, was used to construct a linkage map. A total of 2493 simple sequence repeat markers were screened for polymorphism. Of 506 polymorphic loci, 80.8% showed a goodness-of-fit of 1:2:1 segregation ratio. Among 469 linked loci on the framework map, 241 coupling vs. 228 repulsion phase linkages were detected that conformed to a 1:1 ratio, confirming disomic inheritance. A total of 499 loci were mapped to 18 linkage groups (LG), of which the cumulative length was 2085.2 cM, with an average marker interval of 4.2 cM. Nine homeologous LG pairs were identified based on multi-allele markers and comparative genomic analysis. Two clusters of segregation-distorted loci were identified on LG 5b and 9b, respectively. Comparative analysis indicated a one-to-one relationship between nine switchgrass homeologous groups and nine foxtail millet (Setaria italica) chromosomes, suggesting strong homology between the two species. The linkage map derived from selfing a heterozygous parent, instead of two separate maps usually constructed for a cross-fertilized species, provides a new genetic framework to facilitate genomics research, quantitative trait locus (QTL) mapping, and marker-assisted breeding

OWL-POLAR : A Framework for Semantic Policy Representation and Reasoning

Peer reviewedPreprin

Thinning mechanisms of heterogeneous continental lithosphere

The mechanisms responsible for the formation of extremely thinned continental crust (<10 km thick) and lithosphere during rifting remains debated. Observations from present-day and fossil passive margins highlight the role of deep-seated deformation, likely controlled by heterogeneities within the continental lithosphere, such as changing lithologies, mechanical anisotropies and inherited structures. We investigate the mechanisms of lithospheric thinning by exploring the role of pre-existing heterogeneities on the architecture and evolution of rifted margins. We estimate pre-rift pressure conditions (P0) vs. depth diagrams of crustal to lithospheric sections, to quantify rift-related modifications on inherited lithostatic pressure gradients. Two field examples from the Alpine Tethys margins in the Eastern and Southern Alps (SE Switzerland and N Italy) were selected to characterize: (1) the pre-rift architecture of the continental lithosphere; (2) the localization of rift-related deformation in distinct portions of the lithosphere; and (3) the interaction between pre-existing heterogeneities of the lithosphere and rift-related structures. These observations are compared with high-resolution, two-dimensional thermo-mechanical numerical models. The design of the models takes into account pre-existing mechanical heterogeneities representing the initial pre-rift architecture of the continental lithosphere. Extensional structures consist of high-angle and low-angle normal faults, anastomosing shear-zones and decoupling horizons. Such structures accommodate the lateral extraction of mechanically stronger levels derived from the middle to lower crust. As a result, the extremely thinned continental crust in Tethyan passive margins represents the juxtaposition and amalgamation of distinct strong levels of the crust separated by major extensional structures identified by sharp pressure gradients. Future work should determine the applicability of these results to other present-day and fossil rifted margins

An Infrastructure to Support Interoperability in Reverse Engineering

An infrastructure that supports interoperability among reverse engineering tools and other software tools is described. The three major components of the infrastructure are: (1) a hierarchy of schemas for low- and middle-level program representation graphs, (2) g4re, a tool chain for reverse engineering C++ programs, and (3) a repository of reverse engineering artifacts, including the previous two components, a test suite, and tools, GXL instances, and XSLT transformations for graphs at each level of the hierarchy. The results of two case studies that investigated the space and time costs incurred by the infrastructure are provided. The results of two empirical evaluations that were performed using the api module of g4re, and were focused on computation of object-oriented metrics and three-dimensional visualization of class template diagrams, respectively, are also provided

Designing precise and flexible graphical modelling languages for software development

Model-driven approaches to software development involve building computerized models of software and the environment in which it is intended to operate. This thesis offers a selection of the author’s work over the last three decades that addresses the design of precise and flexible graphical modelling languages for use in model-driven software development. The primary contributions of this work are: • Syntropy: the first published object-oriented analysis and design (OOAD) method to fully integrate formal and graphical modelling techniques. • The creation of the Object Constraint Language (OCL) and its integration into the Unified Modeling Language (UML) specification. • The identification of requirements and mechanisms for increasing the flexibility of the UML specification. • The design and implementation of tools for implementing graphical Domain Specific Languages (DSLs). The starting point was the author’s experience with formal specification techniques contrasted with the lack of precision of published object-oriented analysis and design methods. This led to a desire to fully integrate these two topics – formal specification and object-orientation - into a coherent discipline. The Syntropy approach, created in 1994 by this author and John Daniels, was the first published complete attempt to do this. Much of the author’s subsequent published work concerns the Unified Modeling Language (UML). UML represented a welcome unification of earlier OOAD approaches, but suffered badly from inflexibility and lack of precision. A significant part of the work included in this thesis addresses the drawbacks of the UML and proposes improvements to the precision of its definition, including through the invention of Object Constraint Language (OCL) and its incorporation into the UML specification, and the consideration of UML as source material for the definition of Domain Specific Languages (DSLs). Several of the author’s published works in this thesis concern mechanisms for the creation of DSLs, both within a UML framework and separately

Meristic variability in whiptail lizards

24 p. : ill. ; 26 cm.Is it correct, as is often assumed, that the clonal form of inheritance in parthenogenetic lizards results in less variability than occurs with genetic recombination in their sexually reproducing (gonochoristic) relatives? We tested this hypothesis by comparing morphological variability in samples of parthenogenetic Aspidoscelis tesselata and several gonochoristic species of whiptail lizards. To control for environmental factors that might differentially affect embryonic development of morphological characters, we compared samples obtained from the same or geographically adjacent localities. In addition, we compared apparently "uniclonal" and multiclonal samples from each of two color-pattern classes (C and E) of A. tesselata. For univariate meristic characters, parthenogenetic A. tesselata matched the variability of a sympatric gonochoristic species in 11 of 20 comparisons, had lower variability in six comparisons, and was more variable in three. For multivariate characters derived from principal components analyses (PCA), the relative meristic variability of samples of A. tesselata could not be predicted by its reproductive mode, color-pattern class, apparent "uniclonal" or multiclonal state, or geographic location. In addition, we compared A. tesselata, A. sexlineata, A. marmorata, and A. gularis septemvittata in a single PCA, with the latter two species representing the two ancestral taxa from which A. tesselata was derived through hybridization. Once again, relative variability of A. tesselata was not always predictable based on its reproductive mode. It had greater variability than A. sexlineata, equivalent variability with A. gularis septemvittata, and less variability than A. marmorata

Embedded System Design

A unique feature of this open access textbook is to provide a comprehensive introduction to the fundamental knowledge in embedded systems, with applications in cyber-physical systems and the Internet of things. It starts with an introduction to the field and a survey of specification models and languages for embedded and cyber-physical systems. It provides a brief overview of hardware devices used for such systems and presents the essentials of system software for embedded systems, including real-time operating systems. The author also discusses evaluation and validation techniques for embedded systems and provides an overview of techniques for mapping applications to execution platforms, including multi-core platforms. Embedded systems have to operate under tight constraints and, hence, the book also contains a selected set of optimization techniques, including software optimization techniques. The book closes with a brief survey on testing. This fourth edition has been updated and revised to reflect new trends and technologies, such as the importance of cyber-physical systems (CPS) and the Internet of things (IoT), the evolution of single-core processors to multi-core processors, and the increased importance of energy efficiency and thermal issues

Construction of genetic linkage map and QTL analysis of sinksize traits in pearl millet (Pennisetum glaucum)

A linkage map, primarily based on SSCP-SNP markers, was constructed using 188 F2:3 (F2-derived F3) mapping population progenies derived from a cross between two pearl millet inbred lines having diverse pedigrees. The parents had large differences for two sink size traits (grain size and panicle diameter), and also differed for panicle length. The skeleton linkage map covered 1019 cM and it comprised of 44 loci (detected with 24 SSCP-SNP, 10 genomic SSR, 6 EST-SSR and 4 STS primer pairs) distributed across the seven linkage groups. Average adjacent-marker intervals ranged from 14 cM on LG1 to 38 cM on LG6, with an overall mean of 23 cM. Using the F2 linkage map and phenotypic data collected from the F2 and F2:3 generations of the mapping population, a total of 18 putative QTLs were detected for the three sink-size components. Eight QTLs explained 42.7% of observed phenotypic variation for panicle length, with individual QTLs explaining 6.1 to 18.2% using the F2:3 data set. For panicle diameter, 5 QTLs explained 45.8% of observed phenotypic variation with individual QTLs accounting for 6.3 to 30.2%. Similarly for grain size, 5 QTLs explained 29.6% of phenotypic variation with individual QTLs accounting for 6.1 to 8.9%. Genomic regions associated with panicle length, panicle diameter and grain size co-mapped on LG6 between Xpsms88 and Xpsms2270, indicating the existence of a gene or gene cluster with major effects involved in the control of significant proportions of the phenotypic variation for all three sink-size traits. The QTLs for panicle length on LG2 and LG6 (LOD>3 in both F2 and F2:3 data sets), for panicle diameter on LG2 and LG3 (LOD>14 in the F2:3 data set) and for grain size on LG3 and LG6 (LOD>3 in both F2 and F2:3 data sets) were identified as promising candidates for validation prior to possible application in marker-assisted breeding