Enhancing Formal Specification and Verification of Temporal Constraints in Business Processes

@article{Cheikhrouhou2014EnhancingFS,
  title={Enhancing Formal Specification and Verification of Temporal Constraints in Business Processes},
  author={Saoussen Cheikhrouhou and Slim Kallel and Nawal Guermouche and Mohamed Jmaiel},
  journal={2014 IEEE International Conference on Services Computing},
  year={2014},
  pages={701-708}
}
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 verification 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… CONTINUE READING
Highly Cited
This paper has 17 citations. REVIEW CITATIONS

Citations

Publications citing this paper.
Showing 1-9 of 9 extracted citations

Formal Verification of Temporal Constraints and Allocated Cloud Resources in Business Processes

2018 IEEE 32nd International Conference on Advanced Information Networking and Applications (AINA) • 2018
View 2 Excerpts

Formal verification of business processes as timed automata

2017 12th Iberian Conference on Information Systems and Technologies (CISTI) • 2017
View 3 Excerpts

Modeling and verification of temporal properties in cyber-physical systems

2017 14th IEEE Annual Consumer Communications & Networking Conference (CCNC) • 2017
View 1 Excerpt

An Epidemic Model Based Temporal Violation Prediction Strategy for Large Batch of Parallel Business Cloud Workflows

2015 IEEE International Conference on Data Science and Data Intensive Systems • 2015
View 1 Excerpt

Toward a Verification of Time-Centric Business Process Models

2014 IEEE 23rd International WETICE Conference • 2014
View 1 Excerpt

References

Publications referenced by this paper.
Showing 1-10 of 15 references

Technical Report on the Verication of Temporal Constraints in Business Processes

S.Cheikhrouhou, S.Kallel, N.Guermouche, M.Jmaiel
http://www.redcad.org/PDFs/CheikhrouhouTR2014.pdf, Tech. Rep., 2014. • 2014
View 5 Excerpts
Highly Influenced

Timed Testing with TorX

View 5 Excerpts
Highly Influenced

A Survey on Timeaware Business Process Modeling , ” in Proceedings of the 15 th International Conference on Enterprise Information Systems

S. Kallel S. Cheikhrouhou, N. Guermouche, M. Jmaiel
2013

Dynamic Checking and Solution to Temporal Violations in Concurrent Workflow Processes

IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans • 2011
View 3 Excerpts

Formal verification of business processes with temporal and resource constraints

2011 IEEE International Conference on Systems, Man, and Cybernetics • 2011
View 3 Excerpts

Specify - ing and Monitoring Temporal Properties in Web Services Compositions , ” in Proceedings of the 7 th IEEE European Conference on Web Services

A. Charfi S. Kallel, T. Dinkelaker, M. Mezini, M. Jmaiel
IEEE Computer Society • 2009

Similar Papers

Loading similar papers…