Realizing Change-Driven Consistency for Component Code, Architectural Models, and Contracts in Vitruvius

During the development of component-based software systems, it is often impractical or even impossible to include all development information into the source code. Instead, specialized languages are used to describe components and systems on different levels of abstraction or from different viewpoints: Component-based architecture models and contracts, for example, can be used to describe the system on a high level of abstraction, and to formally specify component constraints. Since models, contracts, and code contain redundant information, inconsistencies can occur if they are modified independently. Keeping this information consistent manually can require considerable effort, and can lead to costly errors, for example, when security-relevant components are verified against inconsistent contracts. In this technical report, we present details on realizing an approach for keeping component-based architecture models and contracts specified in the Java Modeling Language (JML) consistent with Java source code. We use change-driven incremental transformations and the Vitruvius framework to automate the consistency preservation where this is possible. Using two case studies, we demonstrate how to detect and propagate changes and refactoring operations to keep models and contracts consistent with the source code

Change-Driven Consistency for Component Code, Architectural Models, and Contracts

During the development of component-based software systems, it is often impractical or even impossible to include all development information into the source code. Instead, specialized languages are used to describe components and systems on different levels of abstraction or from different viewpoints: Component-based architecture models and contracts, for example, can be used to describe the system on a high level of abstraction, and to formally specify component constraints. Since models, contracts, and code contain redundant information, inconsistencies can occur if they are modified independently. Keeping this information consistent manually can require considerable effort, and can lead to costly errors, for example, when security-relevant components are verified against inconsistent contracts. In this technical report, we present details on realizing an approach for keeping component-based architecture models and contracts specified in the Java Modeling Language (JML) consistent with Java source code. We use change-driven incremental transformations and the Vitruvius framework to automate the consistency preservation where this is possible. Using two case studies, we demonstrate how to detect and propagate changes and refactoring operations to keep models and contracts consistent with the source code

Selective Bibliography on Bishops in Medieval Europe, from 1980 to the present day

Bibliography of research on bishops in Anglo-Saxon England and Ottonian-Salian Germany in the tenth and eleventh centuries, as well as comprehensive and comparative studies of this period, as long as either of the aforementioned geographical entities is covered

Sex and gender differences in autism spectrum disorder: Summarizing evidence gaps and identifying emerging areas of priority

© 2015 Halladay et al.One of the most consistent findings in autism spectrum disorder (ASD) research is a higher rate of ASD diagnosis in males than females. Despite this, remarkably little research has focused on the reasons for this disparity. Better un

Schlussbericht zum Thema Grünleguminosen als Eiweiß- und Raufuttermittel in der ökologischen Geflügel- und Schweinefütterung (GRÜNLEGUM)

In dem interdisziplinären Forschungsprojekt wurden Anbau und wertbestimmende Eigenschaften von Luzerne- und Rotkleesorten untersucht. Für relevante Produkte dieser Grün- leguminosen (Blätter oder Ganzpflanzen, jeweils getrocknet oder siliert) erfolgte die vergleichende Prüfung möglicher Ernte- und Werbemaßnahmen. Die genannten Grünleguminosenprodukte wurden für die ökologische Schweine- und Geflügelfütterung geprüft. Pflanzenbauliche Aspekte Es wurden pflanzenbauliche Versuche durchgeführt, in denen der Einfluss der Sorte und des Standortes, der Einfluss einer erhöhten Schnittfrequenz sowie der Einfluss der Nährstoffversorgung auf die Rohprotein- und Aminosäurenkonzentrationen sowie deren Erträge in Blättern von Rotklee und Luzerne geprüft wurden. Verfahrenstechnische Aspekte Es wurden unterschiedliche großtechnologische Verfahren zur Blatt-Stängeltrennung bzw. zur Ernte von hochwertigen Eiweißkomponenten der Grünleguminosen untersucht und bewertet. Die Technik zur Blatt-Stängeltrennung direkt auf dem Feld befindet sich derzeit noch im Prototypenstadium und ist somit nicht für die Praxis in Deutschland verfügbar. Eine Alternative zur Blatt-Stängeltrennung könnte das Mähen der Pflanzenspitzen, die einen erhöhten Proteingehalt aufweisen, darstellen. Futtermittelbewertung und Fütterungseinsatz Futtermittelbewertung Die für Grünleguminosen-Blätter (siliert oder getrocknet) durchgeführten Verdauungsversuche für die genannten Tiergruppen liefern ein differenziertes Bild. Die ermittelten Nährstoffverdaulichkeiten für Schweine sind plausibel und für die Fütterungspraxis nutzbar. Die Ergebnisse der Verdauungsversuche für Hühner können interpretiert werden, sind aber für die Praxis aufgrund der nicht vollständig geklärten Saponin-Thematik nur bedingt zu nutzen. Die Ergebnisse der Verdauungsversuche mit Grünleguminosen-Ganzpflanzen (siliert oder getrocknet) führen zu plausiblen Ergebnissen. Fütterungseinsatz Im durchgeführten Leistungsversuch mit säugenden Sauen wurden Kraftfuttermischungen mit Mischungsanteilen von 10 % getrockneten Rotklee- oder Luzerneblättern erfolgreich eingesetzt. In zwei Leistungsversuchen mit Mastschweinen erfolgte die Prüfung steigender Mischungsanteile an Luzernetrockenblatt in Kraftfuttermischungen. Mischungsanteile von bis zu 20 % wurden problemlos aufgenommen. Die relevanten Leistungsmerkmale blieben unverändert. Die an Masthühnern und Legehennen in Leistungsversuchen geprüften Luzernetrockenblattprodukte zeigten dagegen, dass bereits geringe Mischungsanteile (> 5 %) in Alleinfuttermischungen zu Akzeptanzproblemen und Leistungsrückgängen führten. Es bedarf der intensiven wissenschaftlichen Erforschung der Saponine und deren antinutritiven Wirkung.The present interdisciplinary research project studied the cultivation and value determining properties of alfalfa and red clover cultivars. Suitable harvesting and processing methods were investigated by comparative examination of relevant green legume products (leaves or whole plants in each case dried or ensiled). These products were analysed for their usability in organic pig and poultry nutrition. Plant productional aspects The impact of variety, location, higher cutting frequency and nutrient supply on the crude protein and amino acid concentrations in leaves of red clover and alfalfa as well as their yield was investigated in plant cultivation experiments. Procedural aspects Several industrial scale procedures of leave-stem-separation or for harvesting high protein components of green legumes were investigated and assessed. The technology of leave-stem separation directly on the field is still in prototype stage and consequently not available in Germany. An alternative to leave stem separation might be the cutting of the plant tops, which show higher protein contents. Evaluation and application as feeding stuff Feed stuff evaluation The provided digestibility trials with greenlegume leaves (ensiled or dried) show a varied results for the mentioned animal groups. The determined nutrient digestibility values for pigs are plausible and applicable for feeding practice. The results of the digestibility trials in chickens can be interpreted but have to be used with caution in practice because of the not completely elucidated Saponin topic. The results according greenlegume whole plants (ensiled or dried) are also plausible. Use as feeding stuff Feed mixtures containing 10% dried red clover or alfalfa leave levels were used successfully in nursing sows in the conducted performance trial. Two performance trials with fattening pigs were carried to prove increasing levels of dried alfalfa leaves in feed mixtures. Levels of up to 20% dried alfalfa leaves were ingested without any problems. The relevant performance parameters stayed unchanged. In contrast performance trials with broilers and laying hens proved acceptance problems and the decrease of performance parameters even at low levels (>5%) of dried alfalfa leaves in single feed mixtures. Overall an intensive scientific research on saponines and their antinutritive effects is needed

