A Rewriting Logic Approach to Resource Allocation Analysis in Business Process Models

Francisco Durán; Camilo Rocha; Gwen Salaün

doi:10.1016/j.scico.2019.102303

Article Dans Une Revue Science of Computer Programming Année : 2019

A Rewriting Logic Approach to Resource Allocation Analysis in Business Process Models

(1) , (2) , (3)

1
2
3

Francisco Durán

Fonction : Auteur
PersonId : 1003768

Universidad de Málaga [Málaga] = University of Málaga [Málaga]

Camilo Rocha

Fonction : Auteur

Pontificia universidad Javeriana, Cali

Gwen Salaün

Fonction : Auteur
PersonId : 880331

Construction of verified concurrent systems

Mots clés

Maude automated verification BPMN executable specification Business processes resource allocation rewriting logic

Domaines

Informatique [cs] Génie logiciel [cs.SE]

Fichier principal

main.pdf (1.62 Mo)

Origine : Fichiers produits par l'(les) auteur(s)

Gwen Salaün : Connectez-vous pour contacter le contributeur

https://inria.hal.science/hal-02345895

Soumis le : lundi 4 novembre 2019-16:48:17

Dernière modification le : jeudi 4 avril 2024-21:22:19

Archivage à long terme le : mercredi 5 février 2020-23:19:56

Dates et versions

hal-02345895 , version 1 (04-11-2019)

Identifiants

HAL Id : hal-02345895 , version 1
DOI : 10.1016/j.scico.2019.102303

Citer

Francisco Durán, Camilo Rocha, Gwen Salaün. A Rewriting Logic Approach to Resource Allocation Analysis in Business Process Models. Science of Computer Programming, 2019, 183, pp.1-32. ⟨10.1016/j.scico.2019.102303⟩. ⟨hal-02345895⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UGA CNRS INRIA LIG LIG_MFML_CONVECS CONVECS INRIA2 LIG_SIDCH

100 Consultations

295 Téléchargements

A Rewriting Logic Approach to Resource Allocation Analysis in Business Process Models

Mots clés

Domaines

Dates et versions

Identifiants

Citer

Exporter

Collections

Altmetric

Partager