Constellation, le dépôt institutionnel de l'Université du Québec à Chicoutimi

Model-checking data-aware temporal workflow properties with CTL-FO+

Hallé Sylvain, Villemaire Roger, Cherkaoui Omar et Ghandour Boubker. (2007). Model-checking data-aware temporal workflow properties with CTL-FO+. Dans : IEEE International Enterprise Distributed Object Computing Conference , 15-19 October 2007, Annapolis, Maryland.

[thumbnail of paper.pdf] PDF
589kB

URL officielle: http://dx.doi.org/10.1109/EDOC.2007.36


Type de document:Matériel de conférence (Non spécifié)
Date:2007
Identifiant unique:10.1109/EDOC.2007.36
Sujets:Sciences naturelles et génie > Sciences mathématiques > Informatique
Département, module, service et unité de recherche:Départements et modules > Département d'informatique et de mathématique
Mots-clés:Web service, model checking, temporal logic, CTL, first-order logic, XML
Déposé le:19 juill. 2012 19:01
Dernière modification:24 mai 2016 14:56
Afficher les statistiques de telechargements

Éditer le document (administrateurs uniquement)

Creative Commons LicenseSauf indication contraire, les documents archivés dans Constellation sont rendus disponibles selon les termes de la licence Creative Commons "Paternité, pas d'utilisation commerciale, pas de modification" 2.5 Canada.

Bibliothèque Paul-Émile-Boulet, UQAC
555, boulevard de l'Université
Chicoutimi (Québec)  CANADA G7H 2B1
418 545-5011, poste 5630