• A
  • A
  • A
  • ABC
  • ABC
  • ABC
  • А
  • А
  • А
  • А
  • А
Regular version of the site

An Approach for the Specification and Analysis of Business Processes

Event ended

Speaker: Khalil Mecheraoui, University of Abdelhamid Mehri Constantine 2Laboratory of Modelling and Implementation of Complex systems (MISC Lab), Constantine, Algeria.

 

In order to enable enterprises to operate more effectively and efficiently, providing a high reliability of the specification and analysis of business processes is an active research subject. In this seminar, we first introduce an extension of Petri nets called HL-DToN that was proposed to deal with different aspects of business processes by supporting different perspectives. Next, we explain how we provided an HL-DToN semantics for BPEL. This latter is the most well known and used composition language which defines business processes by the orchestration of various partner interactions. Then, we explain the concept of maximality semantics. Maximality semantics expresses the true-concurrency in a natural way avoiding the state explosion problem. Actually, it has been proven necessary and sufficient for the action refinement and for action durations. Next, we focus on a novel approach to construct a hybrid formalism coated by maximality semantics. We abstract the reachable states of HL-DToN and relations among them. Reachable states are hybrid zones that consist of time information (durations, start-event intervals, and clocks) as well as markings (free and bound tokens distribution). We call the new formalism: Hybrid-Zone Graph based on Maximality Semantics (ZoM). Furthermore, two important properties, namely Home Marking and Reversibility, are distinguished for HL-DToN and verified using the low-level formalism ZoM. Finally, the seminar is concluded by discussing our view of applying conformance checking techniques on real event logs.

Time: 01:30 pm - 02:30 pm

Seminar working language – English