Search For:

Displaying 1-50 out of 50 total
Self-adaptive Web Service Compositions
Found in: Enterprise Distributed Object Computing Conference Workshops, IEEE International
By Luciano Baresi
Issue Date:September 2008
pp. 343
Self-adaptability and autonomic behaviors are becoming more and more important in the landscape of complex distributed systems, and Web service compositions are a prominent example. Mobile applications require services able to adapt their behavior with res...
   
A Service-Based Framework for Flexible Business Processes
Found in: IEEE Software
By Danilo Ardagna, Luciano Baresi, Sara Comai, Marco Comuzzi, Barbara Pernici
Issue Date:March 2011
pp. 61-67
A framework for the design and enactment of flexible and adaptive business processes combines design-time and runtime mechanisms to offer a single integrated solution. The design-time environment supports the specification of process-driven Web application...
 
Towards Open-World Software: Issue and Challenges
Found in: Software Engineering Workshop, Annual IEEE/NASA Goddard
By Luciano Baresi, Elisabetta Di Nitto, Carlo Ghezzi
Issue Date:April 2006
pp. 249-252
Traditional software development is based on the closed-world assumption that the boundary between system and environment is known and unchanging. However, this assumption no longer works within today?s unpredictable open-world settings, which demands tech...
   
Self-managing Overlays for Infrastructure-less Networks
Found in: 2013 IEEE 7th International Conference on Self-Adaptive and Self-Organizing Systems (SASO)
By Luciano Baresi,Sam Guinea,Panteha Saeedi
Issue Date:September 2013
pp. 81-90
Easy access to communication means and mobile devices are fostering the birth of systems that need to scale to high numbers of peers, adapt to high churn rates, and be performant and available even when the underlying network infrastructures are unreliable...
 
Event-Based Multi-level Service Monitoring
Found in: 2013 IEEE International Conference on Web Services (ICWS)
By Luciano Baresi,Sam Guinea
Issue Date:June 2013
pp. 83-90
Due to the growing pervasiveness of the service paradigm, modern systems are now often built as software as a service, and tend to exploit underlying platforms and virtualized resources also provided as services. Managing such systems requires that we be a...
 
Service-Oriented Dynamic Software Product Lines
Found in: Computer
By Luciano Baresi,Sam Guinea,Liliana Pasquale
Issue Date:October 2012
pp. 42-48
An operational example of controls in a smart home demonstrates the potential of a solution that combines the Common Variability Language and a dynamic extension of the Business Process Execution Language to address the need to manage software system varia...
 
Architectural Styles for Adaptive Systems: A Tutorial
Found in: 2012 IEEE 6th International Conference on Self-Adaptive and Self-Organizing Systems (SASO)
By Luciano Baresi,Sam Guinea
Issue Date:September 2012
pp. 237-238
Modern and evolving domains such as ambient intelligence, context-aware applications, and pervasive computing require that software systems be able to cope with unprecedented degrees of runtime variability. This demands that software systems be flexible, a...
 
Emerging Research Themes in Services-Oriented Systems
Found in: 2012 Annual SRII Global Conference (SRII)
By Luciano Baresi,Nikolaos Georgantas,Kristof Hamann,Valerie Issarny,Winfried Lamersdorf,Andreas Metzger,Barbara Pernici
Issue Date:July 2012
pp. 333-342
Service-oriented Architecture (SOA) is one of the most recent trends in IT solutions. From a technical perspective SOA, can be considered a method for designing and developing IT systems where applications are constructed from loosely coupled and au-tonomo...
 
CLAM: Managing cross-layer adaptation in service-based systems
Found in: Service-Oriented Computing and Applications, IEEE International Conference on
By Asli Zengin,Annapaola Marconi,Luciano Baresi,Marco Pistore
Issue Date:December 2011
pp. 1-8
Service-based systems (SBS) have a complex layered structure where the service-based application (SBA) is implemented through a composition of services, which run on top of service oriented infrastructures. Taking into account the heterogeneous and dynamic...
 
SCArVeS: Services, Clouds, and Alternative Design Strategies for Variant-Rich Software Systems
Found in: Software Product Line Conference, International
By Karina Villela,Sholom Cohen,Luciano Baresi
Issue Date:August 2011
pp. 342
Summary of Scarves workshop
 
