9 citations · 21 across the 5 of their papers we have counts for
5 papers
Tau Be or not Tau Be? - A Perspective on Service Compatibility and Substitutability
Meriem Ouederni, Gwen Salaün
One of the main open research issues in Service Oriented Computing is to propose automated techniques to analyse service interfaces. A first problem, called compatibility, aims at…
Analysis and Verification of Service Interaction Protocols - A Brief Survey
Gwen Salaün
Modeling and analysis of interactions among services is a crucial issue in Service-Oriented Computing. Composing Web services is a complicated task which requires techniques and to…
Proceedings Fourth International Workshop on Testing, Analysis and Verification of Web Software
Gwen Salaün, Xiang Fu, Sylvain Hallé
This volume contains the papers presented at the fourth international workshop on Testing, Analysis and Verification of Software, which was associated with the 25th IEEE/ACM Intern…
Handling Data-Based Concurrency in Context-Aware Service Protocols
Javier Cubo, Ernesto Pimentel, Gwen Salaün +1
Dependency analysis is a technique to identify and determine data dependencies between service protocols. Protocols evolving concurrently in the service composition need to impose…
Proceedings Ninth International Workshop on the Foundations of Coordination Languages and Software Architectures
MohammadReza Mousavi, Gwen Salaün
This volume contains the proceedings of FOCLASA 2010, the 9th International Workshop on the Foundations of Coordination Languages and Software Architectures. FOCLASA 2010 was held…