iXML: a process-pluggable ADL for supporting architectural analysis in component-based systems

Component-based software development (CBD) is an architecture-centric process that relies on the integration of pre-fabricated software components to construct systems. Architecture plays a central in CBD by providing a means to document system development, verify the integrity and adequacy of component compositions, and to manage change. Architectural analysis can provide an effective and relatively low-cost mechanism for checking design constraints and improving the quality of a component-based system. Architecture description languages (ADLs) offer a potential mechanism for supporting architectural analysis in CBD. However, current ADLs vary markedly in their modelling notations, the kinds of entities they describe, the properties and relationships they express about the entities, and the analysis that may be conducted on the entities. This paper presents iXML ADL, a language-independent scenario-driven architecture description language, to support architecture analysis in CBD

Design of an autonomous software platform for future symbiotic service management

Nowadays, public as well as private communication infrastructures are all contending for the same limited amount of bandwidth. To optimally share network resources, symbiotic networks have been proposed, which cross logical and physical boundaries to improve the reliability, scalability, and energy efficiency of the network as a whole as well as its constituents. This paper focuses on software services in such symbiotic networks. We propose a platform for the intelligent composition of services provided by symbiotically connected parties, resulting in novel cooperation opportunities. The platform harvests Semantic Web technology to describe services in a highly expressive manner, and constructs service compositions using SeCoA, our tunable best-first search algorithm. The resulting compositions are then enacted via CaPI, a reconfigurable middleware infrastructure. By means of an illustrative scenario, we provide further insight into the platform's functioning

A Framework for Dynamic Web Services Composition

Dynamic composition of web services is a promising approach and at the same time a challenging research area for the dissemination of service-oriented applications. It is widely recognised that service semantics is a key element for the dynamic composition of Web services, since it allows the unambiguous descriptions of a service's capabilities and parameters. This paper introduces a framework for performing dynamic service composition by exploiting the semantic matchmaking between service parameters (i.e., outputs and inputs) to enable their interconnection and interaction. The basic assumption of the framework is that matchmaking enables finding semantic compatibilities among independently defined service descriptions. We also developed a composition algorithm that follows a semantic graph-based approach, in which a graph represents service compositions and the nodes of this graph represent semantic connections between services. Moreover, functional and non-functional properties of services are considered, to enable the computation of relevant and most suitable service compositions for some service request. The suggested end-to-end functional level service composition framework is illustrated with a realistic application scenario from the IST SPICE project

Evidence functions: a compositional approach to information

The discrete case of Bayes’ formula is considered the paradigm of information acquisition. Prior and posterior probability functions, as well as likelihood functions, called evidence functions, are compositions following the Aitchison geometry of the simplex, and have thus vector character. Bayes’ formula becomes a vector addition. The Aitchison norm of an evidence function is introduced as a scalar measurement of information. A fictitious fire scenario serves as illustration. Two different inspections of affected houses are considered. Two questions are addressed: (a) which is the information provided by the outcomes of inspections, and (b) which is the most informative inspection.Peer Reviewe

PADAMOT : project overview report

