SPECIFICATION AND VERIFICATION OF VIEWS OVER COMPOSITE WEB SERVICES USING HIGH LEVEL PETRI-NETS

Khouloud Boukadi, Chirine Ghedira, Zakaria Maamar, Djamal Benslimane

2007

Abstract

This paper presents a high level Petri-Net approach for specifying and verifying views over composite Web service. High level Petri-Nets have the capacity of formally modelling and verifying complex systems. A view is mainly used for tracking purposes as it permits representing a contextual snapshot of a composite Web service specification. The use of the proposed high level Petri-Net approach is illustrated with a running example that shows how Web services composition satisfies users’ needs. A proof-of-concept of this approach is also presented in the paper.

References

1. Benatallah, B. and Rachid, H., 2003. A Petri net-based model for web service composition, in Proceedings of the Fourteenth Australasian database conference on Database technologies. Adelaide, Australia.
2. Benslimane et al, 2005. A View-based approach for tracking composite Web services. In Proceedings of the European Conference on Web Services, IEEE Computer Society. Växjö, Sweden.
3. Bing, H., 2006. Choreography Modeling and Analysis of a Travel Reservation Web Service, in Proceedings of The Fifth International Joint Conference on Autonomous Agents & Multi-Agent Systems. Hakodate, Japan.
4. Chiu, D. K. W., S. C. Cheung, S. Till, K. Karlapalem, Q. Li, and E. Kafeza, 2004. Workflow View Driven Cross-Organizational Interoperability in a Web Service Environment. Information Technology and Management Journal, Vol. 5, No. 3/4:221-250.
5. Daniel, F. and Pernici, B. , 2005. Insights into Web Service Orchestration and Choreography, International Journal of E-Business Research, The Idea Group Inc., vol. 1, pp. 58 - 77.
6. Ghedira, C. and Mezni, H., 2006. Through Personalized Web Service Composition Specification: From BPEL to C-BPEL, Electronic Notes in Theoretical Computer Science, vol. 146, pp. 117-132.
7. Jensen, K., 1997. Colored Petri Nets: Basic Concepts, Analysis Methods, and Practical Use, 2nd ed. Berlin; New York: Springer.
8. Medjahed, B. et al., 2003. Composing Web services on the Semantic Web, International Journal on Very Large Data Bases, vol. 12(4), pp. 333-351.
9. Petri, C., 1962. Kommunikation mit Automaten. Schriften des IIM Nr. 2, Institut fur Instrumentelle Mathematik. Germany: University of Bonn.
10. Xiaochuan, Y. and Krys JK., 2004. Process Composition of Web Services with Complex Conversation Protocols: a colored Petri Nets Based Approach, in Proceedings of The Design, Analysis and Simulation of Distributed Systems Conference.
11. Yang, Y. et al., 2005. Transformation BPEL to CP-nets for verifying Web services composition, in Proceedings of The International Conference on Next Generation Web Services Practices (NWeSP'05). Seoul, Korea.

Paper Citation

in Harvard Style

Boukadi K., Ghedira C., Maamar Z. and Benslimane D. (2007). SPECIFICATION AND VERIFICATION OF VIEWS OVER COMPOSITE WEB SERVICES USING HIGH LEVEL PETRI-NETS . In Proceedings of the Ninth International Conference on Enterprise Information Systems - Volume 4: ICEIS, ISBN 978-972-8865-91-7, pages 107-112. DOI: 10.5220/0002349501070112

in Bibtex Style

@conference{iceis07,
author={Khouloud Boukadi and Chirine Ghedira and Zakaria Maamar and Djamal Benslimane},
title={SPECIFICATION AND VERIFICATION OF VIEWS OVER COMPOSITE WEB SERVICES USING HIGH LEVEL PETRI-NETS},
booktitle={Proceedings of the Ninth International Conference on Enterprise Information Systems - Volume 4: ICEIS,},
year={2007},
pages={107-112},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0002349501070112},
isbn={978-972-8865-91-7},
}

in EndNote Style

TY - CONF
JO - Proceedings of the Ninth International Conference on Enterprise Information Systems - Volume 4: ICEIS,
TI - SPECIFICATION AND VERIFICATION OF VIEWS OVER COMPOSITE WEB SERVICES USING HIGH LEVEL PETRI-NETS
SN - 978-972-8865-91-7
AU - Boukadi K.
AU - Ghedira C.
AU - Maamar Z.
AU - Benslimane D.
PY - 2007
SP - 107
EP - 112
DO - 10.5220/0002349501070112