Aspectual Interactions for Adaptive Behavioral Web-Services with Tailored Maude-Based Certification

Service technology proposes a loosely-coupled integration and composition of any service functionalities, exposed by XML-based interfaces and composed using standards such as BPEL. Nevertheless, as cross-organizations are swiftly competing, the rigid character as well as the ad-hoc deployment using these standards is still hindering the large-scale application of this service paradigm. This contribution aims at contributing towards overcoming these two serious limitations. First we put forward an intuitive event-driven architectural conceptualization that promotes behavioral rule centric transient interactions for any service composition. Towards non-intrusive and runtime adaptability of such exogenous service interactions, we then present how to abstractly endow them with aspect-oriented mechanizations. Finally a compliant service foundation with rapid-prototyping capabilities is proposed, by accordingly leveraging the distributed rewriting-logic based Maude language. In particular, capitalizing on Maude reflection, we dynamically intercept triggering events, perform inherent behavioural interactions as suitable advices and non-intrusively weave them on respective components using required interfaces.