Digital Libraries: From Process Modelling to Grid-based Service Oriented Architecture
Zaheer Abbas Khan, Mohammed Odeh, Richard McClatchey

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.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsDistributed and Parallel Computing Systems · Service-Oriented Architecture and Web Services · Business Process Modeling and Analysis
