Please use this identifier to cite or link to this item: http://repositorio.inesctec.pt/handle/123456789/4554
Title: Towards a Formal Validation of ETL Patterns Behaviour
Authors: Oliveira,B
Belo,O
Nuno Moreira Macedo
Issue Date: 2016
Abstract: The development of ETL systems has been the target of many research efforts to support its development and implementation. In the last few years, we presented a pattern-oriented approach to develop these systems. Basically, patterns are comprised by a set of abstract components that can be configured to enable its instantiation for specific scenarios. Even when using high-level components, the ETL systems are very specific processes that represent complex data requirements and transformation routines. Several operational requirements need to be configured and system correctness is hard to validate, which can result in several implementation problems. In this paper, a set of formal specifications in Alloy is presented to express the structural constraints and behaviour of a slowly changing dimension pattern. Then, specific physical models can be generated based on formal specifications and constraints defined in an Alloy model, helping to ensure the correctness of the configuration provided.
URI: http://repositorio.inesctec.pt/handle/123456789/4554
http://dx.doi.org/10.1007/978-3-319-45547-1_13
metadata.dc.type: conferenceObject
Publication
Appears in Collections:HASLab - Articles in International Conferences

Files in This Item:
File Description SizeFormat 
P-00K-THJ.pdf846.15 kBAdobe PDFView/Open


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.