This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Separating Operational and Control Behaviors: A New Approach to Web Services Modeling
May/June 2010 (vol. 14 no. 3)
pp. 68-76
Quan Z. Sheng, University of Adelaide
Zakaria Maamar, Zayed University, Dubai, UAE
Hamdi Yahyaoui, Kuwait University
Jamal Bentahar, Concordia University, Montreal
Khouloud Boukadi, University of Blaise Pascal
The ability to develop flexible business applications is one of the ultimate objectives behind the use of Web services. Before taking part in such applications, each Web service should be modeled so that service engineers can monitor its execution and identify and address design problems early on. The authors propose a novel approach for modeling Web services that distinguishes operational behavior, which defines the business logic underpinning the Web service's functioning, and control behavior, which guides the operational behavior's execution progress by identifying the actions to take and the constraints to satisfy. The authors' prototype system assists service engineers in specifying, enforcing, and monitoring these behaviors, thereby achieving a better design.

1. M. Mrissa et al., "A Context-Based Mediation Approach to Compose Semantic Web Services," ACM Trans. Internet Technology, vol. 8, no. 1, 2007, p. 4.
2. M.P. Papazoglou et al., "Service-Oriented Computing: State of the Art and Research Challenges," Computer, vol. 40, no. 11, 2007, pp. 38–45.
3. Q.Z. Sheng, B. Benatallah, and Z. Maamar, "User-Centric Services Provisioning in Wireless Environments," Comm. ACM, vol. 51, no. 11, 2008, pp. 130–135.
4. K. Verma and A. Sheth, "Semantically Annotating a Web Service," IEEE Internet Computing, vol. 11, no. 2, 2007, pp. 83–85.
5. Q. Yu et al., "Deploying and Managing Web Services: Issues, Solutions, and Directions," Very Large Databases J., vol. 17, no. 3, 2008, pp. 537–572.
6. Y. Kambayashi and H.F. Ledgard, "The Separation Principle: A Programming Paradigm," IEEE Software, vol. 21, no. 2, 2004, pp. 78–87.
7. D. Harel and A. Naamad, "The STATEMATE Semantics of Statecharts," ACM Trans. Software Eng. and Methodology, vol. 5, no. 4, 1996, pp. 293–333.
8. S. Bhiri, O. Perrin, and C. Godart, "Ensuring Required Failure Atomicity of Composite Web Services," Proc. 14th Int'l World Wide Web Conf. (WWW 05), ACM Press, 2005, pp. 138–147.
9. M. Kova et al., "A Formal Verification Approach of Conversations in Composite Web Services Using NuSMV," Proc. 8th Int'l Conf. Software Methodologies, Tools and Techniques (SoMet 09), IOS Press, 2009, pp. 245–261.

Index Terms:
Web service, control behavior, operational behavior, conversation
Citation:
Quan Z. Sheng, Zakaria Maamar, Hamdi Yahyaoui, Jamal Bentahar, Khouloud Boukadi, "Separating Operational and Control Behaviors: A New Approach to Web Services Modeling," IEEE Internet Computing, vol. 14, no. 3, pp. 68-76, May-June 2010, doi:10.1109/MIC.2010.78
Usage of this product signifies your acceptance of the Terms of Use.