References of "Capozucca, Alfredo 50001184"
     in
Bookmark and Share    
Full Text
See detailTeaching DevOps in academia and industry: reflections and vision
Bobrov, Evgeny; Bucchiarone, Antonio; Capozucca, Alfredo UL et al

Report (2019)

This paper describes our experience of delivery educational programs in academia and in industry on DevOps, compare the two approaches and sum-up the lessons learnt. We also propose a vision to implement ... [more ▼]

This paper describes our experience of delivery educational programs in academia and in industry on DevOps, compare the two approaches and sum-up the lessons learnt. We also propose a vision to implement a shift in the Software Engineering Higher Education curricula. [less ▲]

Detailed reference viewed: 45 (6 UL)
Full Text
Peer Reviewed
See detailMessir: A Text-First DSL-Based Approach for UML Requirements Engineering (Tool Demo)
Ries, Benoît UL; Capozucca, Alfredo UL; Guelfi, Nicolas UL

in Proceedings of the 11th ACM SIGPLAN International Conference on Software Language Engineering SLE'18 (2018)

Detailed reference viewed: 72 (15 UL)
Full Text
Peer Reviewed
See detailDesign of a (yet another?) DevOps course
Capozucca, Alfredo UL; Guelfi, Nicolas UL; Ries, Benoît UL

in Bruel, Jean-Michel; Mazzara, Manuel; Meyer, Bertrand (Eds.) Software Engineering Aspects of Continuous Development and New Paradigms of Software Production and Deployment (2018)

DevOps have received marginal attention inside the higher education level curricula despite of its boom in the industrial sector. This paper presents the design of an academic master-level course aimed at ... [more ▼]

DevOps have received marginal attention inside the higher education level curricula despite of its boom in the industrial sector. This paper presents the design of an academic master-level course aimed at DevOps. The proposed design is based on earlier experiences in teaching DevOps-related topics. The specification of the course design is provided using the SWEBOK Guide and Bloom’s taxonomy to enhance the quality of the course design specification, and ease its assessment once delivered. [less ▲]

Detailed reference viewed: 94 (19 UL)
Full Text
See detailA Product Line of Software Engineering Project Courses
Guelfi, Nicolas UL; Capozucca, Alfredo UL; Ries, Benoît UL

Poster (2017, November 08)

Detailed reference viewed: 71 (12 UL)
Full Text
Peer Reviewed
See detailMeasuring the SWEBOK Coverage: An Approach and a Tool
Guelfi, Nicolas UL; Capozucca, Alfredo UL; Ries, Benoît UL

Scientific Conference (2016, August 25)

The definition of a software engineering body of knowledge (SWEBOK) is an important milestone in the history of the software engineering discipline. One of the main questions that might be asked in front ... [more ▼]

The definition of a software engineering body of knowledge (SWEBOK) is an important milestone in the history of the software engineering discipline. One of the main questions that might be asked in front of such knowledge definition is: to which extent does my knowledge cover this body of knowledge ? In a more general perspective we can be interested in measuring the coverage of any entity w.r.t. the SWEBOK. It could be a book, a paper, a course, . . . . In this paper, we present the method we defined to answer such question, the tool we developed and the experiments we did with the lessons learned. [less ▲]

Detailed reference viewed: 83 (17 UL)
See detailDT4BP: Dependability and Time for Business Processes
Capozucca, Alfredo UL

Book published by Scholars' Press (2014)

Today, numerous organisations rely on information software systems to run their businesses. The effectiveness of the information software system then, depends largely on the degree to which the ... [more ▼]

Today, numerous organisations rely on information software systems to run their businesses. The effectiveness of the information software system then, depends largely on the degree to which the organisation’s business is accurately captured in the business model. The business model is an abstract description of the way an organisation’s functions. Thus, the more precise the business model, the more accurate the requirement definition of the information software system to be engineered. A dependable business process is one whose failures or the number of occurrences in which business process misses its goal are not unacceptably frequent or severe, from certain viewpoint. A collaborative business process is one that requires the interaction of multiple participants to attain its goal. A time-constrained business process is one that owns at least one property expressed in terms of an upper or lower time bound. This book investigates how Dependable, Collaborative and Time-constrained business processes can be described such that the resulting model captures all the relevant aspects of each dimension of interest. [less ▲]