A-3: An Architectural Style for Coordinating Distributed Components
Found in: Software Architecture, Working IEEE/IFIP Conference on
By Luciano Baresi, Sam Guinea
Issue Date:June 2011
pp. 161-170
Distributed systems comprise a significant number of entities that must be properly coordinated to reach a goal. These systems present high turnover of elements, and demand for solutions that keep their coordination as decentralized as possible to avoid bo...
 
A Component-Oriented Metamodel for the Modernization of Software Applications
Found in: Engineering of Complex Computer Systems, IEEE International Conference on
By Luciano Baresi, Matteo Miraz
Issue Date:April 2011
pp. 179-187
The modernization of a software system is a complex and expensive task and requires a deep understanding of the existing system. The capability of re-factoring a complex application into some high-level views is mandatory to elicit its structure and start ...
 
Model-Driven Management of Services
Found in: Web Services, European Conference on
By Luciano Baresi, Mauro Caporuscio, Carlo Ghezzi, Sam Guinea
Issue Date:December 2010
pp. 147-154
Applications are increasingly composed of remote services provided by independent parties. This distributed ownership makes it problematic to measure and control quality of service indicators. Management activities must become an integral part of the syste...
 
Fuzzy Goals for Requirements-Driven Adaptation
Found in: Requirements Engineering, IEEE International Conference on
By Luciano Baresi, Liliana Pasquale, Paola Spoletini
Issue Date:October 2010
pp. 125-134
Self-adaptation is imposing as a key characteristic of many modern software systems to tackle their complexity and cope with the many environments in which they can operate. Self-adaptation is a requirement per-se, but it also impacts the other (convention...
 
Adaptive Goals for Self-Adaptive Service Compositions
Found in: Web Services, IEEE International Conference on
By Luciano Baresi, Liliana Pasquale
Issue Date:July 2010
pp. 353-360
Service compositions need to continuously self- adapt to cope with unexpected failures. In this context adaptation becomes a fundamental requirement that must be elicited along with the other functional and non functional requirements. Beside modelling, ef...
 
TestFul: automatic unit-test generation for Java classes
Found in: Software Engineering, International Conference on
By Luciano Baresi,Matteo Miraz
Issue Date:May 2010
pp. 281-284
This paper presents TestFul, an Eclipse plugin for the generation of tests for Java classes. It is based on the idea of search-based testing, working both at class and method level. The former puts objects in useful states, used by the latter to exercise t...
 
Comprehensive Monitoring of BPEL Processes
Found in: IEEE Internet Computing
By Luciano Baresi, Sam Guinea, Olivier Nano, George Spanoudakis
Issue Date:May 2010
pp. 50-57
Service-oriented systems' distributed ownership has led to an increasing focus on runtime management solutions. Service-oriented systems can change greatly after deployment, hampering their quality and reliability. Their service bindings can change, and pr...
 
TestFul: An Evolutionary Test Approach for Java
Found in: Software Testing, Verification, and Validation, 2008 International Conference on
By Luciano Baresi, Pier Luca Lanzi, Matteo Miraz
Issue Date:April 2010
pp. 185-194
This paper presents TestFul, an evolutionary testing approach for Java classes that works both at class and method level. TestFul exploits a multi-objective evolutionary algorithm to identify the “best” tests. The paper introduces the main elements of Test...
 
Self-Supervising BPEL Processes
Found in: IEEE Transactions on Software Engineering
By Luciano Baresi, Sam Guinea
Issue Date:March 2011
pp. 247-263
Service compositions suffer changes in their partner services. Even if the composition does not change, its behavior may evolve over time and become incorrect. Such changes cannot be fully foreseen through prerelease validation, but impose a shift in the q...
 
Loupe: Verifying Publish-Subscribe Architectures with a Magnifying Lens
Found in: IEEE Transactions on Software Engineering
By Luciano Baresi, Carlo Ghezzi, Luca Mottola
Issue Date:March 2011
pp. 228-246
The Publish-Subscribe (P/S) communication paradigm fosters high decoupling among distributed components. This facilitates the design of dynamic applications, but also impacts negatively on their verification, making it difficult to reason on the overall fe...
 
Dynamo + Astro: An Integrated Approach for BPEL Monitoring
Found in: Web Services, IEEE International Conference on
By Luciano Baresi, Sam Guinea, Marco Pistore, Michele Trainotti
Issue Date:July 2009
pp. 230-237
In the literature, there exist several approaches for monitoring the execution of BPEL processes. They concentrate on different properties, adopt different languages, work at different levels of abstraction, and assume different perspectives. Even if the f...
 
Service-Centric Systems and Requirements Engineering
Found in: Requirements Engineering, IEEE International Conference on
By Luciano Baresi, Neil Maiden, Peter Sawyer
Issue Date:September 2008
pp. 305
This mini-tutorial introduces web services and service-centric systems, identifies their impact on requirements engineering, and introduces new tools and techniques for engineer requirements for service-centric systems.
 
Web Services and Web 2.0: Married or Fianc
Found in: Web Site Evolution, IEEE International Workshop on
By Luciano Baresi
Issue Date:October 2007
pp. 1
No summary available.
 
A Timed Extension of WSCoL
Found in: Web Services, IEEE International Conference on
By Luciano Baresi, Domenico Bianculli, Carlo Ghezzi, Sam Guinea, Paola Spoletini
Issue Date:July 2007
pp. 663-670
Web service based applications are expected to live in dynamically evolving settings. At run-time, services may undergo changes that could modify their expected behavior. Because of such intrinsic dynamic nature, applications should be designed by adhering...
 
Dynamo and Self-Healing BPEL Compositions
Found in: International Conference on Software Engineering Companion
By Luciano Baresi, Sam Guinea
Issue Date:May 2007
pp. 69-70
Dynamo augments current BPEL technology with self-healing capabilities. Dedicated supervision rules allow the designer to set the amount of checks that must be performed at runtime and how the BPEL process must react whether anomalies arise. The technologi...
   
On Accurate Automatic Verification of Publish-Subscribe Architectures
Found in: Software Engineering, International Conference on
By Luciano Baresi, Carlo Ghezzi, Luca Mottola
Issue Date:May 2007
pp. 199-208
The paper presents a novel approach based on Bogor for the accurate verification of applications based on Publish- Subscribe infrastructures. Previous efforts adopted standard model checking techniques to verify the application behavior, but they introduce...
 
Towards a Model-driven Approach to Develop Applications based on Physical Active Objects
Found in: Asia-Pacific Software Engineering Conference
By Luciano Baresi, Paolo Beretta, Roberto Fraccapani, Carlo Ghezzi, Filippo Pacifici
Issue Date:December 2006
pp. 173-182
<p>The increasing diffusion of ubiquitous communication infrastructures and physical active objects -like sensors and smart tags- is motivating the integration of these devices into advanced distributed systems. The novelty of these technologies has ...
 
Toward Open-World Software: Issue and Challenges
Found in: Computer
By Luciano Baresi, Elisabetta Di Nitto, Carlo Ghezzi
Issue Date:October 2006
pp. 36-43
Traditional software development is based on the closed-world assumption that the boundary between system and environment is known and unchanging. However, this assumption no longer works within today's unpredictable open-world settings, which demands tech...
 
Towards Pervasive Supervision for Autonomic Systems
Found in: Distributed Intelligent Systems: Collective Intelligence and Its Applications, IEEE Workshop on
By Luciano Baresi, Matthias Baumgarten, Maurice Mulvenna, Chris Nugent, Kevin Curran, Peter H. Deussen
Issue Date:June 2006
pp. 365-370
One of the key motivations for the provisioning of autonomic communication features in next generation services is to reduce the need of human inference for management tasks. This however means essentially that system control is delegated to the system its...
 
Tutorial: towards dynamic web services
Found in: Software Engineering, International Conference on
By Sam Guinea, Luciano Baresi
Issue Date:May 2006
pp. 1067-1068
This tutorial introduces dynamic web services as a solution to cope with the dynamism and flexibility required by many modern software systems. Current technologies (WSDL, WS-BPEL, etc.) have proven insufficient in addressing these issues; however, they re...
   
An Introduction to Self-Healing Web Services
Found in: Engineering of Complex Computer Systems, IEEE International Conference on
By Luciano Baresi, Sam Guinea
Issue Date:June 2005
pp. 4
No summary available.
   
Style-Based Refinement of Dynamic Software Architectures
Found in: Software Architecture, Working IEEE/IFIP Conference on
By Luciano Baresi, Reiko Heckel, Sebastian Thöne, Dániel Varró
Issue Date:June 2004
pp. 155
In this paper, we address the correct refinement of abstract architectural models into more platform-specific representations. We consider the challenging case of dynamic architectures which can perform run-time reconfigurations. For this purpose, the unde...
 
Estimating the Design Effort of Web Applications
Found in: Software Metrics, IEEE International Symposium on
By Luciano Baresi, Sandro Morasca, Paolo Paolini
Issue Date:September 2003
pp. 62
<p>Our study focuses on the effort needed for designing Web applications. The effort required for the design phase is an important part of the total development effort of a Web application, whose implementation can be (partially) automated by tools.&...
 
An Empirical Study on the Design Effort of Web Applications
Found in: Web Information Systems Engineering, International Conference on
By Luciano Baresi, Sandro Morasca, Paolo Paolini
Issue Date:December 2002
pp. 345
We study the effort needed for designing Web applications from an empirical point of view. The design phase takes an important part of the overall effort needed to develop a Web applicatiqn, since the use of tools can help automate the implementation phase...
 
Consistent Runtime Evolution of Service-Based Business Processes
Found in: 2014 IEEE/IFIP Conference on Software Architecture (WICSA)
By Luciano Baresi,Sam Guinea,Valerio Panzica La Manna
Issue Date:April 2014
pp. 77-86
Service-based business processes must evolve to remain aligned with their goals, with zero downtime to guarantee business continuity. A new version of a service should be adopted as soon as it becomes available to let clients benefit from the updated funct...
 
Specifying automated oracles for Simulink models
Found in: 2013 IEEE 19th International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA)
By Paulo A. Nardi,Marcio E. Delamaro,Luciano Baresi
Issue Date:August 2013
pp. 330-333
This paper presents a partially-automated solution for the definition of test oracles for validating Simulink models. Since these models are widely used for the design of embedded systems, their thorough validation is key. Errors and misunderstandings in t...
   