Background and relevance to radioactive waste management International consensus confirms that placing radioactive wastes and spent nuclear fuel deep underground in a geological repository is the generally preferred option for their long-term management and disposal. This strategy provides a number of advantages compared to leaving it on or near the Earth’s surface. These advantages come about because, for a well chosen site, the geosphere can provide: • a physical barrier that can negate or buffer against the effects of surface dominated natural disruptive processes such as deep weathering, glaciation, river and marine erosion or flooding, asteroid/comet impact and earthquake shaking etc. • long and slow groundwater return pathways from the facility to the biosphere along which retardation, dilution and dispersion processes may operate to reduce radionuclide concentration in the groundwater. • a stable, and benign geochemical environment to maximise the longevity of the engineered barriers such as the waste containers and backfill in the facility. • a natural radiation shield around the wastes. • a mechanically stable environment in which the facility can be constructed and will afterwards be protected. • an environment which reduces the likelihood of the repository being disturbed by inadvertent human intrusion such as land use changes, construction projects, drilling, quarrying and mining etc. • protection against the effects of deliberate human activities such as vandalism, terrorism and war etc. However, safety considerations for storing and disposing of long-lived radioactive wastes must take into account various scenarios that might affect the ability of the geosphere to provide the functionality listed above. Therefore, in order to provide confidence in the ability of a repository to perform within the deep geological setting at a particular site, a demonstration of geosphere “stability” needs to be made. Stability is defined here to be the capacity of a geological and hydrogeological system to minimise the impact of external influences on the repository environment, or at least to account for them in a manner that would allow their impacts to be evaluated and accounted for in any safety assessments. A repository should be sited where the deep geosphere is a stable host in which the engineered containment can continue to perform according to design and in which the surrounding hydrogeological, geomechanical and geochemical environment will continue to operate as a natural barrier to radionuclide movement towards the biosphere. However, over the long periods of time during which long-lived radioactive wastes will pose a hazard, environmental change at the surface has the potential to disrupt the stability of the geosphere and therefore the causes of environmental change and their potential consequences need to be evaluated. As noted above, environmental change can include processes such as deep weathering, glaciation, river and marine erosion. It can also lead to changes in groundwater boundary conditions through alternating recharge/discharge relationships. One of the key drivers for environmental change is climate variability. The question then arises, how can geosphere stability be assessed with respect to changes in climate? Key issues raised in connection with this are: • What evidence is there that 'going underground' eliminates the extreme conditions that storage on the surface would be subjected to in the long term? • How can the additional stability and safety of the deep geosphere be demonstrated with evidence from the natural system? As a corollary to this, the capacity of repository sites deep underground in stable rock masses to mitigate potential impacts of future climate change on groundwater conditions therefore needs to be tested and demonstrated. To date, generic scenarios for groundwater evolution relating to climate change are currently weakly constrained by data and process understanding. Hence, the possibility of site-specific changes of groundwater conditions in the future can only be assessed and demonstrated by studying groundwater evolution in the past. Stability of groundwater conditions in the past is an indication of future stability, though both the climatic and geological contexts must be taken into account in making such an assertion

Evidence functions: a compositional approach to information

