AN APPROACH TO CHECKING BEHAVIORAL COMPATIBILITY BETWEEN WEB SERVICES

2008 ◽  
Vol 18 (02) ◽  
pp. 223-241 ◽  
Author(s):  
HEUNG SEOK CHAE ◽  
JOON-SANG LEE ◽  
JUNGHO BAE
Keyword(s):  
Web Services ◽  
Web Service ◽  
Object Oriented ◽  
State Machine ◽  
State Machines ◽  
Extended Version ◽  
Behavioral Compatibility ◽  
Conventional Methods

This paper proposes an approach to checking behavioral compatibility between Web services. If Web service B can be used in replacement of Web service A in such a way that the replacement is transparent to clients, Web service B is compatible to Web service A. We use state machines with guarded transitions to specify behaviors of Web services. To check compatibility between two Web services, we propose an extended version of the conventional methods rule, which has been used in object-oriented paradigm. To support our approach, we have implemented a tool. First, the tool constructs a state machine for a Web service whose behavior is expressed in WSDL and WSCI. Then, the tool can verify compatibility between Web services by using the extended methods rule.

A Design Method for Real-Time Object-Oriented Systems Using Communicating Real-Time State Machines

2002 ◽  
pp. 171-185
Author(s):  
Eduardo B. Fernandez ◽  
Jie Wu ◽  
Debera R. Hancock
Keyword(s):  
Real Time ◽  
Dynamic Modeling ◽  
Parallel Machines ◽  
Design Method ◽  
Unified Modeling Language ◽  
Object Oriented ◽  
Software Systems ◽  
State Machines ◽  
Software Modeling ◽  
High Level

Many methodologies for software modeling and design include some form of static and dynamic modeling to describe the structural and behavioral views respectively. Modeling and design of complex real-time software systems requires notations for describing concurrency, asynchronous event handling, communication between independent machines, timing properties. Dynamic modeling of real time systems using object-oriented methodologies requires extensions to the traditional state machine notations in order to convey the real-time system characteristics and constraints. This chapter proposes an object-oriented analysis and design methodology that augments the traditional UML (Unified Modeling Language) dynamic model with real-time extensions based on high-level parallel machines and communication notations from CRSM (Communicating Real-Time State Machines). An example of the proposed methodology is provided using a realistic example of an automated passenger train system.

Object-oriented state machines

1995 ◽  
Vol 30 (10) ◽  
pp. 17-32 ◽  
Author(s):  
Aamod Sane ◽  
Roy Campbell
Keyword(s):  
Object Oriented ◽  
State Machines
Sign in / Sign up

Export Citation Format

Share Document