Modeling aspect-oriented web service compositions at shared join points

Many researches have focused on aspect-oriented web service composition domain. However, formal specification and analysis for the composition is not well exploited, especially for analyzing conflicts of aspects at shared join points. In this paper, we propose a Petri net-based algebra for modeling aspect composition at shared join point, which is based on the aspect-oriented web service composition model that we have proposed before. In this paper, we propose a Petri net-based algebra for modeling aspects composition at shared join point, which is based on the aspect-oriented web service composition model that we have proposed before. The model is used to analyze the semantic conflicts among aspects when they are superimposed on the same join point.