Web Services modeling and composition approach using Objects-Oriented Petri Nets
Nowadays, with the emergence and the evolution of new technologies, such as e-business, a large number of companies are connected to Internet, and have proposed web services to trade. Web services as presented, are conceptually limited components to relatively simple functionalities. Generally, a single service does not satisfy the users needs that are more and more complex. Therefore, services must be made able to be composed to offer added value services. In this paper, a web services composition approach, modelled by Objects-Oriented Petri nets, is presented. In his context, an expressive algebra, which successfully solves the web services complex composition problem, is proposed. A java tool that allows automating this approach; based on a definite algebra and a G-nets meta-model, proposed by us, is developed.
Keywords: web services, web services composition, e-business, algebra, Objects-Oriented Petri nets, meta-model.
Download Full-Text
ABOUT THE AUTHORS
Sofiane Chemaa
Sofiane Chemaa is with the department of computer science, Faculty of Engineering, University Mentouri Constantine, Algeria. He is currently a Ph.D. candidate. He received his Master degree in Computer science in 2010 from the University of Constantine. His research interests include Web Services, Service-Oriented Architecture and formal methods.
Raida Elmansouri
Raida Elmansouri is with the department of computer science, Faculty of Engineering, University Mentouri Constantine, Algeria. She received her Master degree in Computer science in 1997 and her PhD degree in 2009 from the University of Constantine. Her field of interest include information systems and formal methods.
Allaoua Chaoui
Allaoua Chaoui is with the department of computer science, Faculty of Engineering, University Mentouri Constantine, Algeria. He received his Master degree in Computer science in 1992 (in cooperation with the University of Glasgow, Scotland) and his PhD degree in 1998 from the University of Constantine (in cooperation with the CEDRIC Laboratory of CNAM in Paris, France). He has served as associate professor in Philadelphia University in Jordan for five years and University Mentoury Constantine for many years. During his career he has designed and taught courses in Software Engineering and Formal Methods. Pr Allaoua Chaoui has published many articles in International Journals and Conferences. He supervises many Master and PhD students. His research interests include Mobile Computing, formal specification and verification of distributed systems, and graph transformation systems.
Sofiane Chemaa
Sofiane Chemaa is with the department of computer science, Faculty of Engineering, University Mentouri Constantine, Algeria. He is currently a Ph.D. candidate. He received his Master degree in Computer science in 2010 from the University of Constantine. His research interests include Web Services, Service-Oriented Architecture and formal methods.
Raida Elmansouri
Raida Elmansouri is with the department of computer science, Faculty of Engineering, University Mentouri Constantine, Algeria. She received her Master degree in Computer science in 1997 and her PhD degree in 2009 from the University of Constantine. Her field of interest include information systems and formal methods.
Allaoua Chaoui
Allaoua Chaoui is with the department of computer science, Faculty of Engineering, University Mentouri Constantine, Algeria. He received his Master degree in Computer science in 1992 (in cooperation with the University of Glasgow, Scotland) and his PhD degree in 1998 from the University of Constantine (in cooperation with the CEDRIC Laboratory of CNAM in Paris, France). He has served as associate professor in Philadelphia University in Jordan for five years and University Mentoury Constantine for many years. During his career he has designed and taught courses in Software Engineering and Formal Methods. Pr Allaoua Chaoui has published many articles in International Journals and Conferences. He supervises many Master and PhD students. His research interests include Mobile Computing, formal specification and verification of distributed systems, and graph transformation systems.
