Formal methods for process knowledge extraction
Résumé
One approach to engineering of interoperating processes is based on different types and levels of abstraction or models. These models must express and formalize not only the structural aspect of the system components, but also their behaviour, the latter being constrained by domain-specific requirements of the process (business rules). The aim of this work is to study issues of cooperative processes engineering (engineered) models and actors (organizations, software systems, etc.) wishing to interoperate and to propose solutions to the highlighted problems.
Format : Papier court
Origine : Fichiers produits par l'(les) auteur(s)
Commentaire : Résumé du poster
Origine : Fichiers produits par l'(les) auteur(s)
Commentaire : Résumé du poster