Modeling Web Services with FSM Modules

Mohanty, Hrushikesha; Mulchandani, J.; Chenthati, Deepak; Shyamasundar, R. K.

doi:10.1109/ams.2007.63

Cited by 6 publications

(6 citation statements)

References 4 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…We have also considered temporal constraints that are very important in any business process. The business specification is modeled using HUMSAT [4], [1] and the model is verified for various errors before code generation. In our future work we would like to simulate FSM to detect various other dynamic and communication errors.…”

Section: Discussionmentioning

confidence: 99%

“…Two paths are said to be parallel, if execution of activities in each path takes place in parallel. Due to lack of space we are not defining modeling in detail, for detail [1], [4] can be refereed.…”

Section: Fsm For Specifying Webservicementioning

confidence: 99%

“…constraint 3: {x< time} activity execution should be over before system clock reads a given time. To model parallel execution(flow) and synchronization, we introduced two new modeling constructs [4] as shown in Figure 1. This FSM is part of specification of a service "Travel Booking Agent", it takes request from an user and based on the request it books flight and hotel.…”

Section: Fsm For Specifying Webservicementioning

confidence: 99%

“…While all other proposed schemes model service choreography mainly for service composition, our proposed modeling scheme [4] enables to model both service choreography and orchestration. By doing this, it is shown that a web service can be obtained in complete from given FSM-based model.…”

Section: Introductionmentioning

confidence: 99%

See 3 more Smart Citations

Verification of Web Services Modeled as Finite State Machines

Chenthati¹,

Vaddi

Mohanty

et al. 2010

2010 Fourth Asia International Conference on Mathematical/Analytical Modelling and Computer Simulation

Self Cite

View full text Add to dashboard Cite

Currently, model based development of web services is being actively researched for its usefulness in developing a system. Various techniques like EPC, petrinet, process algebra, CPN and UML have been proposed for web service modeling. FSM is found appropriate to model Business requirements because a business process on execution moves forward from one state to other. We have shown uses of FSM (Finite State Machine) based models in development of web services [1]; also have developed a tool HUMSAT to model service specification in FSM and to generate executable codes in BPEL and WSDL. However, automated code generation depends on correct specification of models as an improperly specified model leads to errors and bugs in resultant code. Hence model checking plays an important role in eliminating the flaws at design phase itself. In this paper, we propose a technique for model verification that identifies structural flaws e.g. unreachability, deadlock and temporal inconsistencies. Further, HUMSAT is augmented with the model verification features.

show abstract

Section: Discussionmentioning

confidence: 99%

Section: Fsm For Specifying Webservicementioning

confidence: 99%

Section: Fsm For Specifying Webservicementioning

confidence: 99%

Section: Introductionmentioning

confidence: 99%

See 2 more Smart Citations

Verification of Web Services Modeled as Finite State Machines

Chenthati¹,

Vaddi

Mohanty

et al. 2010

2010 Fourth Asia International Conference on Mathematical/Analytical Modelling and Computer Simulation

Self Cite

View full text Add to dashboard Cite

show abstract

“…Users can compose new services by combining the existing service modules. Mohanty, Mulchandani, DeepakChenthati, and Shyamasundar [13] uses finite state machines to modulize different Web services in order to integrate them to new and more complex network services.…”

Section: Related Workmentioning

confidence: 99%

An Optimal Web Services Integration Using Greedy Strategy

Ouyang

Chen

2008

2008 IEEE Asia-Pacific Services Computing Conference

View full text Add to dashboard Cite

Due to the fast advancement of network technologies, the study of service-oriented architectures (SOA) has attracted much attention recently, taking advantage of the benefits of distributed computing and integration. Web service is a very popular and widely accepted implementation of SOA. The use of Web services holds the advantages of a loosely-coupled system where all components can be developed at independent platforms and be connected with the Web service protocols via the network. However, the tendency for methods of applying Web services over the network is getting more and more complex. Many applications rely on not just one Web service, but a whole school of them. Thus, how to compose and integrate different Web services efficiently to provide complicated network services has become an essential topic in system development and design. This paper proposes a new problem which investigates the possibility of minimizing the number of hops of Web services while trying to finish a set of tasks. It also provides a polynomial-time, optimal Web service integration method using greedy strategy to integrate the Web services in order to complete those tasks. This method can achieve the goal of using the minimum number of hops of Web services over the network.

show abstract

Accelerating NoC Verification Using a Complete Model and Active Window

2022

View full text Add to dashboard Cite

This work presents formal modeling of Network-on-Chip (NoC) considering detailed functional units of NoC. The intricate modeling of NoC router components like buffer, switch, and arbiter is accomplished using Finite State Machine (FSM). As in the case of a real NoC, parallel execution of these functional units is carried out by maintaining the synchronization between these functional units within a router and between each of the adjacent routers in the presented formal model. Important properties for the correctness of the proposed model are verified using a model checker. Implementing a detailed and a complete NoC model is a memory extensive operation while verifying with a model checker. We have introduced a concept of active windows to verify each router and its communication with the adjacent routers. The correctness of the model is checked by verifying the synchronization between NoC functional units and NoC routers, verifying progress in functional units, and verifying the successful transfer of packets. Verification of starvation freedom in an NoC router is also performed for round-robin arbiter and fixedpriority arbiter. Parallel threads are used in the experiments to reduce the verification time.

show abstract

Modeling Web Services with FSM Modules

Cited by 6 publications

References 4 publications

Verification of Web Services Modeled as Finite State Machines

Verification of Web Services Modeled as Finite State Machines

An Optimal Web Services Integration Using Greedy Strategy

Accelerating NoC Verification Using a Complete Model and Active Window

Contact Info

Product

Resources

About