A formal model for business process decomposition based on resources consumption with security requirement

Mohammed Nassim Lacheheub, Ramdane Maamri. A formal model for business process decomposition based on resources consumption with security requirement. In 2016 International Conference on Advanced Aspects of Software Engineering, ICAASE 2016, Constantine, Algeria, October 29-30, 2016. pages 1-8, IEEE, 2016. [doi]

@inproceedings{LacheheubM16-1,
  title = {A formal model for business process decomposition based on resources consumption with security requirement},
  author = {Mohammed Nassim Lacheheub and Ramdane Maamri},
  year = {2016},
  doi = {10.1109/ICAASE.2016.7843866},
  url = {http://dx.doi.org/10.1109/ICAASE.2016.7843866},
  researchr = {https://researchr.org/publication/LacheheubM16-1},
  cites = {0},
  citedby = {0},
  pages = {1-8},
  booktitle = {2016 International Conference on Advanced Aspects of Software Engineering, ICAASE 2016, Constantine, Algeria, October 29-30, 2016},
  publisher = {IEEE},
  isbn = {978-1-5090-3263-1},
}