Digital Libraries: From Process Modelling to Grid-based Service Oriented Architecture

TL;DR

This paper explores how Role Activity Diagrams can model scientific publishing processes in digital libraries and assesses Pi-Calculus formal methods for implementing these models in service-oriented grid computing systems.

Contribution

It introduces a Pi-Calculus based formal transformation approach to enact RAD models of digital library processes within SOA-based grid environments.

Findings

RAD models can represent digital library workflows effectively

Pi-Calculus formalism aids in transforming models for grid deployment

Identifies design considerations for SOA-based enactment

Abstract

Graphical Business Process Modelling Languages (BPML) like Role Activity Diagrams (RAD) provide ease and flexibility for modelling business behaviour. However, these languages show limited applicability in terms of enactment over distributed systems paradigms like Service Oriented Architecture (SOA) based grid computing. This paper investigates RAD modelling of a Scientific Publishing Process (SPP) for Digital Libraries (DL) and tries to determine the suitability of Pi-Calculus based formal approaches to enact SOA based grid computing. In order to achieve this purpose, the Pi-Calculus based formal transformation from a RAD model of SPP for DL draws attention towards a number of challenging issues including issues that require particular design considerations for appropriate enactment in a SOA based grid system.