Towards a Disciplined Engineering of Adaptive Service-oriented Business Processes

Today’s cross-organizations are increasingly coordinating their capabilitiesin the quest of dynamically adaptable and thus highly competitiverealistic services. Unfortunately, challenging problems arestill to circumvent towards such objective, including the inherentrigidity, knowledge-scarce and lack of dependability of most Web-Services standards (e.g. WSDL, BPEL and WS-CDL). We are contributingby putting forwards an integrated model-driven approach,with as main conceptual / deployment milestones and phases the followings.Firstly, at the domain-level, we are bringing profiled UMLuse-cases and class-diagrams to intuitively capture the structuringof service-driven applications. Secondly, to cope with any requiredknowledge and its agility, we are governing any business activitywith event-driven business rules. Thirdly, towards verified conceptualization,we are shifting these UML-BRules-centric service requirementstowards a tailored rule-centric service-oriented Petri netsformalism, we endow with a truly-distributed operational semanticsbased on rewriting logic. Fourthly, capitalizing on aspect-orientedmechanisms, we progressively upgrade that service formalism withan adaptability aspectual-level, where governing business rules canbe dynamically adapted and (un)woven. Finally, towards a compliantdeployment, we are developing an aspectual .Net framework forefficiently adapting Web-Services. A typical travel-agency is takenfor proof of concepts