A model-based approach to service creation

This paper presents a model-based approach to support service creation. In this approach, services are assumed to be created from (available) software components. The creation process may involve multiple design steps in which the requested service is repeatedly decomposed into more detailed functional parts, until these parts can be mapped onto software components. A modelling language is used to express and enable analysis of the resulting designs, in particular the behaviour aspects. Methods are needed to verify the correctness of each design step. A technique called behaviour refinement is introduced to assess the conformance relation between an abstract behaviour and a more concrete (detailed) behaviour. This technique is based on the application of abstraction rules to determine the abstraction of the concrete behaviour such that the obtained abstraction can be compared to the original abstract behaviour. The application of this refinement technique throughout the creation process enforces the correctness of the created servic

XSRL: An XML web-services request language

One of the most serious challenges that web-service enabled e-marketplaces face is the lack of formal support for expressing service requests against UDDI-resident web-services in order to solve a complex business problem. In this paper we present a web-service request language (XSRL) developed on the basis of AI planning and the XML database query language XQuery. This framework is designed to handle and execute XSRL requests and is capable of performing planning actions under uncertainty on the basis of refinement and revision as new service-related information is accumulated (via interaction with the user or UDDI) and as execution circumstances necessitate change

Planning and monitoring the execution of web service requests

Interaction with web services enabled marketplaces would be greatly facilitated if users were given a high level service request language to express their goals in complex business domains. This could be achieved by using a planning framework which monitors the execution of planned goals against predefined standard business processes and interacts with the user to achieve goal satisfaction. We present a planning architecture that accepts high level requests, expressed in XSRL (Xml Service Request Language). The planning framework is based on the principle of interleaving planning and execution. This is accomplished on the basis of refinement and revision as new service-related information is gathered from UDDI and web services instances, and as execution circumstances necessitate change. The system interacts with the user whenever confirmation or verification is needed

A Web Service for Protein Refinement and Refinement of Membrane Proteins

The structures obtained from homology modeling methods are of intermediate resolution 1-3Ã… from true structure. Energy minimization methods allow us to refine the proteins and obtain native like structures. Previous work shows that some of these methods performed well on soluble proteins. So we extended this work on membrane proteins. Prediction of membrane protein structures is a particularly important, since they are important biological drug targets, and since their number is vanishingly small, as a result of the inherent difficulties in working with these molecules experimentally. Hence there is a pressing need for alternative computational protein structure prediction methods. This work tests the ability of common molecular mechanics potential functions (AMBER99/03) and a hybrid knowledge-based potential function (KB_0.1) to refine near-native structures of membrane proteins in vacuo. A web based utility for protein refinement has been developed and deployed based on the KB_0.1 potential to refine proteins

A Web Service for Protein Refinement and Refinement of Membrane Proteins

The structures obtained from homology modeling methods are of intermediate resolution 1-3Ã… from true structure. Energy minimization methods allow us to refine the proteins and obtain native like structures. Previous work shows that some of these methods performed well on soluble proteins. So we extended this work on membrane proteins. Prediction of membrane protein structures is a particularly important, since they are important biological drug targets, and since their number is vanishingly small, as a result of the inherent difficulties in working with these molecules experimentally. Hence there is a pressing need for alternative computational protein structure prediction methods. This work tests the ability of common molecular mechanics potential functions (AMBER99/03) and a hybrid knowledge-based potential function (KB_0.1) to refine near-native structures of membrane proteins in vacuo. A web based utility for protein refinement has been developed and deployed based on the KB_0.1 potential to refine proteins

Framing Outcomes and Program Assessment for Digital Scholarship Services: A Logic Model Approach

This is an Accepted Manuscript of an article published by the Association of College and Research Libraries in College and Research Libraries in March 2021, available online: https://doi.org/10.5860/crl.82.2.142Assessing digital scholarship services offered either through academic libraries or elsewhere on campuses is important for both program development and service refinement. Digital scholarship support is influenced by fluid campus priorities and limited resources, including staffing, service models, infrastructure, and partnership opportunities available at a university. Digital scholarship support is built upon deep, ongoing relationships and there is an intrinsic need to balance these time-intensive collaborations with scalable service offerings. Therefore, typical library assessment methods do not adequately capture the sustained engagement and impacts to research support and collaboration that come from digital scholarship services. This article discusses the creation of a logic model as one approach to frame assessment of digital scholarship services in the university environment.Publisher allows immediate open acces