loading
Documents

Research.Publish.Connect.

Paper

Paper Unlock

Authors: George Eleftherakis 1 and Ognen Paunovski 2

Affiliations: 1 City College, Greece ; 2 South East European Research Centre, Greece

ISBN: 978-989-8111-43-2

Abstract: 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.

PDF ImageFull Text

Download
CC BY-NC-ND 4.0

Sign In Guest: Register as new SciTePress user now for free.

Sign In SciTePress user: please login.

PDF ImageMy Papers

You are not signed in, therefore limits apply to your IP address 3.92.74.105

In the current month:
Recent papers: 100 available of 100 total
2+ years older papers: 200 available of 200 total

Paper citation in several formats:
Eleftherakis G.; Paunovski O. and (2008). Integrating Formal Approaches and Simulation to Improve Reliability and Correctness ofWeb Services.In Proceedings of the 6th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems - Volume 1: MSVVEIS, (ICEIS 2008) ISBN 978-989-8111-43-2, pages 180-189. DOI: 10.5220/0001740701800189

@conference{msvveis08,
author={George Eleftherakis and Ognen Paunovski},
title={Integrating Formal Approaches and Simulation to Improve Reliability and Correctness ofWeb Services},
booktitle={Proceedings of the 6th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems - Volume 1: MSVVEIS, (ICEIS 2008)},
year={2008},
pages={180-189},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0001740701800189},
isbn={978-989-8111-43-2},
}

TY - CONF

JO - Proceedings of the 6th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems - Volume 1: MSVVEIS, (ICEIS 2008)
TI - Integrating Formal Approaches and Simulation to Improve Reliability and Correctness ofWeb Services
SN - 978-989-8111-43-2
AU - Eleftherakis, G.
AU - Paunovski, O.
PY - 2008
SP - 180
EP - 189
DO - 10.5220/0001740701800189

Login or register to post comments.

Comments on this Paper: Be the first to review this paper.