Service interruption on Monday 11 July from 12:30 to 13:00: all the sites of the CCSD (HAL, Epiciences, SciencesConf, AureHAL) will be inaccessible (network hardware connection).
Skip to Main content Skip to Navigation
Conference papers

Formal methods for process knowledge extraction

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.
Complete list of metadata

Cited literature [1 references]  Display  Hide  Download
Contributor : Stephan Merz Connect in order to contact the contributor
Submitted on : Thursday, November 12, 2015 - 1:45:06 PM
Last modification on : Friday, January 7, 2022 - 9:54:05 AM



  • HAL Id : hal-01224489, version 1



Dmitry Morozov, Sergei O. Kuznetsov, Mario Lezoche, Hervé Panetto. Formal methods for process knowledge extraction. 10ème Colloque sur la Modélisation des Systèmes Réactifs, MSR 2015, Nov 2015, Nancy, France. ⟨hal-01224489⟩



Record views


Files downloads