Filters








7,049 Hits in 3.4 sec

Automatic synthesis of behavior protocols for composable web-services

Antonia Bertolino, Paola Inverardi, Patrizio Pelliccione, Massimo Tivoli
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  
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

M. Pistore, P. Traverso, P. Bertoli, A. Marconi
2005 Special interest tracks and posters of the 14th international conference on World Wide Web - WWW '05  
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]

Marco Autili, Paola Inverardi, Massimo Tivoli
2015 Lecture Notes in Computer Science  
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

Paola Inverardi, Massimo Tivoli
2007 International workshop on Engineering of software services for pervasive environments in conjunction with the 6th ESEC/FSE joint meeting - ESSPE '07  
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

Ting Deng, Jinpeng Huai, Xianxian Li, Zongxia Du, Huipeng Guo
2009 Proceedings of the 18th international conference on World wide web - WWW '09  
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

Valérie Issarny, Bernhard Steffen, Bengt Jonsson, Gordon Blair, Paul Grace, Marta Kwiatkowska, Radu Calinescu, Paola Inverardi, Massimo Tivoli, Antonia Bertolino, Antonino Sabetta
2009 2009 14th IEEE International Conference on Engineering of Complex Computer Systems  
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

M. Pistore, P. Traverso, P. Bertoli, A. Marconi
2005 IEEE International Conference on Web Services (ICWS'05)  
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]

Michele Trainotti, Marco Pistore, Gaetano Calabrese, Gabriele Zacco, Gigi Lucchese, Fabio Barbon, Piergiorgio Bertoli, Paolo Traverso
2005 Lecture Notes in Computer Science  
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]

Jonghun Park, Byung-Hyun Ha
2006 Lecture Notes in Computer Science  
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)

Paola Inverardi, Marco Autili, Davide Di Ruscio, Patrizio Pelliccione, Massimo Tivoli
2013 Proceedings of the 2013 9th Joint Meeting on Foundations of Software Engineering - ESEC/FSE 2013  
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]

Paola Inverardi, Romina Spalazzese, Massimo Tivoli
2011 Lecture Notes in Computer Science  
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

Luca Cavallaro, Elisabetta Di Nitto, Patrizio Pelliccione, Matteo Pradella, Massimo Tivoli
2010 Proceedings of the 2010 ICSE Workshop on Software Engineering for Adaptive and Self-Managing Systems - SEAMS '10  
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]

M. Pistore, F. Barbon, P. Bertoli, D. Shaparau, P. Traverso
2004 Lecture Notes in Computer Science  
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

Richard Hull, Jianwen Su
2004 Proceedings of the 2004 ACM SIGMOD international conference on Management of data - SIGMOD '04  
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]

Paola Inverardi, Valérie Issarny, Romina Spalazzese
2010 Lecture Notes in Computer Science  
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