The Web Services Composition Testing Based on Extended Finite State Machine and UML Model

Author(s):  
Ching-Seh Wu ◽  
Chi-Hsin Huang
2005 ◽  
Vol 4 (2) ◽  
pp. 435-444
Author(s):  
Priya Sundar ◽  
R Raju ◽  
P Mahalakshmi ◽  
G Lalitha

The revolution impacted by Web Service as a solution to business and enterprise application integration throws light on the significance of security provided by Web Services during Web Service Composition. Satisfying the security requirements is truly a demanding task because of the dynamic and capricious nature of the Web. Web Service Composition associates web services to create high level business process that absolutely matches and conforms appropriately to the service requestor’s needs. It involves customizing services often by locating, assimilating and deploying elementary services. Our paper proposes a policy based system for granting security during the process of web service composition. Policies defined for effective and secure composition analyze and verify the conditions under which the task of the web service is allowed or rejected. To achieve this specification, we make use of Finite State Machine model which clearly portrays the business and flow logic. Nodes in the Finite State Machine represent rules. Upon efficacious fulfillment of policies which are defined in the node access points, transition between rules is stimulated. A service composition is said to be successfully incorporated only if there is complete absence of policy violations when combining the policies of elementary services. The simulated FSM which extracts the rules and policies of the web services and correctly matches and satisfies the policy constraints defined in the access points ensure providing security for the composite web service.


Author(s):  
Gregorio Díaz ◽  
María-Emilia Cambronero ◽  
M. Llanos Tobarra ◽  
Valentín Valero ◽  
Fernando Cuartero

2015 ◽  
Vol 21 (3) ◽  
pp. 811-853 ◽  
Author(s):  
Neil Walkinshaw ◽  
Ramsay Taylor ◽  
John Derrick

Author(s):  
Khalid Aldriwish* ◽  

The ongoing Web success can be related to its scalability and sustainability. Web Services (WSs) can provide different patterns for delivering software application abilities and the models by which enterprises and associated parties will trade. WSs represent a flexible way to offer existing components available to applications through the Internet. WSs are a new trend that shares ubiquitous systems with others. The popularity of Web is increasing with their associated systems. These systems play a significant key role as their compromise has a technical effect, and their need is rising. One of these systems is called Technology wireless (NFC). NFC is becoming an active area nowadays. The complexity of setting the NFC increases as the application, system architecture, and associated parts must satisfy various requirements of ever involving project scenarios. Several organizations are getting the benefit from the NFC. This paper will explore and develop an approach of developing a technique that will permit to exchange by technology wireless (NFC) data between the parties within a Web services environment. This technique has an advantage that facilitates the possibility of adopting such a system to decrease the time-cost and effort for staff and customers. Several means of mobile payments technique have been entitled and adopted this service in many countries, e.g., Europe, USA, Asia, and in the Middle East such as Saudi Arabia. Many users of these countries using a smartphone to pay services via their mobile phones for a wide range of activities. Consequently, this paper involves an agile technique of validating Finite State Machine (FSM) and JFLAP tools.


2011 ◽  
Vol 10 (9) ◽  
pp. 1662-1672 ◽  
Author(s):  
Hongjie Shen ◽  
Zhijun Ding ◽  
Hongzhong Chen

Sign in / Sign up

Export Citation Format

Share Document