Model-driven approach supporting formal verification for web service composition protocols

Christophe Dumez, Mohamed Bakhouya, Jaafar Gabera, Maxime Wack, Pascal Lorenz

Research output: Contribution to journal › Article › Scientific › peer-review

16 Citations (Scopus)

Original language	English
Pages (from-to)	1-14
Journal	Journal of Network and Computer Applications
DOIs	https://doi.org/10.1016/j.jnca.2013.01.009
Publication status	Published - 2013
MoE publication type	A1 Journal article-refereed

Access to Document

@article{ab9392ff8db844a5919253c1e63e56e2,

title = "Model-driven approach supporting formal verification for web service composition protocols",

author = "Christophe Dumez and Mohamed Bakhouya and Jaafar Gabera and Maxime Wack and Pascal Lorenz",

year = "2013",

doi = "10.1016/j.jnca.2013.01.009",

language = "English",

pages = "1--14",

journal = "Journal of Network and Computer Applications",

issn = "1084-8045",

publisher = "Elsevier",

}

TY - JOUR

T1 - Model-driven approach supporting formal verification for web service composition protocols

AU - Dumez, Christophe

AU - Bakhouya, Mohamed

AU - Gabera, Jaafar

AU - Wack, Maxime

AU - Lorenz, Pascal

PY - 2013

Y1 - 2013

UR - http://dx.doi.org/10.1016/j.jnca.2013.01.009

U2 - 10.1016/j.jnca.2013.01.009

DO - 10.1016/j.jnca.2013.01.009

M3 - Article

SN - 1084-8045

SP - 1

EP - 14

JO - Journal of Network and Computer Applications

JF - Journal of Network and Computer Applications

ER -