Detailed reference viewed: 25 (2 UL)
Full Text
Peer Reviewed
See detailAssessing software designs by simulation (Fast Abstract)
Capozucca, Alfredo UL

in Supplemental Volume of the 6th Latin-American Symposium on Dependable Computing (LADC 2013) (2013, April)

Detailed reference viewed: 36 (1 UL)
Peer Reviewed
See detailComparing Six Modeling Approaches
Mussbacher, Gunter; Al Abed, Wisam; Alam, Omar et al

in Kienzle, Joerg (Ed.) Models in Software Engineering (2012)

Detailed reference viewed: 89 (4 UL)
Full Text
Peer Reviewed
See detailOO-SPL modelling of the focused case study
Capozucca, Alfredo UL; Cheng, Betty; Guelfi, Nicolas UL et al

in Comparing Modeling Approaches (CMA) International Workshop affiliated with ACM/IEEE 14th International Conference on Model Driven Engineering Languages and Systems (CMA@MODELS2011) (2011)

Detailed reference viewed: 69 (3 UL)
Full Text
See detailDT4BP: a Business Process Modelling Language for Dependable Time-Constrained Business Processes
Capozucca, Alfredo UL

Doctoral thesis (2010)

Today, numerous organisations rely on information software systems to run their businesses. The effectiveness of the information software system then, depends largely on the degree to which the ... [more ▼]

Today, numerous organisations rely on information software systems to run their businesses. The effectiveness of the information software system then, depends largely on the degree to which the organisation's business is accurately captured in the business model. The business model is an abstract description of the way an organisation's functions. Thus, the more precise the business model, the more accurate the requirement definition of the information software system to be engineered.There are an abundance of tools and notations available today to support the development of many types of business process. Many of these artifacts rely on the concept of a business process to describe a business model. A business process is commonly known as a set of one or more linked procedures or activities which collectively realise a business objective or policy goal, normally within the context of an organisational structure defining functional roles and relationships". This thesis is concerned with modelling business processes as a means to accurately capture an organisation's activities and thus, the requirements of the software system that supports these activities.Among the infinite set of possible business processes, this thesis targets only those characterized by the qualities of dependability, collaboration and time. Business processes having these specific dimensions are referred to as Dependable, Collaborative and Time-Constrained (DCTC) business processes. A dependable business process is one whose failures or the number of occurrences in which business process misses its goal are not unacceptably frequent or severe (from certain viewpoint). A collaborative business process is one that requires the interaction of multiple participants to attain its goal. A time-constrained business process is one that owns at least one property expressed in terms of an upper or lower time bound. This thesis investigates how DCTC business processes can be described such that the resulting model captures all the relevant aspects of each dimension of interest. In addition, the business model must be comprehensible to the stakeholders involved not only in its definition, but also in its further use throughout the software development life cycle.A revision and analysis of notations that exist for modelling business processes conducted in this thesis have revealed that today there does not exist any modelling language that provides comprehensible, suitable and sufficiently expressive support for the characteristics of dependability, collaboration and time in an integrated manner. Hence, a significant part of this thesis is devoted to the definition of a new business process modelling language named DT4BP. The aim of this new modelling language is to be comprehensible, suitable and expressive enough to describe DCTC business processes. The definition of this new modelling language implies that a concrete syntax, an abstract syntax, a semantic domain and a semantic mapping is provided. The definition of this new modelling language is given following the Model-Driven Engineering (MDE) approach, and in particular the metamodelling principles. Thus, meta-models and model transformations are used to precisely specify the abstract syntax and semantic mapping elements of the language definition, respectively. Since DT4BP is a textual modelling language, its concrete syntax is specified by a context-free grammar. The Coordinated Atomic Actions conceptual framework with real-time extensions (Timed-CaaFWrk) is used as the semantic domain as it covers a large part of the abstractions included in dependable collaborative time-constrained business processes. The formalisation of this semantic domain according to the metamodelling principles is also part of the material presented in this thesis. Since the business model is considered as a representation of the requirement document the software system to be developed, it is crucial to validate whether it captures the requirements as intended by the stakeholder before going further in the software development process. Hence, besides the comprehensibility, suitability and expressiveness of the modelling language with respect to the domain of interest, it is of special interest to provide a mechanism that allows modellers to ensure that the business model is correct with respect to the stakeholder's expectations. One way of achieving this goal is to provide the modelling language with an executable semantics. In this manner, any business model can be executed on sample input data, and its dynamic behaviour observed. The observation of the dynamic behaviour of the model may be considered as a simulation of the model based on the sample input data. By performing several simulations of the model, the modeller, in cooperation with the stakeholder, can judge whether the business model is correct. This thesis provides an executable semantics for Timed-CaaFWrk that, used in combination with the model transformation that defines the semantic mapping element of the language definition, allows DT4BP models to be validated by simulation. In this manner, the dynamic behaviour of a particular DT4BP model for a given sample input data can be observed by transforming it into a Timed-CaaFWrk model, which is then run thanks to the given executable semantics. [less ▲]

