Service-Oriented Architecture Modeling: Bridging the Gap between Structure and Behavior

International audienceModel-driven development of large-scale software systems is highly likely to produce models that describe the systems from many diverse perspectives using a variety of modeling languages. Checking and maintaining consistency of information captured in such multi-modeling environments is known to be challenging. In this paper we describe an approach to systematically synchronize multi-models. The approach specifically addresses the problem of synchronizing business processes and domain models in a Service-oriented Architecture development environment. In the approach, the human effort required to synchronize independently developed models is supplemented with significant automated support. This process is used to identify concept divergences, that is, a concept in one model which cannot be matched with concepts in the other model. We automate the propagation of divergence resolution decisions across the conflicting models. We illustrate the approach using models developed for a Car Crash Crisis Management System (CCCMS), a case study problem used to assess Aspect-oriented Modeling approaches

Two highly divergent alcohol dehydrogenases of melon exhibit fruit ripening-specific expression and distinct biochemical characteristics

Alcohol dehydrogenases (ADH) participate in the biosynthetic pathway of aroma volatiles in fruit by interconverting aldehydes to alcohols and providing substrates for the formation of esters. Two highly divergent ADH genes (15% identity at the amino acid level) of Cantaloupe Charentais melon (Cucumis melo var. Cantalupensis) have been isolated. Cm-ADH1 belongs to the medium-chain zinc-binding type of ADHs and is highly similar to all ADH genes expressed in fruit isolated so far. Cm-ADH2 belongs to the short-chain type of ADHs. The two encoded proteins are enzymatically active upon expression in yeast. Cm-ADH1 has strong preference for NAPDH as a co-factor, whereas Cm-ADH2 preferentially uses NADH. Both Cm-ADH proteins are much more active as reductases with Kms 10–20 times lower for the conversion of aldehydes to alcohols than for the dehydrogenation of alcohols to aldehydes. They both show strong preference for aliphatic aldehydes but Cm-ADH1 is capable of reducing branched aldehydes such as 3-methylbutyraldehyde, whereas Cm-ADH2 cannot. Both Cm-ADH genes are expressed specifically in fruit and up-regulated during ripening. Gene expression as well as total ADH activity are strongly inhibited in antisense ACC oxidase melons and in melon fruit treated with the ethylene antagonist 1-methylcyclopropene (1-MCP), indicating a positive regulation by ethylene. These data suggest that each of the Cm-ADH protein plays a specific role in the regulation of aroma biosynthesis in melon fruit

Accreting Neutron Stars in Low-Mass X-Ray Binary Systems

Using the Rossi X-ray Timing Explorer (RossiXTE), astronomers have discovered that disk-accreting neutron stars with weak magnetic fields produce three distinct types of high-frequency X-ray oscillations. These oscillations are powered by release of the binding energy of matter falling into the strong gravitational field of the star or by the sudden nuclear burning of matter that has accumulated in the outermost layers of the star. The frequencies of the oscillations reflect the orbital frequencies of gas deep in the gravitational field of the star and/or the spin frequency of the star. These oscillations can therefore be used to explore fundamental physics, such as strong-field gravity and the properties of matter under extreme conditions, and important astrophysical questions, such as the formation and evolution of millisecond pulsars. Observations using RossiXTE have shown that some two dozen neutron stars in low-mass X-ray binary systems have the spin rates and magnetic fields required to become millisecond radio-emitting pulsars when accretion ceases, but that few have spin rates above about 600 Hz. The properties of these stars show that the paucity of spin rates greater than 600 Hz is due in part to the magnetic braking component of the accretion torque and to the limited amount of angular momentum that can be accreted in such systems. Further study will show whether braking by gravitational radiation is also a factor. Analysis of the kilohertz oscillations has provided the first evidence for the existence of the innermost stable circular orbit around dense relativistic stars that is predicted by strong-field general relativity. It has also greatly narrowed the possible descriptions of ultradense matter.Comment: 22 pages, 7 figures, updated list of sources and references, to appear in "Short-period Binary Stars: Observation, Analyses, and Results", eds. E.F. Milone, D.A. Leahy, and D. Hobill (Dordrecht: Springer, http://www.springerlink.com

TOI-1338 : TESS' first transiting circumbinary planet

Funding: Funding for the DPAC has been provided by national institutions, in particular, the institutions participating in the Gaia Multilateral Agreement. W.F.W. and J.A.O.thank John Hood Jr. for his generous support of exoplanet research at SDSU. Support was also provided and acknowledged through NASA Habitable Worlds grant 80NSSC17K0741 and NASA XRP grant 80NSSC18K0519. This work is partly supported by NASA Habitable Worlds grant 80NSSC17K0741. This material is based upon work supported by the National Science Foundation Graduate Research Fellowship Program under grant No.(DGE-1746045). A.H.M.J.T. has received funding from the European Research Council (ERC) under the European Union’s Horizon 2020 research and innovation programme (grant agreement No. 803193/BEBOP) and from a Leverhulme Trust Research Project grant No. RPG-2018-418. A.C. acknowledges support by CFisUC strategic project (UID/FIS/04564/2019).We report the detection of the first circumbinary planet (CBP) found by Transiting Exoplanet Survey Satellite (TESS). The target, a known eclipsing binary, was observed in sectors 1 through 12 at 30 minute cadence and in sectors 4 through 12 at 2 minute cadence. It consists of two stars with masses of 1.1 M⊙ and 0.3 M⊙ on a slightly eccentric (0.16), 14.6 day orbit, producing prominent primary eclipses and shallow secondary eclipses. The planet has a radius of ∼6.9 R⊕ and was observed to make three transits across the primary star of roughly equal depths (∼0.2%) but different durations—a common signature of transiting CBPs. Its orbit is nearly circular (e ≍ 0.09) with an orbital period of 95.2 days. The orbital planes of the binary and the planet are aligned to within ∼1°. To obtain a complete solution for the system, we combined the TESS photometry with existing ground-based radial-velocity observations in a numerical photometric-dynamical model. The system demonstrates the discovery potential of TESS for CBPs and provides further understanding of the formation and evolution of planets orbiting close binary stars.Publisher PDFPeer reviewe

The mammals of Angola

Scientific investigations on the mammals of Angola started over 150 years ago, but information remains scarce and scattered, with only one recent published account. Here we provide a synthesis of the mammals of Angola based on a thorough survey of primary and grey literature, as well as recent unpublished records. We present a short history of mammal research, and provide brief information on each species known to occur in the country. Particular attention is given to endemic and near endemic species. We also provide a zoogeographic outline and information on the conservation of Angolan mammals. We found confirmed records for 291 native species, most of which from the orders Rodentia (85), Chiroptera (73), Carnivora (39), and Cetartiodactyla (33). There is a large number of endemic and near endemic species, most of which are rodents or bats. The large diversity of species is favoured by the wide range of habitats with contrasting environmental conditions, while endemism tends to be associated with unique physiographic settings such as the Angolan Escarpment. The mammal fauna of Angola includes 2 Critically Endangered, 2 Endangered, 11 Vulnerable, and 14 Near-Threatened species at the global scale. There are also 12 data deficient species, most of which are endemics or near endemics to the countryinfo:eu-repo/semantics/publishedVersio