Service composition allows web services to be combined into new ones. Web service composition is increasingly common in mission-critical applications. It has therefore become important to verify the correctness of web service composition using formal methods. The composition of grid services is a similar but new goal. We have previously developed an abstract graphical notation called CRESS for ...

This thesis presents an approach to design, specify, validate, verify, implement, and evaluate composed web/grid services. Web and grid services can be composed to create new services with complex behaviours. The BPEL (Business Process Execution Language) standard was created to enable the orchestration of web services, but there have also been investigation of its use for grid services. BPEL s...

Metagenomic analysis of diarrhea samples revealed the presence of numerous human enteric viruses and small circular Rep-encoding single-stranded DNA (CRESS-DNA) genomes. One such genome was related to smacoviruses, while eight others were related to genomes reported in the feces of different mammals. The tropism of these CRESS-DNA viruses remains unknown.

Coatings that reduce the fat content of fried food are an alternate option to reach both health concerns and consumer demand. Mucilage garden cress (Lepidium sativum) seed extract (MSE) was modified into edible coating with or without ascorbic acid (AA) coat fresh-cut potato strips during cold storage (5 °C 95% RH for 12 days) subsequent frying. Physical attributes such as color, weight loss, t...

In a previous paper the CSCR domain was defined. Here this is taken to the next stage where we consider the design of a particular Collaborative Research Environment to support Students and Supervisors CRESS. Following the CSCR structure a preliminary design for CRESS has been established and a portal framework analysis is undertaken in order to determine the most appropriate set of tools for i...