Detailed reference viewed: 74 (5 UL)
Full Text
Peer Reviewed
See detailModelling Dependable Collaborative Time-constrained Business Process
Capozucca, Alfredo UL; Guelfi, Nicolas UL

in Enterprise Information Systems (2010), 4(2), 153-214

Detailed reference viewed: 43 (3 UL)
Full Text
Peer Reviewed
See detailFrameworks for designing and implementing dependable systems using Coordinated Atomic Actions: A comparative study
Capozucca, Alfredo UL; Guelfi, Nicolas UL; Pelliccione, Patrizio et al

in Journal of Systems and Software (2009), 82(2), 207-228

This paper presents ways of implementing dependable distributed applications designed using the Coordinated Atomic Action (CAA) paradigm. CAAs provide a coherent set of concepts adapted to fault tolerant ... [more ▼]

This paper presents ways of implementing dependable distributed applications designed using the Coordinated Atomic Action (CAA) paradigm. CAAs provide a coherent set of concepts adapted to fault tolerant distributed system design that includes structured transactions, distribution, cooperation, competition, and forward and backward error recovery mechanisms triggered by exceptions. DRIP (Dependable Remote Interacting Processes) is an efficient Java implementation framework which provides support for implementing Dependable Multiparty Interactions (DMI). As DMIs have a softer exception handling semantics compared with the CAA semantics, a CAA design can be implemented using the DRIP framework. A new framework called CAA-DRIP allows programmers to exclusively implement the semantics of CAAs using the same terminology and concepts at the design and implementation levels. The new framework not only simplifies the implementation phase, but also reduces the final system size as it requires less number of instances for creating a CAA at runtime. The paper analyses both implementation frameworks in great detail, drawing a systematic comparison of the two. The CAAs behaviour is described in terms of Statecharts to better understand the differences between the two frameworks. Based on the results of the comparison, we use one of the frameworks to implement a case study belonging to the e-health domain. [less ▲]

Detailed reference viewed: 76 (3 UL)
Full Text
Peer Reviewed
See detailDesigning Reliable Real-Time Concurrent Object-Oriented Software Systems
Capozucca, Alfredo UL; Guelfi, Nicolas UL

in Proceedings of the 24th ACM Symposium on Applied Computing (Track on Real-Time Systems) SAC'09 (2009)

Coordinated Atomic Actions is a conceptual framework used to increase the reliability (by fault tolerance) of concurrent object-oriented software systems. An extension of this con-ceptual framework to ... [more ▼]

