Sciweavers

2940 search results - page 162 / 588
» Behavioral Constraints for Services
Sort
View
WSFM
2007
Springer
16 years 4 days ago
Extending Model Checking to Data-Aware Temporal Properties of Web Services
A “data-aware” web service property is a constraint on the pattern of message exchanges of a workflow where the order of messages and their data content are interdependent. Th...
Sylvain Hallé, Roger Villemaire, Omar Cherk...
WSC
2007
15 years 8 months ago
Agent-based simulations of service policy decisions
During service engagements, project managers frequently encounter resource constraint issues. For each resource shortfall encountered, a project manager must decide among a narrow...
Richard B. Lam
ATAL
2005
Springer
15 years 8 months ago
Agent-based matchmaking of mathematical web services
Service discovery and matchmaking in a distributed environment has been an active research issue since at least the mid 1990s. Previous work on matchmaking has typically presented...
Simone A. Ludwig, Omer F. Rana, William Naylor, Ju...
ECOWS
2008
Springer
15 years 7 months ago
Automatic Timed Test Case Generation for Web Services Composition
In order to specify the composition of Web services, WSBPEL was defined as an orchestrating language by an international standards consortium. In this paper, we propose a method t...
Mounir Lallali, Fatiha Zaïdi, Ana R. Cavalli,...
ICECCS
2010
IEEE
162views Hardware» more  ICECCS 2010»
15 years 6 months ago
A Tile-Based Approach for Self-Assembling Service Compositions
—This paper presents a novel approach to the design of self-adaptive service-oriented applications based on a new model called service tiles. The approach allows designers to dev...
Luca Cavallaro, Elisabetta Di Nitto, Carlo A. Furi...