289 search results - page 42 / 58 » Using a Rigorous Approach for Engineering Web Service Compos... |
CISIS
2009
IEEE
14 years 7 days ago
2009
IEEE
The paper presents the main findings of the ELeGI project, namely its learning model and software architecture to support the creation and execution of complex learning processes....
TWEB
2010
13 years 5 months ago
2010
The Business Process Execution Language (BPEL) standardizes the development of composite enterprise applications that make use of software components exposed as Web services. BPEL...
CBSE
2006
Springer
13 years 11 months ago
2006
Springer
We present a novel approach which facilitates formal verification of component-based software application families using model checking. This approach enables effective composition...
ICSM
2002
IEEE
14 years 14 days ago
2002
IEEE
In the context of the CelLEST project, we have been investigating the problem of reengineering and reusing the services provided by legacy applications, running on mainframe hosts...
ICTAC
2009
Springer
13 years 5 months ago
2009
Springer
Abstract. Many software applications are based on collaborating, yet competing, agents or virtual organisations exchanging services. Contracts, expressing obligations, permissions ...