Dissemination
BUSINESS REQUIREMENTS & VERIFICATION
R. Kazhamiakin, M. Pistore
A Parametric Communication Model for the Verification of BPEL4WS Compositions.
2nd International Workshop on Web Services and Formal Methods (WS-FM) 2005.
PDF
R. Kazhamiakin, M. Pistore, M. Roveri
A framework for integrating Business Processes and Business Requirements
9th International IEEE Enterprise Distributed Object Computing Conference (EDOC) 2004
PDF
M. Pistore, M. Roveri, P. Busetta
Requirements-Driven Verification of Web Services
1st International Workshop on Web Services and Formal Methods (WS-FM) 2004
PDF
R. Kazhamiakin, M. Pistore, M. Roveri
Formal Verification of requirements using SPIN: A Case Study on Web Services
3rd IEEE International Conference on Software Engineering and Formal Methods (SEFM) 2004
PDF
P. Traverso, M. Pistore, M. Roveri, A. Marconi, R. Kazhamiakin, P. Lucchese, P. Busetta, P. Bertoli
Supporting the Negotiation between Global and Local Business Requirements in Service Oriented Development
2nd International Conference on Service Oriented Computing (ICSOC) 2004
PDF
SERVICE SYNTHESIS AND COMPOSITION
P. Bertoli, M. Pistore, P. Traverso
Automated Composition of Web Services via Planning in Asynchronous Domains
Journal of Artificial Intelligence, 316-361, 2009
P. Bertoli, R. Kazhamiakin, M. Paolucci, M. Pistore, H. Raik, M. Wagner
Continuous Orchestration of Web Services via Planning
19th International Conference on Automated Planning and Scheduling (ICAPS'09), 18-25, 2009
A. Marconi, M. Pistore, P. Traverso
Automated Composition of Web Services: the ASTRO Approach
IEEE Data Eng. Bull., 23-26, 2008
M. Pistore, P. Braghieri, P. Bertoli, A. Biscaglia, A. Marconi, S. Pintarelli, M. Trainotti
ASTRO: Supporting the Composition of Distributed Business Processes in the E-Government Domain
At Your Service: Service-Oriented Computing from an EU Perspective, 2008
A. Marconi, M. Pistore, P. poccianti, P. Traverso
Automated Web Service Composition at Work: the Amazon/MPS Case Study
International Conference on Web Services (ICWS) 2007, 767-774
M. Pistore, A. Marconi, P. Bertoli, P. Traverso
Automated Composition of Web Services by Planning at the Knowledge Level
International Joint Conference on Artificial Intelligence (IJCAI) 2005
PDF
M. Pistore, P. Traverso, P. Bertoli, A. Marconi
Automated Synthesis of Composite BPEL4WS Web Services
3rd IEEE International Conference on Web Services 2005
PDF
M. Pistore, P. Traverso, P. Bertoli, A. Marconi
Automated Synthesis of Executable Web Serivce Compositions from BPEL4WS Processes
Poster presentation at the International World Wide Web Conference (WWW) 2005
PDF
M. Pistore, P. Traverso, P. Bertoli
Automated Composition of Web Service by Planning in Asynchronous Domains
International Conference on Automated and Planning Sheduling (ICAPS) 2005
PDF
M. Pistore, F. Barbon, P. Bertoli, D. Shaparau, P. Traverso
Planning and Monitoring Web Service Composition
Artificial Intelligence: Methodology, Systems, Application (AIMSA) 2004
Also: ICAPS'04 Workshop on Planning and Scheduling for Web and Grid Services
PDF
SERVICE ADAPTATION AND EVOLUTION
A. Marconi, M. Pistore, A. Sirbu, H. Eberle, F. Leymann, T. Unger
Enabling Adaptation of Pervasive Flows: Built-in Contextual Adaptation
7th International Conference on Service Oriented Computing (ICSOC'09), 2009
A. Bucchiarone, A. Lluch Lafuente, A. Marconi, M. Pistore
A Formalization of Adaptable Pervasive Flows
6th International Workshop on Web Services and Formal Methods (WS-FM'09), 2009
A. Bucchiarone, A. Marconi, M. Pistore, A. Sirbu
A Context-Aware Framework for Business Processes Evolution
4th International Workshop on Evolutionary Business Processes (EVL-BP 2011), 2011
SEMANTIC WEB SERVICES
M. Pistore, P. Roberti, P. Traverso
Process-Level Composition of Executable Web Services: "On-the-fly" Versus "Once-for-all" Composition
European Semantic Web Conference (ESWC) 2005
PDF
P. Traverso, M. Pistore
Automatic Composition of Semantic Web Services into Executable Processes
International Semantic Web Conference (ISWC) 2004
PDF
TOOLS & DEMO
M. Trainotti, M. Pistore, G. Calabrese, G. Zacco, G. Lucchese, F. Barbon, P. Bertoli, P. Traverso
ASTRO: Supporting Composition and Execution of Web Services
Demo at the International Conference on Automated and Planning Sheduling (ICAPS) 2005
PDF
