Lecture Notes in Computer Science - Web Services and Formal Methods
Latest Publications

TOTAL DOCUMENTS

9

(FIVE YEARS 0)

H-INDEX

3

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783642382291, 9783642382307

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Conformance Checking of Services Using the Best Matching Private View

Lecture Notes in Computer Science - Web Services and Formal Methods ◽

10.1007/978-3-642-38230-7_4 ◽

2013 ◽

pp. 49-68 ◽

Author(s):

Richard Müller ◽

Wil M. P. van der Aalst ◽

Christian Stahl

Keyword(s):

Conformance Checking

Download Full-text

Preference and Similarity-Based Behavioral Discovery of Services

Lecture Notes in Computer Science - Web Services and Formal Methods ◽

10.1007/978-3-642-38230-7_8 ◽

2013 ◽

pp. 118-133 ◽

Author(s):

Farhad Arbab ◽

Francesco Santini

Download Full-text

Reconfiguration Mechanisms for Service Coordination

Lecture Notes in Computer Science - Web Services and Formal Methods ◽

10.1007/978-3-642-38230-7_9 ◽

2013 ◽

pp. 134-149 ◽

Author(s):

Nuno Oliveira ◽

Luís S. Barbosa

Keyword(s):

Service Coordination

Download Full-text

SiteHopper: Abstracting Navigation State Machines for the Efficient Verification of Web Applications

Lecture Notes in Computer Science - Web Services and Formal Methods ◽

10.1007/978-3-642-38230-7_7 ◽

2013 ◽

pp. 103-117 ◽

Author(s):

Guillaume Demarty ◽

Fabien Maronnaud ◽

Gabriel Le Breton ◽

Sylvain Hallé

Keyword(s):

Web Applications ◽

State Machines ◽

Efficient Verification

Download Full-text

Event Structures as a Foundation for Process Model Differencing, Part 1: Acyclic processes

Lecture Notes in Computer Science - Web Services and Formal Methods ◽

10.1007/978-3-642-38230-7_5 ◽

2013 ◽

pp. 69-86 ◽

Author(s):

Abel Armas-Cervantes ◽

Luciano García-Bañuelos ◽

Marlon Dumas

Keyword(s):

Process Model ◽

Event Structures ◽

Model Differencing

Download Full-text

Formal Approaches for Synthesis of Web Service Business Protocols

Lecture Notes in Computer Science - Web Services and Formal Methods ◽

10.1007/978-3-642-38230-7_1 ◽

2013 ◽

pp. 1-15 ◽

Author(s):

Lhouari Nourine ◽

Farouk Toumani

Keyword(s):

Web Service ◽

Service Business ◽

Business Protocols

Download Full-text

Service Discovery with Cost Thresholds

Lecture Notes in Computer Science - Web Services and Formal Methods ◽

10.1007/978-3-642-38230-7_3 ◽

2013 ◽

pp. 30-48 ◽

Author(s):

Jan Sürmeli

Keyword(s):

Service Discovery

Download Full-text

Formal Modeling and Analysis of the REST Architecture Using CSP

Lecture Notes in Computer Science - Web Services and Formal Methods ◽

10.1007/978-3-642-38230-7_6 ◽

2013 ◽

pp. 87-102 ◽

Author(s):

Xi Wu ◽

Yue Zhang ◽

Huibiao Zhu ◽

Yongxin Zhao ◽

Zailiang Sun ◽

...

Keyword(s):

Formal Modeling ◽

Modeling And Analysis

Download Full-text

Contract-Oriented Services

Lecture Notes in Computer Science - Web Services and Formal Methods ◽

10.1007/978-3-642-38230-7_2 ◽

2013 ◽

pp. 16-29 ◽

Author(s):

Emilio Tuosto

Download Full-text