TY - GEN
T1 - Integrating formal approaches and simulation to improve reliability and correctness of Web services
AU - Eleftherakis, George
AU - Paunovski, Ognen
PY - 2008
Y1 - 2008
N2 - The emerging web service paradigm offers an innovative and practical platform for business to business collaboration and enterprise information systems integration. A methodology for modelling web service systems based on an incremental and iterative approach integrating formal techniques and simulation is presented. This disciplined approach focuses on improving the reliability and correctness of the system under development. Using X-machines as the core design technique it offers intuitive mapping of BPEL specification. At the same time it enforces continuous verification and testing of components throughout the process. Blending this formal approach with simulation it allows the informal verification of complex service compositions in cases where formal verification is impossible or impractical. The applicability of the methodology is practically demonstrated through a typical web service case study.
AB - The emerging web service paradigm offers an innovative and practical platform for business to business collaboration and enterprise information systems integration. A methodology for modelling web service systems based on an incremental and iterative approach integrating formal techniques and simulation is presented. This disciplined approach focuses on improving the reliability and correctness of the system under development. Using X-machines as the core design technique it offers intuitive mapping of BPEL specification. At the same time it enforces continuous verification and testing of components throughout the process. Blending this formal approach with simulation it allows the informal verification of complex service compositions in cases where formal verification is impossible or impractical. The applicability of the methodology is practically demonstrated through a typical web service case study.
UR - http://www.scopus.com/inward/record.url?scp=58049153458&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=58049153458&partnerID=8YFLogxK
M3 - Conference contribution
AN - SCOPUS:58049153458
SN - 9789898111432
T3 - Modelling, Simulation, Verification and Validation of Enterprise Information Systems (MSVVEIS)- Proc. 6th Int. Workshop on MSVVEIS 2008; In Conjunction with ICEIS 2008
SP - 180
EP - 189
BT - Modelling, Simulation, Verification and Validation of Enterprise Information Systems (MSVVEIS)- Proc. 6th Int. Workshop on MSVVEIS 2008; In Conjunction with ICEIS 2008
T2 - 6th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems, MSVVEIS 2008; In Conjunction with ICEIS 2008
Y2 - 12 June 2008 through 16 June 2008
ER -