Exploring the Potential of Global Types for Adding a Choreography Perspective to the jABC Framework

Paola Giannini, Anna-Lena Lamprecht, Tiziana Margaria

Abstract

We discuss how global types, aka multiparty session types, provide a complementary perspective on workflow models within the jABC modeling framework. On a reference example from the Semantic Web Services Challenge we show how the service orchestrations of jABC workflow applications can be expressed as service choreographies based on global types. Roles, identified with sets of logically related Service-Independent Building Blocks (SIBs), bridge between the two ways of looking at the behavior of systems. We compare the degree of declarativity and robustness in the face of changes of the reference example modeled with the jABC framework with as a global types specification.

References

  1. Al-Areqi, S., Kriewald, S., Lamprecht, A.-L., Reusser, D., Wrobel, M., and Margaria, T. (2014). Towards a flexible assessment of climate impacts: The example of agile workflows for the ci:grasp platform. In ISoLA2014, LNCS 8803, pp. 420-435. Springer.
  2. Bakera, M., Margaria, T., Renner, C., and Steffen, B. (2009). Tool-supported enhancement of diagnosis in model-driven verification. Innovations in Systems and Software Engineering, 5:211-228.
  3. Bandara, K. Y., Wang, M., Pahl, C. (2015). An extended ontology-based context model and manipulation calculus for dynamic web service processes. Service Oriented Computing and Applications, 9(2):87-106.
  4. Honda, K., Mukhamedov, A., Brown, G., Chen, T., and Yoshida, N. (2011). Scribbling interactions with a formal foundation. In ICDCIT 2011, LNCS 6536, pp. 55-75. Springer.
  5. Honda, K., Vasconcelos, V., and Kubo, M. (1998). Language Primitives and Type Disciplines for Structured Communication-based Programming. In ESOP'98, volume 1381 of LNCS, pages 22-138. Springer.
  6. Honda, K., Yoshida, N., and Carbone, M. (2008). Multiparty Asynchronous Session Types. In POPL'08, pages 273-284. ACM.
  7. Inzinger, C., Hummer, W., Lytra, I., et al. (2013). Decisions, models, and monitoring - A lifecycle model for the evolution of service-based systems. In EDOC 2013, pp. 185-194. IEEE Computer Society.
  8. Margaria, T., Kubczak, C., and Steffen, B. (2012). The xmdd approach to the semantic web services challenge. In Semantic Web Services, pp. 233-248. Springer.
  9. Margaria, T. and Steffen, B. (2007). LTL-Guided Planning: Revisiting Automatic Tool Composition in ETI. In SEW 2007, pages 214--226. IEEE Computer Society.
  10. Margaria, T. and Steffen, B. (2009). Agile IT: Thinking in User-Centric Models. In ISoLA 2008, Vol.17 of CCIS, pp. 490-502. Springer.
  11. Margaria, T., Steffen, B., and Kubczak, C. (2010). Evolution support in heterogeneous service-oriented landscapes. J. Braz. Comp. Soc., 16(1):35-47.
  12. Margaria, T., Bakera, M., Kubczak, C., Naujokat, S., Steffen, B. (2008). Automatic Generation of the SWSChallenge Mediator with jABC/ABC Semantic Web Services Challenge. Results from the First Year, pp. 119-138, Springer, 2008.
  13. Milner, R., Parrow, J., and Walker, D. (1992). A calculus of mobile processes, I and II. Information and Computation, 100(1):1-40, 41-77.
  14. Montesi, F. (2013). Choreographic Programming. Ph.D. thesis, IT University of Copenhagen.
  15. Petrie, C., Margaria, T., Lausen, H., and Zaremba, M., editors (2009). Semantic Web Services Challenge. Results from the First Year, vol. 8 of Semantic Web and Beyond. Springer.
  16. Seidl, C., Schaefer, I., and Aßmann, U. (2014). Integrated management of variability in space and time in software families. In SPLC 7814, pages 22-31. ACM.
  17. Steffen, B., Margaria, T., Nagel, R., Jörges, S., and Kubczak, C. (2007). Model-Driven Development with the jABC. In Hardware and Software, Verification and Testing, LNCS 4383, pp. 92-108. Springer.
  18. Yoshida, N. and Vasconcelos, V. (2007). Language Primitives and Type Disciplines for Structured Communication-based Programming Revisited. In SecReT'06, ENTCS 171, pp. 73-93. Elsevier.
Download


Paper Citation


in Harvard Style

Giannini P., Lamprecht A. and Margaria T. (2016). Exploring the Potential of Global Types for Adding a Choreography Perspective to the jABC Framework . In Proceedings of the 4th International Conference on Model-Driven Engineering and Software Development - Volume 1: MODELSWARD, ISBN 978-989-758-168-7, pages 368-376. DOI: 10.5220/0005799303680376


in Bibtex Style

@conference{modelsward16,
author={Paola Giannini and Anna-Lena Lamprecht and Tiziana Margaria},
title={Exploring the Potential of Global Types for Adding a Choreography Perspective to the jABC Framework},
booktitle={Proceedings of the 4th International Conference on Model-Driven Engineering and Software Development - Volume 1: MODELSWARD,},
year={2016},
pages={368-376},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0005799303680376},
isbn={978-989-758-168-7},
}


in EndNote Style

TY - CONF
JO - Proceedings of the 4th International Conference on Model-Driven Engineering and Software Development - Volume 1: MODELSWARD,
TI - Exploring the Potential of Global Types for Adding a Choreography Perspective to the jABC Framework
SN - 978-989-758-168-7
AU - Giannini P.
AU - Lamprecht A.
AU - Margaria T.
PY - 2016
SP - 368
EP - 376
DO - 10.5220/0005799303680376