Negotiation of Service Level Agreements: an Architecture and a Search-based Approach (2009)
Elisabetta Di Nitto, Massimiliano Di Penta, Alessio Gambi, Gianluca Ripa, Maria Luisa Villani
Abstract. Software systems built by composing existing services are more and more capturing the interest of researchers and practitioners. The envisaged long term scenario is that services, offered...
1 A Framework for QoS-Aware Binding and Re-Binding of Composite Web Services (2009)
Gerardo Canfora, Massimiliano Di Penta, Raffaele Esposito, Maria Luisa Villani
QoS-aware dynamic binding of composite services provides the capability of binding each service invocation in a composition to a service chosen among a set of functionally equivalent ones to achieve...
Discovery of SOA Patterns via Model Checking (2009)
Massimiliano Di Penta, Antonella Santone, Maria Luisa Villani
Design pattern recovery has been proved to be an useful mechanism to assess the quality of object-oriented systems, to facilitate their comprehension, and to help identifying reusable assets. The...
Sara Gradara, Antonella Santone, Maria Luisa Villani, Gigliola Vaglini
Java is largely used to develop distributed and concurrent systems, but testing multithreaded systems cannot guarantee the quality of the software; in contrast, verification techniques give us a...
Performance, Reliability (2008)
Gerardo Canfora, Massimiliano Di Penta, Raffaele Esposito, Maria Luisa Villani
Web services are rapidly changing the landscape of software engineering. One of the most interesting challenges introduced by web services is represented by Quality Of Service (QoS)–aware...
Workflow Management in the GENESIS Environment (2007)
Lerina Aversano, Aniello Cimitile, Andrea De Lucia, Silvio Stefanucci, Maria Luisa Villani
We present the workflow management system of GENESIS (Generalised ENvironment for procESs management in cooperatIve Software engineering), an on-going research project aiming at designing and...
Formal Verification of Concurrent Systems via Directed Model Checking (2006)
Gradara, Sara, Santone, Antonella, Villani, Maria Luisa
Model checking suffers from the state explosion problem, due to the exponential increase in the size of a finite state model as the number of system components grows. Directed model checking aims at...
Formal Verification of Concurrent Systems via Directed Model Checking (2006)
Gradara, Sara, Santone, Antonella, Villani, Maria Luisa
Model checking suffers from the state explosion problem, due to the exponential increase in the size of a finite state model as the number of system components grows. Directed model checking aims at...
Formal Verification of Concurrent Systems via Directed Model Checking (2006)
Gradara, Sara, Santone, Antonella, Villani, Maria Luisa
Model checking suffers from the state explosion problem, due to the exponential increase in the size of a finite state model as the number of system components grows. Directed model checking aims at...
Formal Verification of Concurrent Systems via Directed Model Checking Abstract (2006)
Sara Gradara, Antonella Santone, Maria Luisa Villani
Model checking suffers from the state explosion problem, due to the exponential increase in the size of a finite state model as the number of system components grows. Directed model checking aims at...
Service composition (re)binding driven by application-specific qos (2006)
Gerardo Canfora, Massimiliano Di Penta, Raffaele Esposito, Francesco Perfetto, Maria Luisa Villani
Abstract. QoS–aware service composition and binding are among the most challenging and promising issues for service–oriented architectures. The aim of QoS–aware service composition is to...
QoS-Aware Replanning of Composite Web Services (2005)
Gerardo Canfora, Massimiliano Di Penta, Raffaele Esposito, Maria Luisa Villani
Run-time service discovery and late-binding constitute some of the most challenging issues of service–oriented software engineering. For late-binding to be effective in the case of composite...
QoS-Aware Replanning of Composite Web Services (2005)
Gerardo Canfora, Massimiliano Di Penta, Raffaele Esposito, Maria Luisa Villani
Run-time service discovery and late-binding constitute some of the most challenging issues of service–oriented software engineering. For late-binding to be effective in the case of composite...
The c-cube framework: Developing autonomic applications through web services (2005)
Gerardo Canfora, Piero Corte, Antonio De Nigro, Debora Desideri, Massimiliano Di Penta, Raffaele Esposito, ...
Web services constitute a promising technology to support autonomic computing. Automatic discovery of new services, their composition and binding based on Quality of Service (QoS) are just some of...