The discrete case of Bayes’ formula is considered the paradigm of information acquisition. Prior and posterior probability functions, as well as likelihood functions, called evidence functions, are compositions following the Aitchison geometry of the simplex, and have thus vector character. Bayes’ formula becomes a vector addition. The Aitchison norm of an evidence function is introduced as a scalar measurement of information. A fictitious fire scenario serves as illustration. Two different inspections of affected houses are considered. Two questions are addressed: (a) which is the information provided by the outcomes of inspections, and (b) which is the most informative inspection.Peer ReviewedPostprint (author's final draft

Three Possible Origins for the Gas Layer on GJ 1214b

We present an analysis of the bulk composition of the MEarth transiting super Earth exoplanet GJ 1214b using planet interior structure models. We consider three possible origins for the gas layer on GJ 1214b: direct accretion of gas from the protoplanetary nebula, sublimation of ices, and outgassing from rocky material. Armed only with measurements of the planet mass (M_p=6.55+/-0.98 M_{earth}), radius (R_p=2.678+/-0.13 R_{earth}), and stellar irradiation level, our main conclusion is that we cannot infer a unique composition. A diverse range of planet interiors fits the measured planet properties. Nonetheless, GJ 1214b's relatively low average density (rho_p=1870+/-400 kg m^{-3}) means that it almost certainly has a significant gas component. Our second major conclusion is that under most conditions we consider GJ 1214b would not have liquid water. Even if the outer envelope is predominantly sublimated water ice, the envelope will likely consist of a super-fluid layer sandwiched between vapor above and plasma (electrically conductive fluid) below at greater depths. In our models, a low intrinsic planet luminosity (<~2TW) is needed for a water envelope on GJ 1214b to pass through the liquid phase.Comment: 10 pages, 5 figures, published in Ap

Primary crustal melt compositions: Insights into the controls, mechanisms and timing of generation from kinetics experiments and melt inclusions

We explore the controls, mechanisms and timing of generation of primary melts and their compositions, and show that the novel studies of melt inclusions in migmatites can provide important insights into the processes of crustal anatexis of a particular rock. Partial melting in the source region of granites is dependent on five main processes: (i) supply of heat; (ii) mineral–melt interface reactions associated with the detachment and supply of mineral components to the melt, (iii) diffusion in the melt, (iv) diffusion in minerals, and (v) recrystallization of minerals. As the kinetics of these several processes vary over several orders of magnitude, it is essential to evaluate in Nature which of these processes control the rate of melting, the composition of melts, and the extent to which residue–melt chemical equilibrium is attained under different circumstances. To shed light on these issues, we combine data from experimental and melt inclusion studies. First, data from an extensive experimental program on the kinetics of melting of crustal protoliths and diffusion in granite melt are used to set up the necessary framework that describes how primary melt compositions are established during crustal anatexis. Then, we use this reference frame and compare compositional trends from experiments with the composition of melt inclusions analyzed in particular migmatites. We show that, for the case of El Hoyazo anatectic enclaves in lavas, the composition of glassy melt inclusions provides important information on the nature and mechanisms of anatexis during the prograde suprasolidus history of these rocks, including melting temperatures and reactions, and extent of melt interconnection, melt homogenization and melt–residue equilibrium. Compositional trends in several of the rehomogenized melt inclusions in garnet from migmatites/granulites in anatectic terranes are consistent with diffusion in melt-controlled melting, though trace element compositions of melt inclusions and coexisting minerals are necessary to provide further clues on the nature of anatexis in these particular rocks.This work was supported by the National Science Foundation [grants EAR-9603199, EAR-9618867, EAR-9625517 and EAR-9404658], the Italian Consiglio Nazionale delle Ricerche, the European Commission (grant 01-LECEMA22F through contract No. ERAS-CT-2003-980409; and a H2020 Marie Skłodowska-Curie Actions under grant agreement No. 654606), the Italian Ministry of Education, University and Research (grants PRIN 2007278A22, 2010TT22SC and SIR RBSI14Y7PF), the Università degli Studi di Padova [Progetto di Ateneo CPDA107188/10 and a Piscopia—Marie Curie Fellowship under grant agreement No. 600376], the Australian Research Council (Australian Professorial Fellowship and Discovery Grants Nos. DP0342473 and DP0556700), and the National Research Foundation (South Africa; Incentives For Rated Researchers Program)

NLSC: Unrestricted Natural Language-based Service Composition through Sentence Embeddings

Current approaches for service composition (assemblies of atomic services) require developers to use: (a) domain-specific semantics to formalize services that restrict the vocabulary for their descriptions, and (b) translation mechanisms for service retrieval to convert unstructured user requests to strongly-typed semantic representations. In our work, we argue that effort to developing service descriptions, request translations, and matching mechanisms could be reduced using unrestricted natural language; allowing both: (1) end-users to intuitively express their needs using natural language, and (2) service developers to develop services without relying on syntactic/semantic description languages. Although there are some natural language-based service composition approaches, they restrict service retrieval to syntactic/semantic matching. With recent developments in Machine learning and Natural Language Processing, we motivate the use of Sentence Embeddings by leveraging richer semantic representations of sentences for service description, matching and retrieval. Experimental results show that service composition development effort may be reduced by more than 44\% while keeping a high precision/recall when matching high-level user requests with low-level service method invocations.Comment: This paper will appear on SCC'19 (IEEE International Conference on Services Computing) on July 1