✦ LIBER ✦

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

✍ Scribed by Dumez, C.; Bakhouya, M.; Gaber, J.; Wack, M.; Lorenz, P.

Book ID: 120210787
Publisher: Elsevier Science
Year: 2013
Tongue: English
Weight: 658 KB
Volume: 36
Category: Article
ISSN: 1084-8045
DOI: 10.1016/j.jnca.2013.01.009

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A formal model for BPEL4WS description o

A formal model for BPEL4WS description of Web service composition

✍ Gu Xiwu; Lu Zhengding 📂 Article 📅 2006 🏛 Wuhan University 🌐 English ⚖ 808 KB

Towards an approach of formal verificati

Towards an approach of formal verification of mediation protocol based on web services of MDE type

✍ Graiet, Mohamed; Maraoui, Raoudha; Kmimech, Mourad; Tahar Bhiri, Mohamed; Gaalou 📂 Article 📅 2012 🏛 Emerald Group Publishing Limited 🌐 English ⚖ 499 KB

A model-driven approach to developing we

A model-driven approach to developing web service compositions based on BPMN4SOA

✍ Charfi, Anis; Turki, Sameh Hbaieb; Chaâbane, Ayman; Witteborg, Heiko; Bouaziz, R 📂 Article 📅 2011 🏛 Inderscience Publishers 🌐 English ⚖ 136 KB

[Lecture Notes in Computer Science] The

[Lecture Notes in Computer Science] The Semantic Web - ISWC 2006 Volume 4273 || A Formal Model for Semantic Web Service Composition

✍ Cruz, Isabel; Decker, Stefan; Allemang, Dean; Preist, Chris; Schwabe, Daniel; Mi 📂 Article 📅 2006 🏛 Springer Berlin Heidelberg 🌐 German ⚖ 482 KB

This Book Constitutes The Refereed Proceedings Of The 5th International Semantic Web Conference, Iswc 2006, Held In Athens, Ga, Usa In November 2006. It Features More Than 52 Papers That Address All Current Issues In The Field Of The Semantic Web, Ranging From Theoretical Aspects To Various Applied

Verification of Web Service Compositions

Verification of Web Service Compositions: An Operationalization of Correctness and a Requirements Framework for Service-oriented Modeling Techniques

✍ Maximilian Röglinger 📂 Article 📅 2009 🏛 SP Gabler Verlag ⚖ 494 KB

[Lecture Notes in Computer Science] Data

[Lecture Notes in Computer Science] Database and Expert Systems Applications Volume 7446 || Stepwise Development of Formal Models for Web Services Compositions: Modelling and Property Verification

✍ Liddle, Stephen W.; Schewe, Klaus-Dieter; Tjoa, A Min; Zhou, Xiaofang 📂 Article 📅 2012 🏛 Springer Berlin Heidelberg ⚖ 73 KB