Sciweavers

4286 search results - page 110 / 858
» Formalizing Service Interactions
Sort
View
CUZA
2002
132views more  CUZA 2002»
15 years 6 months ago
Agent-Client Interaction in a Web-Based E-Commerce System
In order for agent technology to fulfill its promise, it must be integrated with other existing technologies. In this paper we address one of the problems occurring in a real-world...
Minor Gordon, Marcin Paprzycki, Violetta Galant
ICSOC
2007
Springer
16 years 12 days ago
From OWL-S Descriptions to Petri Nets
While OWL-S advertisements provide a rich (ontological and behavioural) description of Web services, there are no tools that support formal analyses of OWL-S services. In this pape...
Antonio Brogi, Sara Corfini, Stefano Iardella
ICSOC
2003
Springer
15 years 11 months ago
Planning and Monitoring the Execution of Web Service Requests
Abstract Interaction with web services enabled marketplaces would be greatly facilitated if users were given a high level service request language to express their goals in complex...
Alexander Lazovik, Marco Aiello, Mike P. Papazoglo...
ICWS
2009
IEEE
16 years 3 months ago
A Tool for Choreography Analysis Using Collaboration Diagrams
Analyzing interactions among peers that interact via messages is a crucial problem due to increasingly distributed nature of current software systems, especially the ones built us...
Tevfik Bultan, Chris Ferguson, Xiang Fu
ICWS
2004
IEEE
15 years 7 months ago
JClarens: A Java Based Interactive Physics Analysis Environment for Data Intensive Applications
In this paper we describe JClarens; a Java based implementation of the Clarens remote data server. JClarens provides web services for an interactive analysis environment to dynami...
Arshad Ali, Ashiq Anjum, Tahir Azim, Michael Thoma...