DIAPASON: A FORMAL APPROACH FOR SUPPORTING AGILE AND EVOLVABLE INFORMATION SYSTEM SERVICE-BASED ARCHITECTURES

Hervé Verjus, Frédéric Pourraz

2008

Abstract

This paper presents a novel approach called Diapason, for expressing, verifying and deploying evolvable information system service-based architectures. Diapason promotes a π-calculus-based layered language and a corresponding virtual machine for expressing and executing dynamic and evolvable services orchestration that support agile business processes. Information system service-based architecture may dynamically evolve, whatever the changes may occur during the services orchestration lifecycle.

References

  1. Chirichiello, A. and Salaün, G. (2005). Encoding abstract descriptions into executable web services: Towards a formal development negotiation among web services using lotos/cadp. In IEEE/WIC/ACM International Conference on Web Intelligence (WI 2005).
  2. Fitzerald, B. and Olsson, C., editors (2006). The Software and Services Challenge. EY 7th Framework Programme, Contribution to the preparation of the Technology Pillar on ”Software, Grids, Security and Dependability”.
  3. Foster, H., Uchitel, S., Magee, J., and Kramer, J. (2006). Ltsa-ws: A tool for model-based verification of web service compositions and choreography. In IEEE International Conference on Software Engineering (ICSE 2006).
  4. Fu, X., Bultan, T., and Su, J. (2004). Analysis of interacting bpel web services. In Press, A., editor, Proceedings of the 13th International World Wide Web Conference (WWW'04), USA.
  5. Hoare, C. (1985). Communicating Sequential Processes. Prentice Hall International Series in Computer Science.
  6. Milner, R. (1989). Prentice-Hall.
  7. Milner, R. (1999). Communicating and Mobile Systems: The p-calculus . Cambridge University Press.
  8. Peltz, C. (2003). Web services orchestration: A review of emerging technologies, tools, and standards. Technical report, HP.
  9. Pourraz, F. and Verjus, H. (2007). p-diapason: A p- calculus based formal language for expressing evolvable web services orchestrations. Research Report LISTIC 07/06, University of Savoie - LISTIC.
  10. Ravn, A. P., Owe, O., Giambiagi, P., and Schneider, G. (2006). Language-based support for service oriented architectures: Future directions. In Proceedings of 1st International Conference on Software and Data Technologies (ICSOFT 2006), page 6, Setúbal, Portugal.
  11. Sagonas, K., Swift, T., Warren, D. S., Freire, J., Rao, P., Cui, B., Johnson, E., de Castro, L., Marques, R. F., Dawson, S., and Kifer, M. (2006). The xsb system version 3.0 volume 1: Programmer's manual. Technical report, XSB consortium.
  12. Salaün, G., Ferrara, A., and Chirichiello, A. (2004). Negotiation among web services using lotos/cadp. In Springer, editor, Proceedings of the European Conference On Web Services (ECOWS'04), volume 3250, pages 198-212, Erfurt, Germany.
  13. Solanki, M., Cau, A., and Zedan, H. (2006). Asdl: A wide spectrum language for designing web services. In 15th International World Wide Web Conference (WWW2006).
  14. van der Aalst, W. H. M., ter Hofstede, A. H. M., Kiepuszewski, B., and Barros, A. P. (2003). Workflow patterns. Distributed and Parallel Databases, 14(3).
Download


Paper Citation


in Harvard Style

Verjus H. and Pourraz F. (2008). DIAPASON: A FORMAL APPROACH FOR SUPPORTING AGILE AND EVOLVABLE INFORMATION SYSTEM SERVICE-BASED ARCHITECTURES . In Proceedings of the Tenth International Conference on Enterprise Information Systems - Volume 6: ICEIS, ISBN 978-989-8111-38-8, pages 76-81. DOI: 10.5220/0001677000760081


in Bibtex Style

@conference{iceis08,
author={Hervé Verjus and Frédéric Pourraz},
title={DIAPASON: A FORMAL APPROACH FOR SUPPORTING AGILE AND EVOLVABLE INFORMATION SYSTEM SERVICE-BASED ARCHITECTURES},
booktitle={Proceedings of the Tenth International Conference on Enterprise Information Systems - Volume 6: ICEIS,},
year={2008},
pages={76-81},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0001677000760081},
isbn={978-989-8111-38-8},
}


in EndNote Style

TY - CONF
JO - Proceedings of the Tenth International Conference on Enterprise Information Systems - Volume 6: ICEIS,
TI - DIAPASON: A FORMAL APPROACH FOR SUPPORTING AGILE AND EVOLVABLE INFORMATION SYSTEM SERVICE-BASED ARCHITECTURES
SN - 978-989-8111-38-8
AU - Verjus H.
AU - Pourraz F.
PY - 2008
SP - 76
EP - 81
DO - 10.5220/0001677000760081