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

Journal Articles Science of Computer Programming Year : 2019

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

(1) , (2) , (3)

1
2
3

Francisco Durán

Function : Author
PersonId : 1003768

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

Camilo Rocha

Function : Author

Pontificia universidad Javeriana, Cali

Gwen Salaün

Function : Author
PersonId : 880331

Construction of verified concurrent systems

Keywords

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

Domains

Computer Science [cs] Software Engineering [cs.SE]

Fichier principal

main.pdf (1.62 Mo)

Origin : Files produced by the author(s)

Gwen Salaün : Connect in order to contact the contributor

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

Submitted on : Monday, November 4, 2019-4:48:17 PM

Last modification on : Thursday, April 4, 2024-9:22:19 PM

Long-term archiving on: Wednesday, February 5, 2020-11:19:56 PM

Dates and versions

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

Identifiers

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

Cite

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⟩

Export

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UGA CNRS INRIA LIG LIG_MFML_CONVECS CONVECS INRIA2 LIG_SIDCH

100 View

295 Download

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

Keywords

Domains

Dates and versions

Identifiers

Cite

Export

Collections

Altmetric

Share