• Publications
  • Influence
An Introduction to Software Testing
TLDR
The development of large software systems is a complex and error prone process. Expand
  • 514
  • 60
Software Engineering for Self-Adaptive Systems: A Second Research Roadmap
TLDR
The goal of this roadmap paper is to summarize the state-of-the-art and identify research challenges when developing, deploying, managing and managing self-adaptive software systems. Expand
  • 638
  • 34
  • PDF
Architectures for an Event Notification Service Scalable to Wide-area Networks
TLDR
From the viewpoint of the designer of the event service, the first solutionis definitely the easiest one to implement. Expand
  • 214
  • 28
  • PDF
Extending UML for modeling Web applications
TLDR
This paper proposes W2000, a framework for designing web applications based on two preexisting assets: UML ([4]), the standard notation for modeling object-oriented systems, widely accepted by the software engineering community, and HDM ([12]), an hypermedia model recognized as the ancestor of a family of several design models. Expand
  • 179
  • 18
  • PDF
Towards Dynamic Monitoring of WS-BPEL Processes
TLDR
The paper presents: (1) an approach to specify monitoring directives, called monitoring rules, and weave them dynamically into the process they belong to; (2) a proxy-based solution to support the dynamic selection and execution of monitoring rules at run-time. Expand
  • 330
  • 15
  • PDF
Fuzzy Goals for Requirements-Driven Adaptation
TLDR
This paper presents FLAGS, an innovative goal model that generalizes the KAOS model, adds adaptive goals to embed adaptation countermeasures, and fosters self-adaptation by considering requirements as live runtime entities. Expand
  • 228
  • 15
  • PDF
A Fault Taxonomy for Web Service Composition
TLDR
This paper proposes a novel taxonomy that captures the possible failures that can arise in Web service composition, and classifies the faults that might cause them. Expand
  • 123
  • 14
  • PDF
Modeling and validation of service-oriented architectures: application vs. style
TLDR
We propose UML models of both the architectural style of the platform and the application scenario to validate the consistency between platform and application. Expand
  • 160
  • 13
  • PDF
Self-Supervising BPEL Processes
TLDR
We propose the idea of self-supervising BPEL processes, that is, special-purpose compositions that assess their behavior and react through user-defined rules. Expand
  • 129
  • 11
  • PDF
Smart monitors for composed services
TLDR
We investigate how to monitor dynamic service compositions with respect to contracts expressed via assertions on services. Expand
  • 255
  • 10
  • PDF