Rule-Based Behavioral Reasoning on Semantic Business Processes

Download Now
Provided by: IASI-CNR
Topic: Big Data
Format: PDF
The authors propose a rule-based framework for representing and reasoning about business processes from both the procedural and ontological point of views. To this end they define a rule-based procedural semantics for a relevant fragment of BPMN, a very popular graphical notation for specifying business processes. Their semantics defines a state transition system by following an approach similar to the Fluent Calculus, and allows the user to specify state change in terms of preconditions and effects of the enactment of activities.
Download Now

Find By Topic