Loading...
Please wait, while we are loading the content...
Similar Documents
Enhancing formal specification and verification of temporal constraints in business processes.
| Content Provider | CiteSeerX |
|---|---|
| Researcher | Cheikhrouhou, Saoussen Kallel, Slim Guermouche, Nawal Jmaiel, Mohamed |
| Abstract | Abstract—Formal specification and verification support of time-related constraints constitute fundamental challenges for any Business Process Management (BPM) system. Reluctantly, the literature on the subject of formal specification and verifica-tion of advanced temporal constraints such as absolute temporal constraints associated with relative temporal constraints is scarce. In this paper, we propose a novel approach enabling the formal specification and verification of advanced temporal constraints of business processes. The particularity of our approach is that it caters for relative and absolute related temporal constraints while relying on the dependencies that can exist between theses constraints. In fact, it is important to deal with such dependencies to handle the violations that can arise as soon as possible at design step. To do so, we propose a formal approach which relies on the timed automata formalism. In this context, we propose a set of mapping rules and algorithms where the semantic of timed automata is preserved even if we deal with absolute and relative temporal constraints. Using the defined formal model, we investigate a model checking based verification process that aims at validating business processes against their absolute and relative temporal constraints. Index Terms—Temporal constraints; BPM; Formal specifica-tion; Formal verification |
| File Format | |
| Access Restriction | Open |
| Subject Keyword | Formal Specification Business Process Temporal Constraint Relative Temporal Constraint Advanced Temporal Constraint Formal Specifica-tion Design Step Novel Approach Time-related Constraint Mapping Rule Business Process Management Thesis Constraint Formal Verification Verification Support Index Term Temporal Constraint Formal Model Fundamental Challenge Formal Approach Absolute Related Temporal Constraint Timed Automaton Absolute Temporal Constraint Verification Process Abstract Formal Specification Automaton Formalism |
| Content Type | Text |
| Resource Type | Thesis |
