Formal methods for process knowledge extraction

Dmitry Morozov 1 Sergei O. Kuznetsov 2 Mario Lezoche 1 Hervé Panetto 1
1 CRAN - Centre de Recherche en Automatique de Nancy
2 National Research University Higher School of Economics
Abstract : 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.
Type de document :
Communication dans un congrès
Stephan Merz and Jean-François Pétin. 10ème Colloque sur la Modélisation des Systèmes Réactifs, MSR 2015, Nov 2015, Nancy, France. Modélisation des Systèmes Réactifs
Liste complète des métadonnées

Littérature citée [1 références]  Voir  Masquer  Télécharger
https://hal.inria.fr/hal-01224489
Contributeur : Stephan Merz <>
Soumis le : jeudi 12 novembre 2015 - 13:45:06
Dernière modification le : jeudi 11 janvier 2018 - 06:17:36

Annexe

Identifiants

  • HAL Id : hal-01224489, version 1

Collections

MSR2015 | CRAN | TDS-MACS | UNIV-LORRAINE

Citation

Dmitry Morozov, Sergei O. Kuznetsov, Mario Lezoche, Hervé Panetto. Formal methods for process knowledge extraction. Stephan Merz and Jean-François Pétin. 10ème Colloque sur la Modélisation des Systèmes Réactifs, MSR 2015, Nov 2015, Nancy, France. Modélisation des Systèmes Réactifs. 〈hal-01224489〉

Exporter

BibTeX TEI DC DCterms EndNote

Partager

Métriques

Consultations de la notice

205

Téléchargements de fichiers

46

Contact


archive-ouverte@inria.fr