References of "Gallina, Barbara 40000221"
     in
Bookmark and Share    
Peer Reviewed
See detailReusing Transaction Models for Dependable Cloud Computing
Gallina, Barbara UL; Guelfi, Nicolas UL

in Xiaodong, Yang Hongji (Ed.) Software Reuse in the Emerging Cloud Computing Era (2011)

Cloud computing represents a technological change in computing. Despite the technological change, however, the quality of the computation, in particular its dependability, keeps on being a fundamental ... [more ▼]

Cloud computing represents a technological change in computing. Despite the technological change, however, the quality of the computation, in particular its dependability, keeps on being a fundamental requirement. To ensure dependability, more specifically reliability, transaction models represent an effective means. In the literature, several transaction models exist. Choosing (reusing entirely) or introducing (reusing partially) transaction models for cloud computing is not an easy task. The difficulty of this task is due to the fact that it requires a deep understanding of the properties that characterize transaction models to be able to discriminate reusable from non reusable properties with respect to cloud computing characteristics. To ease this task, the PRISMA process is introduced. PRISMA is a Process for Requirements Identification, Specification and Machine-supported Analysis that targets transaction models. PRISMA is then applied to engineer reusable requirements suitable for the achievement of the adequate transaction models for cloud computing. [less ▲]

Detailed reference viewed: 42 (0 UL)
Full Text
See detailPRISMA: A Software Product Line-oriented Process for the Requirements Engineering of Flexible Transaction Models
Gallina, Barbara UL

Doctoral thesis (2010)

Engineering the requirements of the right transaction model (right with respect to the business goals of the application to be supported) is a hard task since it involves the critical choice of the right ... [more ▼]

Engineering the requirements of the right transaction model (right with respect to the business goals of the application to be supported) is a hard task since it involves the critical choice of the right degree of ACIDity, that is the right selection of requirements in terms of Atomicity, Consistency, Isolation and Durability, which altogether are fundamental to ensure dependability and, more specifically, reliability. Up to now, this task is definitively not supported by a process. This thesis provides a novel process, called PRISMA. PRISMA is a Process for Requirements Identification, Specification and Machine-supported Analysis that targets transaction models. PRISMA is helpful as a prism in the identification of fundamental and constituting properties of transaction models to achieve, as a result of the PRISMA process, a correct and valid requirements specification. The main idea behind PRISMA is that transaction models may be considered as a product line and that variabilities and commonalities may be identified to distinguish similarities and differences among "products". Specifically, PRISMA is conceived for engineering the specification of a transaction model by placing the effort in revealing its Atomicity, Consistency, Isolation and Durability requirements, which represent the variabilities of the product line. PRISMA contributes on one hand in increasing quality, in particular dependability, and on the other hand in reducing time to market and cost by intensifying reusability. [less ▲]

Detailed reference viewed: 90 (2 UL)
Full Text
Peer Reviewed
See detailTowards an Alloy Formal Model for Flexible Advanced Transactional Model Development
Gallina, Barbara UL; Guelfi, Nicolas UL; Kelsen, Pierre UL

in Abstract book of 33rd Annual IEEE Software Engineering Workshop 2009 (SEW-33) (2009)

SPLACID is a semi-formal language conceived for the specification and synthesis of (advanced) transactional models from basic features, such as transaction types and (relaxed) ACID variants. SPLACID is an ... [more ▼]

SPLACID is a semi-formal language conceived for the specification and synthesis of (advanced) transactional models from basic features, such as transaction types and (relaxed) ACID variants. SPLACID is an improvement of the ACTA framework offering a well-structured and formal syntax. Neither ACTA nor SPLACID, however, benefit from a formal tool-supported semantics. This paper presents the first step for having a full formal semantics of SPLACID by translation to Alloy. In particular, we present the translation of the SPLACID concepts into Alloy concepts focusing on those concepts pertaining to the structure of a Transactional Model and those characterizing the isolation variant. The Alloy specification obtained by this translation preserve the SPLACID main key-properties, namely, modularity, flexibility and reusability. To support this claim we show how flexible, modular and reusable structures and isolation variants can be obtained in Alloy. Finally, we analyze the flat and nested transactional model structures and the serializability-based isolation variant using the Alloy Analyzer. [less ▲]

Detailed reference viewed: 78 (1 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 detailModeling Exception Handling: a UML2.0 Platform Independent Profile for CAA
Capozucca, Alfredo UL; Gallina, Barbara UL; Guelfi, Nicolas UL et al

in Proceedings of ECOOP 2005 Workshop on Exception Handling in Object Oriented Systems (2005, July)

Complex fault-tolerant distributed systems have a growing need of new functional and quality requirements. An immediate consequence of this is an increasing need of new methods for developing complex ... [more ▼]

Complex fault-tolerant distributed systems have a growing need of new functional and quality requirements. An immediate consequence of this is an increasing need of new methods for developing complex fault-tolerant distributed applications. Coordinated Atomic Actions (CAAs), making use of exception handling mechanism, offer an approach to ensure the needed requirements of reliability, availability and fault tolerance. Unfortunately, there is currently no method for the high-level modeling of such systems. In this paper, in order to offer an instrument for modeling exception handling, we propose a UML2.0 Platform Independent Profile for CAAs that allows designers to describe complex systems separating the specification from the implementation on a specific technology platform. [less ▲]

Detailed reference viewed: 93 (1 UL)