XChorChoreography Language for Integration of Variable Orchestration Specifications

Selma Suloglu, Bedir Tekinerdogan, Ali Dogru


In this paper, we propose and develop a new choreography language XChor which can be used to support variability in choreography specifications and integrate these with variability of orchestration specifications. We describe the metamodel of XChor and illustrate the adoption of the language by specifying user verification choreography in the adaptable security system. Orchestration and choreography models are mechanisms to realize service composition and coordination while some of them support variation to deal with reuse challenge. Several approaches have been introduced to support variability in orchestration and choreography languages. Unfortunately, variability is not explicitly addressed in current choreography languages. As such, it is hard to provide a consistent configuration of service composition within and across business organizations.


  1. Arbab F., 2004. Reo: a channel-based coordination model for component composition, In MSCS, Journal of Mathematical Structures in Computer Science. Cambridge University Press.
  2. Barker A., Walton C. D., Robertson D., 2009. Choreographing Web Services, In Journal of IEEE Transactions on Services Computing. IEEE.
  3. Barros A.P., Dumas M., ter Hofstede, A. H. M., 2005. Service Interaction Patterns, In 3rd International Conference on Business Process Management. Springer.
  4. Decker G., Kopp O., Leymann F. and Weske M., 2007. BPEL4Chor: Extending BPEL for Modelling Choreographies, In ICWS'07, 5th International Conference on Web Services, IEEE Computer Society.
  5. Erl T., 2005. Service-Oriented Architecture: Concepts, Technology, and Design, Printice Hall, Indiana, 1st edition.
  6. Fensel, D., Lausen, H., Polleres, A., Bruijn, J. de, Stollberg, M., Roman, D., Domingue, J., 2007. Enabling Semantic Web Services, The Web Service Modeling Ontology. Springer.
  7. Lanese I., Bucchiarone A., and Montesi F., 2010. A Framework for Rule-Based Dynamic Adaptation, In TGC 2010, 5th Symposium on Trustworthy Global Computing. Springer.
  8. Montesi F., Guidi C., Lucchi R. and Zavattaro G., 2007. JOLIE: a Java Orchestration Language Interpreter Engine, In Journal of Electronic Notes in Theoretical Computer Science. Elsevier.
  9. OASIS, 2007. Web Services Business Process Execution Language Specification, WS-BPEL. OASIS.
  10. OMG, 2011. BPMN 2.0 Specification. OMG.
  11. Koning M., Sun C., Sinnema M., Avgeriou P., 2009. VxBPEL: Supporting variability for Web services in BPEL. In Journal of Information & Software Technology. Elsevier.
  12. Kopp O., Engler L., Lessen T., Leymann F., Nitzsche J., 2010. “Interaction Choreography Models in BPEL: Choreographies on the Enterprise Service Bus”, In SBPM ONE 2010 - the Subjectoriented BPM Conference.
  13. Lianping C., Babar A., Nour M. A., 2009. Variability management in software product lines: a systematic review, In SPLC'09, 13th International Software Product Line Conference. Carnegie Mellon University.
  14. Nguyen T., Colman A., Talib M. A., Han J., 2011. Managing service variability: state of the art and open issues, In VaMoS 7811, 5th Workshop on Variability Modeling of Software-Intensive Systems. ACM.
  15. Sinnema M., Deelstra S., Nijhuis J., Bosch J., 2004. COVAMOF: A Framework for Modeling Variability in Software Product Families, In SPLC3, 3rd Software Product Lines Conference. Springer.
  16. W3C, 2005. Web Services Choreography Description Language Specification, W3C.
  17. XChor 2012. XChor Language Representation in Xtext, available at: http://www.xchor.com/XChorLanguagextext.pdf.
  18. Xtext, 2012. Xtext 2.3.1, available at http://www.eclipse.org/Xtext/.
  19. Zaha J. M., Barros A. P., Dumas M., Arthur H. M., 2006. Let's Dance: A Language for Service Behavior Modeling, In OTM 2006, 4th On the Move to Meaningful Internet Systems Conference. Springer.

Paper Citation

in Harvard Style

Suloglu S., Tekinerdogan B. and Dogru A. (2013). XChorChoreography Language for Integration of Variable Orchestration Specifications . In Proceedings of the Third International Symposium on Business Modeling and Software Design - Volume 1: BMSD, ISBN 978-989-8565-56-3, pages 121-130. DOI: 10.5220/0004774601210130

in Bibtex Style

author={Selma Suloglu and Bedir Tekinerdogan and Ali Dogru},
title={XChorChoreography Language for Integration of Variable Orchestration Specifications},
booktitle={Proceedings of the Third International Symposium on Business Modeling and Software Design - Volume 1: BMSD,},

in EndNote Style

JO - Proceedings of the Third International Symposium on Business Modeling and Software Design - Volume 1: BMSD,
TI - XChorChoreography Language for Integration of Variable Orchestration Specifications
SN - 978-989-8565-56-3
AU - Suloglu S.
AU - Tekinerdogan B.
AU - Dogru A.
PY - 2013
SP - 121
EP - 130
DO - 10.5220/0004774601210130