Coordinated Atomic Actions is a conceptual framework used to increase the reliability (by fault tolerance) of concurrent object-oriented software systems. An extension of this con-ceptual framework to support the modelling of real-time software systems has been proposed. In this work we present our proposal for improvements of this extension focusing on recovery process optimisation, non-determinism reduction and time-related constructs extension. [less ▲]

Detailed reference viewed: 62 (2 UL)
Peer Reviewed
See detailAnalysis and framework-based design of a fault-tolerant web information system for m-health
Balbastro, Florencia; Capozucca, Alfredo UL; Guelfi, Nicolas UL

in Service Oriented Computing and Applications (2008), 2(2-3), 111-144

Detailed reference viewed: 71 (0 UL)
Peer Reviewed
See detailOn the Integration of Mobility in a Fault-Tolerant e-HealthWeb Information System
Balbastro, Florencia; Capozucca, Alfredo UL; Guelfi, Nicolas UL

in Advanced Information Networking and Applications Workshops, 2007, AINAW '07. 21st International Conference on (Volume:2 ) (2007)

The e-health domain has for objective to assist and manage citizens health. It concerns many actors like patient, doctors, hospitals and administration. Current and forthcoming generations of application ... [more ▼]

The e-health domain has for objective to assist and manage citizens health. It concerns many actors like patient, doctors, hospitals and administration. Current and forthcoming generations of application will be web based and will integrate more and more mobile devices. In such application domain, dependability is a key notion. This paper presents, through a case study, how we can develop an application that controls the insulin injection and that is embedded in a mobile device belonging to an e-health Web Information System (WIS). In order to ensure the dependability of the control systems, we show how to use Coordinated Atomic Actions (CAA). In order to implement our design, we explain how to use a development framework that we have made to implement CAA, which originally was not tailored for mobile fault-tolerant applications. Thus, in this paper, we also explain how we have adapted and used CAA-DRIP for mobile devices. [less ▲]

Detailed reference viewed: 72 (2 UL)
See detailCORRECT Developing Fault-Tolerant Distributed Systems
Capozucca, Alfredo UL; Gallina, Barbara UL; Guelfi, Nicolas UL et al

in ERCIM News 64 (2006)

Detailed reference viewed: 35 (2 UL)
Peer Reviewed
See detailCAA-DRIP: a framework for implementing Coordinated Atomic Actions
Capozucca, Alfredo UL; Guelfi, Nicolas UL; Pelliccione, Patrizio et al

in The 17th International Symposium on Software Reliability (2006)

Detailed reference viewed: 68 (8 UL)
Peer Reviewed
See detailThe Fault-Tolerant Insulin Pump Therapy
Capozucca, Alfredo UL; Guelfi, Nicolas UL; Pelliccione, Patrizio

in Michael, Butler; Cliff, Jones; Alexander, Romanovsky (Eds.) et al Rigorous Development of Complex Fault-Tolerant Systems, 4157 (2006)

The “Fault-Tolerant Insulin Pump Therapy” is based on the Continuous Subcutaneous Insulin Injection technique which combines devices (a sensor and a pump) and software in order to make glucose sensing and ... [more ▼]

The “Fault-Tolerant Insulin Pump Therapy” is based on the Continuous Subcutaneous Insulin Injection technique which combines devices (a sensor and a pump) and software in order to make glucose sensing and insulin delivery automatic. These devices are not physically connected together and they come with the necessary features to detect malfunctions which they may have. As the patient’s health is the most important, the therapy has to be able to work despite the fact that hardware and/or software faults have or may occur. This paper presents the development cycle for the Insulin Pump Therapy Control System case study, starting from requirements and reaching the implementation following a top-down approach. It will show how the Coordinated Atomic Actions (CAAs) structuring mechanism can be used for modelling Faul-Tolerant (FT) systems and how CAA-DRIP development environment is used to implement it. [less ▲]

Detailed reference viewed: 54 (0 UL)