62,563 research outputs found
Formal Aspects of Grid Brokering
Coordination in distributed environments, like Grids, involves selecting the
most appropriate services, resources or compositions to carry out the planned
activities. Such functionalities appear at various levels of the infrastructure
and in various means forming a blurry domain, where it is hard to see how the
participating components are related and what their relevant properties are. In
this paper we focus on a subset of these problems: resource brokering in Grid
middleware. This paper aims at establishing a semantical model for brokering
and related activities by defining brokering agents at three levels of the Grid
middleware for resource, host and broker selection. The main contribution of
this paper is the definition and decomposition of different brokering
components in Grids by providing a formal model using Abstract State Machines
Variational Integrators for Nonvariational Partial Differential Equations
Variational integrators for Lagrangian dynamical systems provide a systematic
way to derive geometric numerical methods. These methods preserve a discrete
multisymplectic form as well as momenta associated to symmetries of the
Lagrangian via Noether's theorem. An inevitable prerequisite for the derivation
of variational integrators is the existence of a variational formulation for
the considered problem. Even though for a large class of systems this
requirement is fulfilled, there are many interesting examples which do not
belong to this class, e.g., equations of advection-diffusion type frequently
encountered in fluid dynamics or plasma physics. On the other hand, it is
always possible to embed an arbitrary dynamical system into a larger Lagrangian
system using the method of formal (or adjoint) Lagrangians. We investigate the
application of the variational integrator method to formal Lagrangians, and
thereby extend the application domain of variational integrators to include
potentially all dynamical systems. The theory is supported by physically
relevant examples, such as the advection equation and the vorticity equation,
and numerically verified. Remarkably, the integrator for the vorticity equation
combines Arakawa's discretisation of the Poisson brackets with a symplectic
time stepping scheme in a fully covariant way such that the discrete energy is
exactly preserved. In the presentation of the results, we try to make the
geometric framework of variational integrators accessible to non specialists.Comment: 49 page
Assessing digital preservation frameworks: the approach of the SHAMAN project
How can we deliver infrastructure capable of supporting the
preservation of digital objects, as well as the services that can be applied to those digital objects, in ways that future unknown systems will understand? A critical problem in developing systems is the process of validating whether the delivered solution effectively reflects the validated requirements. This is a challenge also for the EU-funded SHAMAN project, which aims to develop an integrated preservation framework using grid-technologies for distributed networks of digital preservation systems, for managing the storage, access, presentation, and manipulation of digital objects over time. Recognising this, the project team ensured that alongside the user requirements an assessment framework was developed. This paper presents the assessment of the SHAMAN demonstrators for the memory institution, industrial design and engineering and eScience domains, from the point of view of
user’s needs and fitness for purpose. An innovative synergistic use of TRAC criteria, DRAMBORA risk registry and mitigation strategies, iRODS rules and information system models requirements has been designed, with the underlying goal to define associated policies, rules and state information, and make them wherever possible machine-encodable and enforceable. The described assessment framework can be valuable not only for the implementers of this project preservation framework, but for the wider digital preservation community, because it provides a
holistic approach to assessing and validating the preservation of digital libraries, digital repositories and data centres
Integration via Meaning: Using the Semantic Web to deliver Web Services
Presented at the CRIS2002 Conference in Kassel.-- 9 pages.-- Contains: Conference paper (PDF) + PPT presentation.The major developments of the World Wide Web (WWW) in the last two years have been Web Services and the Semantic Web. The former allows the construction of distributed systems across the WWW by providing a lightweight middleware architecture. The latter provides an infrastructure for accessing resources on the WWW via their relationships with respect to conceptual descriptions. In this paper, I shall review the progress undertaken in each of these two areas. Further, I shall argue that in order for the aims of both the Semantic Web and the Web Services activities to be successful, then the Web Service architecture needs to be augmented by concepts and tools of the Semantic Web. This infrastructure will allow resource discovery, brokering and access to be enabled in a standardised, integrated and interoperable manner. Finally, I survey
the CLRC Information Technology R&D programme to show how it is contributing to the development of this future infrastructure
- …