On Adaptive and Behavioral Service-Driven Applications: A Rule-Centric Petri Nets Framework

As service technology is maturing, complex composite services are increasingly requested to satisfy challenging requirements. These include behavioral and adaptability dimensions, where business rules may play potential role due to their knowledge-intensiveness and inherent dynamism and agility. We thus propose a rule-centric conceptual model, as a tailored service-driven Petri nets variant. This founded model intrinsically integrates (intra-and inter-service) business rules governing adaptive and concurrent service behavior. The forwarded approach is progressive and UML-compliant. The validation is performed through symbolic computation by governing Net transitions with true-concurrent rewrite logic-based semantics.