AOMD approach for context-adaptable and conflict-free Web services composition ?
We provide aspect-oriented constructs for context-adaptable Web services composition. We afford aspect-oriented constructs that can assure conflict-free composition. We present new model that allows high level specification of AOPBPEL aspects. We formally verify consistency, accuracy, conflicts and deadlocks in the composition. We provide a plugin integrated in Eclipse BPEL environment.
web services composition bpel aspect-oriented programming aspect-oriented modelling adaptability formal verification