A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
Filters
Automatic synthesis of behavior protocols for composable web-services
2009
Proceedings of the 7th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering on European software engineering conference and foundations of software engineering symposium - ESEC/FSE '09
Preserved Fulltext
In the literature many approaches have been proposed with the aim to automatically compose web-services. ...
To address this need, in this paper we propose a method to automatically derive from the web-service signature an automaton modeling its behavior protocol. ...
We thank Amleto Di Salle for the useful discussions on WS development technologies, Cesare Bartolini and Francesca Lonetti for their support concerning the use of WS-TAXI. ...
doi:10.1145/1595696.1595719
dblp:conf/sigsoft/BertolinoIPT09
fatcat:3leg4vvwm5enphkjikgst2dyqi
Automated synthesis of executable web service compositions from BPEL4WS processes
2005
Special interest tracks and posters of the 14th international conference on World Wide Web - WWW '05
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2006; you can also visit the original URL.
The file type is application/pdf.
We propose a technique for the automated synthesis of new composite web services. ...
Given a set of abstract BPEL4WS descriptions of component services, and a composition requirement, we automatically generate a concrete BPEL4WS process that, when executed, interacts with the components ...
Web Services". ...
doi:10.1145/1062745.1062931
dblp:conf/www/PistoreTBM05
fatcat:c2yasz322jer5o7pw34vcwifgy
Automated Integration of Service-Oriented Software Systems
[chapter]
2015
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
The second deals with compositional theories and techniques to automatically synthesize appropriate integration means to compose the services together in order to realize a service choreography that satisfies ...
In this paper we focus on techniques and tools for integration code synthesis, which are able to deal with partial knowledge and automatically produce correct-by-construction serviceoriented systems with ...
Future research efforts will be supported by the EC H2020 under grant agreement n. 644178 (project CHOReVOLUTION -Automated Synthesis of Dynamic and Secured Choreographies for the Future Internet). ...
doi:10.1007/978-3-319-24644-4_2
fatcat:tcqm7zgnk5d5ffy44qeomxc564
A reuse-based approach to the correct and automatic composition of web-services
2007
International workshop on Engineering of software services for pervasive environments in conjunction with the 6th ESEC/FSE joint meeting - ESSPE '07
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
This has led to the need for reuse-based approaches to the automatic construction of new services as a correct composition of existing ones. ...
The aim of this extension is to propose an automatic and specification-based approach for constructing composite services from existing ones, which are discovered from a service repository. ...
This is especially true for the version of SYNTHESIS that, given a set of EJB components (that can be considered as simple web service implementations), a behavioral specification for them (that is similar ...
doi:10.1145/1294904.1294908
dblp:conf/sigsoft/InverardiT07
fatcat:kxxcqlvxzjfgne7uoiu32xr5k4
Automated synthesis of composite services with correctness guarantee
2009
Proceedings of the 18th international conference on World wide web - WWW '09
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
In this paper, we propose a novel approach for composing existing web services to satisfy the correctness constraints to the design, including freeness of deadlock and unspecified reception, and temporal ...
An automated synthesis algorithm based on learning algorithm is introduced, which guarantees that the composite service is the most general way of coordinating services so that the correctness is ensured ...
Most of automated service composition approaches require developers to provide a detailed specification of the desired behaviors of a composite service (e.g., goal service in [1] or conversation protocol ...
doi:10.1145/1526709.1526890
dblp:conf/www/DengHLDG09
fatcat:2zojcsbc4rfoznqwy3vb3hkeyy
CONNECT Challenges: Towards Emergent Connectors for Eternal Networked Systems
2009
2009 14th IEEE International Conference on Engineering of Complex Computer Systems
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
CONNECT then investigates formal foundations for connectors together with associated automated support for learning, reasoning about and adapting the interaction behavior of networked systems. I. ...
It does so by adopting a revolutionary approach to the seamless networking of digital systems, that is, synthesizing on the fly the connectors via which networked systems communicate. ...
for Research of the European Commission. ...
doi:10.1109/iceccs.2009.44
dblp:conf/iceccs/IssarnySJBGKCITBS09
fatcat:narkc5s7oraopbmnwqzd5wq4ie
Automated synthesis of composite BPEL4WS Web services
2005
IEEE International Conference on Web Services (ICWS'05)
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
In this paper we propose a technique for the automated synthesis of new composite web services. ...
Given a set of abstract BPEL4WS descriptions of component services, and a composition requirement, we automatically generate an executable BPEL4WS process that, once deployed, is able to interact with ...
Web Services". ...
doi:10.1109/icws.2005.27
dblp:conf/icws/PistoreTBM05
fatcat:u25tnsi4sbdv3aph5nq5l55xge
ASTRO: Supporting Composition and Execution of Web Services
[chapter]
2005
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Web services are rapidly emerging as the reference paradigm for the interaction and coordination of distributed business processes. ...
In several research papers we have shown how advanced automated planning techniques can be exploited to automatically compose web services, and to synthesize monitoring components that control their execution ...
WS-console presents the states of the monitors for the instance of the VTA service of the scenario where the user refuses the travel offer. ...
doi:10.1007/11596141_39
fatcat:ikp4ref6xvhonjjnr6agvldw74
Automatic Extraction of Conversation Protocols from a Choreography Specification of Ubiquitous Web Services
[chapter]
2006
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
For this purpose, one can use a choreography language to specify the rules of engagement between the device and the web service provider. ...
This paper presents a framework for automatically synthesizing conversation protocols from a choreography description defined in WS-CDL. ...
Our proposed framework for automatic extraction of conversation protocols is expected to not only enhance the interoperability of the web service based interactions but also increase the user acceptance ...
doi:10.1007/11807964_13
fatcat:76v5m7qjtrg4fp637dhejd7wp4
Producing software by integration: challenges and research directions (keynote)
2013
Proceedings of the 2013 9th Joint Meeting on Foundations of Software Engineering - ESEC/FSE 2013
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
In this paper we present an innovative development process to automatically produce dependable software systems by integrating existing services under uncertainty and according to the specified goal. ...
Therefore, on one side a software producer will less and less know the precise behaviour of a third party software service, on the other side she will need to use it to build her own application. ...
In [9] , we propose a method, called StrawBerry, to automatically derive the behaviour protocol of a web-service out of its WSDL interface. ...
doi:10.1145/2491411.2505428
dblp:conf/sigsoft/InverardiARPT13
fatcat:snyk6cnyffbehmhnortmbtq6z4
Application-Layer Connector Synthesis
[chapter]
2011
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2012; you can also visit the original URL.
The file type is application/pdf.
In this chapter we report the main outcomes of our past and recent research on automatically achieving protocol interoperability via connector synthesis. ...
In the past, most of the works in the literature described efforts to the automatic synthesis of coordinators while, in recent years the focus moved also to the automatic synthesis of mediators. ...
for Web service modeling towards supporting service composition. ...
doi:10.1007/978-3-642-21455-4_5
fatcat:jf2zwc5xdbfbfjosklu4jlpyay
Synthesizing adapters for conversational web-services from their WSDL interface
2010
Proceedings of the 2010 ICSE Workshop on Software Engineering for Adaptive and Self-Managing Systems - SEAMS '10
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
This paper presents a complete development methodology to the automatic synthesis of adapters for conversational WSs starting from their WSDL interface. ...
Service-oriented applications are typically built out of existing web-services (WSs) possibly made available by third party vendors. ...
AUTOMATIC SYNTHESIS OF BEHAV-IOR PROTOCOL ADAPTERS This section presents our approach to the automatic synthesis of adapters for conversational web-services from their WSDL interface. ...
doi:10.1145/1808984.1808996
dblp:conf/icse/CavallaroNPPT10
fatcat:ye4yicjj25herf56gtok34l2fe
Planning and Monitoring Web Service Composition
[chapter]
2004
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
The ability to automatically compose web services, and to monitor their execution, is an essential step to substantially decrease time and costs in the development, integration, and maintenance of complex ...
In this paper, we exploit techniques based on the "Planning as Model Checking" approach to automatically compose web services and synthesize monitoring components. ...
The extension of this work to the EaGLe language, and the exploitation of symbolic representation techniques for this problem, is far from trivial. ...
doi:10.1007/978-3-540-30106-6_11
fatcat:n6joonzn5bcmrbwgdvidvbhkra
Tools for design of composite Web services
2004
Proceedings of the 2004 ACM SIGMOD international conference on Management of data - SIGMOD '04
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
SOAP can be used as the communication protocol, and the i/o signatures for web services are given by WSDL. All of these can be defined before binding web services to each other. ...
Another key dimension concerns how behaviors should be modeled, including both the behavior of individual web services and also the desired or actual behaviors of compositions of web services. ...
doi:10.1145/1007568.1007722
dblp:conf/sigmod/HullS04
fatcat:pjz3dlfspfhmbkpcdviu6sef4q
A Theory of Mediators for Eternal Connectors
[chapter]
2010
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2011; you can also visit the original URL.
The file type is application/pdf.
The proposed formal model: (i) precisely characterizes the problem of interoperability between networked systems, and (ii) paves the way for automated reasoning about protocol matching (interoperability ...
Towards this end, this paper introduces a theory of mediators for the ubiquitous networking environment. ...
These relationships may be automatically reasoned upon, thus paving the way for on the fly synthesis of mediating connectors. ...
doi:10.1007/978-3-642-16561-0_25
fatcat:thdzxkmtufdvzmwlmcec3fttam
« Previous
Showing results 1 — 15 out of 7,049 results