Interval Logic for Design and Maintenance of Complex Event Processing Systems - Archive ouverte HAL
Communication Dans Un Congrès Année : 2011

Interval Logic for Design and Maintenance of Complex Event Processing Systems

Jean-René Coffi
  • Fonction : Auteur
  • PersonId : 968171
Machine Learning and Information Retrieval
Nicolas Museux
  • Fonction : Auteur
Christophe Marsala
Machine Learning and Information Retrieval
CV

Résumé

We present in this paper logical tools for verification of Complex Event Processing (CEP) system at design time, and maintenance at runtime. Although the framework is general enough for most applications, we focus on its use in Business Process Management (BPM).

Domaines

Informatique [cs]

Lip6 Publications  : Connectez-vous pour contacter le contributeur

https://hal.science/hal-01286160

Soumis le : jeudi 10 mars 2016-13:34:38

Dernière modification le : mardi 11 avril 2023-15:16:28

Fichier non déposé

Dates et versions

hal-01286160 , version 1 (10-03-2016)

Identifiants

Citer

Jean-René Coffi, Nicolas Museux, Christophe Marsala. Interval Logic for Design and Maintenance of Complex Event Processing Systems. The 5th International Workshop on Event-Driven Business Process Management, Aug 2011, Clermond-Ferrand, France. pp.407-413, ⟨10.1007/978-3-642-28108-2_39⟩. ⟨hal-01286160⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UPMC CNRS LIP6 SORBONNE-UNIVERSITE SU-SCIENCES
78 Consultations
0 Téléchargements

Altmetric

Partager

More