Towards a Formal Model for Agile Service Discovery and Integration

摘要: As the fundamental web services technologies are becoming mature, service composition, orchestration and choreography gaining increasing attention. The movement from static interactions between already known partners as in BPEL to dynamically discovered agile business is irresistible facing ever changing environments while aiming for specifically optimized collaborations. However, techniques models currently used lack formal foundations making them inadequate especially modeling non-functional aspects. a step toward vision of processes, this paper proposes approach unambiguously define syntax orchestrations choreographies by representing key elements service–oriented computing process algebra, π-calculus. results include description correlations context well representation an pattern derived BPMN BPEL. provide better understanding service-based processes terms algebra that will open door automated discovery binding potential via equivalence mobility.