Sciweavers

4286 search results - page 16 / 858
» Formalizing Service Interactions
Sort
View
120
Voted
IMPERIAL
1994
15 years 6 months ago
Combinators for Interaction Nets
Simon J. Gay
113
Voted
SAS
1992
Springer
104views Formal Methods» more  SAS 1992»
15 years 6 months ago
Partial Evaluation of Interaction Nets
Denis Béchet
FIW
2007
15 years 3 months ago
Model Inference Approach for Detecting Feature Interactions in Integrated Systems
Many of the formal techniques are orchestrated for interaction detection in a complex integrated solution of hardware and software components. However, the applicability of these ...
Muzammil Shahbaz, Benoît Parreaux, Francis K...
ICCBSS
2005
Springer
15 years 7 months ago
Specifying Interaction Constraints of Software Components for Better Understandability and Interoperability
A vital issue in the correct use of commercial-off-the-shelf (COTS) components is the proper understanding of their functionality, quality attributes and ways of operation. Traditi...
Yan Jin, Jun Han
TASE
2008
IEEE
15 years 8 months ago
Reasoning about Channel Passing in Choreography
Abstract Web services choreography describes global models of service interactions among a set of participants. For an interaction to be executed, the participants taken part in it...
Hongli Yang, Chao Cai, Liyang Peng, Xiangpeng Zhao...