Share This Author
Model evolution by run-time parameter adaptation
- I. Epifani, C. Ghezzi, R. Mirandola, Giordano Tamburrelli
- Computer ScienceIEEE 31st International Conference on Software…
- 16 May 2009
An approach is discussed that addresses models that deal with non-functional properties, such as reliability and performance by keeping models alive at run time and feeding a Bayesian estimator with data collected from the running system, which produces updated parameters.
Process Model Evolution in the SPADE Environment
The mechanisms a process language should possess in order to support changes are discussed and how the proposed mechanisms can be used to model different policies for changing a software process model are discussed.
A Unified High-Level Petri Net Formalism for Time-Critical Systems
- C. Ghezzi, D. Mandrioli, S. Morasca, M. Pezzè
- Computer ScienceIEEE Trans. Software Eng.
- 1 February 1991
A high-level Petri net formalism-environment/relationship (ER) nets-which can be used to specify control, function, and timing issues-is introduced and time can be modeled via ER nets by providing a suitable axiomatization.
SPADE: an environment for software process analysis, design, and enactment
This paper presents SLANG through a case study which illustrates SLANG main features, including process modularization, interaction with tools, and process evolution, and describes the architecture of the rst implementation of SPADE, called SPADE1, showing how the environment supports concurrent enaction of process activities, integration of external tools and storage of persistent data in an object-oriented database.
Model-based verification of quantitative non-functional properties for software product lines
A journey to highly dynamic, self-adaptive service-based applications
- E. D. Nitto, C. Ghezzi, Andreas Metzger, M. Papazoglou, K. Pohl
- Computer ScienceAutomated Software Engineering
- 1 December 2008
This article evaluates the progress in software technologies and methodologies that led to the service concept and SOA and discusses how the evolution of the requirements, and in particular business goals, influenced the progress towards highly dynamic self-adaptive systems.
Context-oriented programming: A software engineering perspective
Smart monitors for composed services
This work investigates how to monitor dynamic service compositions with respect to contracts expressed via assertions on services with one based on late-binding and reflection and the other based on a standard assertion system.
TRIO: A logic language for executable specifications of real-time systems
A formal approach to adaptive software: continuous assurance of non-functional requirements
An approach and support tools are illustrated that enable a holistic view of the design and run-time management of adaptive software systems, based on formal (probabilistic) models that are used at design time to reason about dependability of the application in quantitative terms.