Choreography Conformace Checking based on Process Algebras

Manuel I. Capel

2013

Abstract

Business Process Modelling (BPM) is a conceptual activity for representing processes of an enterprise. A business process can be understood as a set of related, structured, interacting activities driven by a choreography that is capable of giving complex services to customers. The ways in which a choreography can be specified in order to check if the behaviour described is conformant with the peer--based interactions of a distributed target system, and thus to prove safety properties, should be correctly defined by identifying the appropriate processes. Hence, choreographies becomes now of great use to analyze and improve any modern company's business.

References

  1. Aalst, W. (2009). Challenges in business process analysis. in: Enterprise information systems. In Lecture Notes in Business Information Processing, v. 12:27- 42. Springer-Verlag.
  2. Dongen, B. and Aalst, W. (2004). Multi-phase process mining: Building instance graphs. Springer-Verlag, Heidelberg(D), lecture notes in computer science, v. 3288 edition.
  3. Formal Systems Europe, L. (2005). Failures-Divergence Refinement - FDR2 User Manual. Formal Systems Europe Ltd., Oxford(UK).
  4. Mendoza, L. (2011). Una Contribución a las Técnicas Avanzadas de Verificación de Procesos de Negocio (In Spanish). PhD Dissertation book. University of Granada (ISBN:978-980-12-4957-3).
  5. Mendoza, L., Capel, M. I., and Pérez, M. (2012). Conceptual framework for business processes compositional verifications. Information and Software Technology, 54(2):149:161.
  6. Peltz, C. (2003). Web services orchestration and choreography. IEEE Computer, 36(10):46-52.
  7. Qiu, Z. e. a. (2007). Towards the theoretical foundation of choreography. Proceedings of the 16th international conference on World Wide Web (WWW'07), pages 973-982.
  8. Rozinat, A. and Aalst, W. (2006). Springer-Verlag.
  9. Schneider, S. (2000). Concurrent and Real-Time Systems - The CSP Approach. John Wiley & Sons, Ltd.
  10. Zic, J. (1994). Time-constrained buffer specifications in CSP+T and Timed CSP. ACM TOPLAS, 16(6):1661:1674.
Download


Paper Citation


in Harvard Style

I. Capel M. (2013). Choreography Conformace Checking based on Process Algebras . In Proceedings of the 3rd International Conference on Cloud Computing and Services Science - Volume 1: CLOSER, ISBN 978-989-8565-52-5, pages 135-139. DOI: 10.5220/0004379001350139


in Bibtex Style

@conference{closer13,
author={Manuel I. Capel},
title={Choreography Conformace Checking based on Process Algebras},
booktitle={Proceedings of the 3rd International Conference on Cloud Computing and Services Science - Volume 1: CLOSER,},
year={2013},
pages={135-139},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0004379001350139},
isbn={978-989-8565-52-5},
}


in EndNote Style

TY - CONF
JO - Proceedings of the 3rd International Conference on Cloud Computing and Services Science - Volume 1: CLOSER,
TI - Choreography Conformace Checking based on Process Algebras
SN - 978-989-8565-52-5
AU - I. Capel M.
PY - 2013
SP - 135
EP - 139
DO - 10.5220/0004379001350139