Zobrazeno 1 - 10
of 181
pro vyhledávání: '"Salaün, Gwen"'
Publikováno v:
In Internet of Things August 2022 19
Publikováno v:
In Journal of Logical and Algebraic Methods in Programming November 2021 123
Publikováno v:
ACM Transactions on Autonomous & Adaptive Systems; Dec2024, Vol. 19 Issue 4, p1-31, 31p
Publikováno v:
In Internet of Things December 2020 12
Autor:
Ouederni, Meriem, Salaün, Gwen
Publikováno v:
EPTCS 37, 2010, pp. 57-70
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 determining whether a set of services (two in this paper) can be compo
Externí odkaz:
http://arxiv.org/abs/1010.2826
Publikováno v:
EPTCS 37, 2010
This volume contains the proceedings of WCSI 2010, the International Workshop on Component and Service Interoperability. WCSI 2010 was held in Malaga (Spain) on June 29th, 2010 as a satellite event of the TOOLS 2010 Federated Conferences. The papers
Externí odkaz:
http://arxiv.org/abs/1010.2337
Autor:
Salaün, Gwen
Publikováno v:
EPTCS 35, 2010, pp. 75-86
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 tools to verify that the new system will behave correctly. In this paper
Externí odkaz:
http://arxiv.org/abs/1009.3716
Publikováno v:
EPTCS 35, 2010
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 International Conference on Automated Software Engineering (ASE 2010). The c
Externí odkaz:
http://arxiv.org/abs/1009.3306
Publikováno v:
EPTCS 30, 2010, pp. 62-77
Dependency analysis is a technique to identify and determine data dependencies between service protocols. Protocols evolving concurrently in the service composition need to impose an order in their execution if there exist data dependencies. In this
Externí odkaz:
http://arxiv.org/abs/1007.5092