IRET: Requirements for service platforms
Found in: 2013 IEEE 21st International Requirements Engineering Conference (RE)
By Luciano Baresi,Gianluca Ripa,Liliana Pasquale
Issue Date:July 2013
pp. 336-337
This paper describes IRENE (Indenica Requirements ElicitatioN mEthod), a methodology to elicit and model the requirements of service platforms, and IRET (IREne Tool), the Eclipse-based modeling framework we developed for IRENE.
   
Introducing Formal Specification Methods in Industrial Practice
Found in: Software Engineering, International Conference on
By Luciano Baresi, Alessandro Orso, Mauro Pezzè
Issue Date:May 1997
pp. 56
Formal specification methods are not often applied in industrial projects, despite their advantages and the maturity of theories and tools. The scarce familiarity of practitioners with formal notations and the difficulties of their use are main causes of t...
 
Introduction to the Special Section on Best Papers from SEAMS 2012
Found in: ACM Transactions on Autonomous and Adaptive Systems (TAAS)
By Hausi Müller, Luciano Baresi
Issue Date:January 2014
pp. 1-1
Design plays a critical role in the software's quality and long-term success. Yet, software design, as a systematic process, is not sufficiently understood, and its practice in the real world is highly varied. As a result, teaching software design remains ...
     
SCArVeS: services, clouds, and alternative design strategies for variant-rich software systems
Found in: Proceedings of the 16th International Software Product Line Conference - Volume 1 (SPLC '12)
By Jaejoon Lee, Karina Villela, Klaus Schmid, Luciano Baresi, Sholom Cohen
Issue Date:September 2012
pp. 291-291
This workshop on services, clouds, and alternative design strategies for variant-rich software systems brings together researchers and practitioners that are interested in or have been working on variant-rich software systems.
     
The disappearing boundary between development-time and run-time
Found in: Proceedings of the FSE/SDP workshop on Future of software engineering research (FoSER '10)
By Carlo Ghezzi, Luciano Baresi
Issue Date:November 2010
pp. 17-22
Modern software systems are increasingly embedded in an open world that is constantly evolving, because of changes in the requirements, in the surrounding environment, and in the way people interact with them. The platform itself on which software runs may...
     
TestFul: using a hybrid evolutionary algorithm for testing stateful systems
Found in: Proceedings of the 11th Annual conference on Genetic and evolutionary computation (GECCO '09)
By Luciano Baresi, Matteo Miraz, Pier Luca Lanzi
Issue Date:July 2009
pp. 46-52
This paper introduces TestFul, a framework for testing stateful systems and focuses on object-oriented software. TestFul employs a hybrid multi-objective evolutionary algorithm, to explore the space of feasible tests efficiently, and novel quality metrics,...
     
Towards a unified framework for the monitoring and recovery of BPEL processes
Found in: Proceedings of the 2008 workshop on Testing, analysis, and verification of web services and applications (TAV-WEB '08)
By Liliana Pasquale, Luciano Baresi, Sam Guinea
Issue Date:July 2008
pp. 15-19
Web services have proven to be a viable solution for interoperability issues. Since end users do not buy services, but only interact with them remotely, such complex systems end up having a distributed ownership, meaning different parts of a system can evo...
     
Towards decentralized self-adaptive component-based systems
Found in: Proceedings of the 2008 international workshop on Software engineering for adaptive and self-managing systems (SEAMS '08)
By Giordano Tamburrelli, Luciano Baresi, Sam Guinea
Issue Date:May 2008
pp. 1-1
Modern software systems are challenging challenge software engineers since they must adapt effectively and efficiently with respect to the environment in which they are deployed. To this end, the paper outlines an architecture, supported by special-purpose...
     
Tutorial: towards dynamic web services
Found in: Proceeding of the 28th international conference on Software engineering (ICSE '06)
By Luciano Baresi, Sam Guinea
Issue Date:May 2006
pp. 1067-1068
This tutorial introduces dynamic web services as a solution to cope with the dynamism and flexibility required by many modern software systems. Current technologies (WSDL, WS-BPEL, etc.) have proven insufficient in addressing these issues; however, they re...
     
Hybrid service-oriented architectures: a case-study in the automotive domain
Found in: Proceedings of the 5th international workshop on Software engineering and middleware (SEM '05)
By Andrea Naggi, Antonio Miele, Carlo Ghezzi, Filippo Pacifici, Luciano Baresi, Matteo Miraz
Issue Date:September 2005
pp. 62-68
Vehicles are becoming complex software systems with many components and services that need to be coordinated. Service oriented architectures can be used in this domain to support intra-vehicle, inter-vehicles, and vehicle-environment services. Such archite...
     
First experiences on constraining consistency and adaptivity of W2000 models
Found in: Proceedings of the 2005 ACM symposium on Applied computing (SAC '05)
By Luca Mainetti, Luciano Baresi, Sebastiano Colazzo
Issue Date:March 2005
pp. 1674-1678
The complexity of Web applications is increasing almost every day. Besides impacting the implementation phase, this complexity must also be suitably managed while modeling the application. The paper argues that a pure modeling notation, like W2000, is not ...
     
Graph transformation to infer schemata from XML documents
Found in: Proceedings of the 2005 ACM symposium on Applied computing (SAC '05)
By Elisa Quintarelli, Luciano Baresi
Issue Date:March 2005
pp. 642-646
Semi-structured data are characterized by the lack of a predefined schema. This heterogeneity simplifies the management of such data, but analysis and queries become more difficult and demand for schemata that describe these data. Super-imposed structures ...
     
Formal interpreters for diagram notations
Found in: ACM Transactions on Software Engineering and Methodology (TOSEM)
By Luciano Baresi, Mauro Pezze
Issue Date:January 2005
pp. 42-84
The article proposes an approach for defining extensible and flexible formal interpreters for diagram notations with significant dynamic semantics. More precisely, it addresses semi-formal diagram notations that have precisely-defined syntax, but informall...
     
Smart monitors for composed services
Found in: Proceedings of the 2nd international conference on Service oriented computing (ICSOC '04)
By Carlo Ghezzi, Luciano Baresi, Sam Guinea
Issue Date:November 2004
pp. 193-202
Service-based approaches are widely used to integrate heterogenous systems. Web services allow for the definition of highly dynamic systems where components (services) can be discovered and QoS parameters negotiated at run-time. This justifies the need for...
     
 1