Università della Svizzera italiana

Open-world software: specification, verification, and beyond

Bianculli, Domenico ; Ghezzi, Carlo (Dir.)

Thèse de doctorat : Università della Svizzera italiana, 2012 ; 2012INFO009.

Open-world software systems are built by composing heterogeneous,third-party components, whose behavior and interactions cannot be fully controlled or predicted; moreover, the environment they interact with is characterized by frequent, unexpected, and welcome changes. This class of software exhibits new features that often demand for rethinking and extending the traditional methodologies...

Università della Svizzera italiana

Automated performance assessment for service-oriented middleware

Bianculli, Domenico ; Binder, Walter ; Drago, Mauro Luigi

Middleware for Web service compositions, such as BPEL engines, provides the execution environment for services as well as additional functionalities, such as monitoring and self-tuning. Given its role in service provisioning, it is very important to assess the performance of middleware in the context of a Service-oriented Architecture (SOA). This paper presents SOABench, a framework for the...