
Rigorous development of composite grid services
Keywords: Bpel (Business Process Execution Logic); Grid service; Lotos (Language Of Temporal Ordering Specification); Service composition; Service orchestration; Validation; Verification; Workflow modelling