Comparing CLP(FD) and SMT Approaches Applied to Workflow Nets Verification
| Autor: | Bride, Hadrien, Kouchnarenko, Olga, Peureux, Fabien, Voiron, Guillaume |
|---|---|
| Přispěvatelé: | Franche-Comté Électronique Mécanique, Thermique et Optique - Sciences et Technologies (UMR 6174) (FEMTO-ST), Université de Technologie de Belfort-Montbeliard (UTBM)-Ecole Nationale Supérieure de Mécanique et des Microtechniques (ENSMM)-Université de Franche-Comté (UFC), Université Bourgogne Franche-Comté [COMUE] (UBFC)-Université Bourgogne Franche-Comté [COMUE] (UBFC)-Centre National de la Recherche Scientifique (CNRS) |
| Jazyk: | angličtina |
| Rok vydání: | 2016 |
| Předmět: |
[INFO.INFO-IU]Computer Science [cs]/Ubiquitous Computing
[INFO.INFO-CR]Computer Science [cs]/Cryptography and Security [cs.CR] [INFO.INFO-MA]Computer Science [cs]/Multiagent Systems [cs.MA] [INFO.INFO-ET]Computer Science [cs]/Emerging Technologies [cs.ET] [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE] [INFO.INFO-DC]Computer Science [cs]/Distributed Parallel and Cluster Computing [cs.DC] [INFO.INFO-MO]Computer Science [cs]/Modeling and Simulation |
| Zdroj: | Approches Formelles dans l'Assistance au Développement de Logiciels Approches Formelles dans l'Assistance au Développement de Logiciels, Jun 2016, Besançon, France |
| Popis: | International audience; Cet article propose une évaluation et une comparaison de deux méthodes de résolution de systèmes de contraintes, SMT (Satisfiability Modulo Theory) et CSP (Constraint Satisfaction Problem), appliquées à la vérification de spécifications modales. Ce processus de vérification vise à garantir la conformité de processus métier, représentés sous la forme de réseaux de Petri de type Workflow, vis-à-vis de comportements nécessaires ou admissibles, modélisés par des formules modales. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|