Skip to Main Content
Service technology promotes loosely-coupled cross-organizational cooperations, in the quest of highly adaptive and thus competitive services. Nevertheless, most of current service standards (e.g. BPEL and WS-CDL) remain inherently rigid, knowledge-scarce and only descriptive. Towards developing such adaptive yet dependable services, we propose a stepwise approach. At the domain-level, stereotyped UML class-diagrams are adopted to describe structural features of services. We then govern their volatile behavioral features, using inherent ECA-driven business rules. For the formal validation and verification, we leverage such UML-BRules-based service requirements towards a tailored rule-centric service-oriented Petri nets formalism. This CSrv-Nets is endowed with a distributed rewriting-logic based operational semantics. Towards runtime-time adaptability, we further gradually upgrade that service formalism with an aspectual-level, where governing ECA-driven rules can be dynamically (un)woven on service components. Finally, we bridge the gap to Web-Service technology, by presenting a developed aspectual .Net framework that is fully compliant with the above approach founded phases.