Grünleguminosen als Eiweiß- und Raufuttermittel in der ökologischen Geflügel- und Schweinefütterung (Verbundvorhaben)

In dem interdisziplinären Forschungsprojekt wurden Anbau und wertbestimmende Eigen-schaften von Luzerne- und Rotkleesorten untersucht. Für relevante Produkte dieser Grün-leguminosen (Blätter oder Ganzpflanzen, jeweils getrocknet oder siliert) erfolgte die vergleichende Prüfung möglicher Ernte- und Werbemaßnahmen. Die genannten Grün-leguminosenprodukte wurden für die ökologische Schweine- und Geflügelfütterung geprüft. Pflanzenbauliche Aspekte Es wurden pflanzenbauliche Versuche durchgeführt, in denen der Einfluss der Sorte und des Standortes, der Einfluss einer erhöhten Schnittfrequenz sowie der Einfluss der Nähr-stoffversorgung auf die Rohprotein- und Aminosäurenkonzentrationen sowie deren Erträge in Blättern von Rotklee und Luzerne geprüft wurden. Verfahrenstechnische Aspekte Es wurden unterschiedliche großtechnologische Verfahren zur Blatt-Stängeltrennung bzw. zur Ernte von hochwertigen Eiweißkomponenten der Grünleguminosen untersucht und bewertet. Die Technik zur Blatt-Stängeltrennung direkt auf dem Feld befindet sich derzeit noch im Prototypenstadium und ist somit nicht für die Praxis in Deutschland verfügbar. Eine Alternative zur Blatt-Stängeltrennung könnte das Mähen der Pflanzenspitzen, die einen erhöhten Proteingehalt aufweisen, darstellen. Futtermittelbewertung und Fütterungseinsatz Futtermittelbewertung Die für Grünleguminosen-Blätter (siliert oder getrocknet) durchgeführten Verdauungsversuche für die genannten Tiergruppen liefern ein differenziertes Bild. Die ermittelten Nährstoffverdau-lichkeiten für Schweine sind plausibel und für die Fütterungspraxis nutzbar. Die Ergebnisse der Verdauungsversuche für Hühner können interpretiert werden, sind aber für die Praxis aufgrund der nicht vollständig geklärten Saponin-Thematik nur bedingt zu nutzen. Die Ergebnisse der Verdauungsversuche mit Grünleguminosen-Ganzpflanzen (siliert oder getrocknet) führen zu plausiblen Ergebnissen. Fütterungseinsatz Im durchgeführten Leistungsversuch mit säugenden Sauen wurden Kraftfuttermischungen mit Mischungsanteilen von 10 % getrockneten Rotklee- oder Luzerneblättern erfolgreich einge-setzt. In zwei Leistungsversuchen mit Mastschweinen erfolgte die Prüfung steigender Mischungsanteile an Luzernetrockenblatt in Kraftfuttermischungen. Mischungsanteile von bis zu 20 % wurden problemlos aufgenommen. Die relevanten Leistungsmerkmale blieben unverändert.Die an Masthühnern und Legehennen in Leistungsversuchen geprüften Luzernetrockenblatt-produkte zeigten dagegen, dass bereits geringe Mischungsanteile (> 5 %) in Alleinfuttermischungen zu Akzeptanzproblemen und Leistungsrückgängen führten. Es bedarf der intensiven wissenschaftlichen Erforschung der Saponine und deren antinutritiven Wirkung