Proceedings of the 15th International Conference on Enterprise Information Systems, 2013
This paper presents and fine-tunes the P-UML design language which is a UML profile that better r... more This paper presents and fine-tunes the P-UML design language which is a UML profile that better represents the design patterns and guides their instantiation. Then, it focuses on the definition of the formal semantics of this language in Z. The formal semantics allows a designer to prove the syntactic wellformedness of a P-UML design. In addition, it allows the verification of a design pattern's instantiation thanks to the theorem prover Z/EVES.
The Unified Modeling Language (UML) has merged as a de-facto standard for modeling especially inf... more The Unified Modeling Language (UML) has merged as a de-facto standard for modeling especially information systems. However, in spite of its wide spread usage, UML still lacks support for verification methods and tools. Several researches proposed verification methods for certain UML diagrams, however, none of the proposed methods covers all of the UML diagrams, which are semantically overlapping in any system model. In this paper, we propose a modular verification method for UML models. The proposed method uses the implicit (semantic) and explicit (syntactic) relations among all the diagrams of a UML model. The implicit inter-diagram relations are deduced from the UP design process. In this paper, we overview the proposed method and illustrate its feasibility through an information system example.
Due to the diversity of extended transaction models, their relative complexity and their lack of ... more Due to the diversity of extended transaction models, their relative complexity and their lack of formalization, the characterization and comparison of these models become delicate. Moreover, these models capture only one subset of interaction which can be found in the spectrum of the possible interaction. In front of this established fact, the framework ACTA was introduced. Our contribution in this field is twofold: (i) we extend ACTA by adding many dependencies for capturing interaction between transactions in real time environment on the one hand. We extend ACTA to take into account temporal characteristics of real-time data item, On the other hand, and (ii) we propose a meta-model, called RT- ETM, that capture concept of an extended real-time transaction model by using UML class diagram and its formal description using Z language.
In Software engineering, elicitation phase consist s of identifying functional and non-functional... more In Software engineering, elicitation phase consist s of identifying functional and non-functional requirements. Functio nal requirements express an action to be performed by the system in response to a request. Non-functional requirements are implicit requirements to which the system must respond. Both kinds of properties are relevant to software develo pment. Software systems, apart from implementing all the desired functionali ties, must also cope with non-functional aspects such as: reliability, securi ty, accuracy, performance... Despite the fact that non-functional properties are very difficult to achieve and at the same time are expensive to deal with, non-fu nctional requirements have been, for too long, overlooked during the developme nt of software systems. In this paper, we present an approach to extend the UM L use case diagram for specifying non-functional requirements. Furthermore , we provide a categorization of the non-functional properties int o Architectural, dynami...
This study aims to examine how students' social media use can play a role in encouraging thei... more This study aims to examine how students' social media use can play a role in encouraging their self-efficacy of using the blackboard system for learning purposes, considering their experience of using the blackboard system. This study argues that the mentioned positive role of social media in teaching and learning emerged as a govern social media platform for students. This avoids the negative effect of social media on them and provides a social media platform for assisting and guiding students. A qualitative method approach was used, using interviews conducted with 36 students. The semi-structured interviews were analyzed following the thematic content analysis method. The interviews were targeted at obtaining University of Ha'il students' opinions to confirm the challenges facing them concerning the usage of the Blackboard system. The findings show that most of the participants had positive beliefs toward the implementation of WhatsApp with Blackboard. Especially those...
Cette approche offre la possibilité au concepteur de définir certaines conditions nécessaires pou... more Cette approche offre la possibilité au concepteur de définir certaines conditions nécessaires pour le chargement. Mots clés : ETL, Extraction, Transformation, Chargement, sources de données, entrepôt de données, magasin de données, XSLT, opérateur. I.
Due to the diversity of extended transaction models, their relative complexity and their lack of ... more Due to the diversity of extended transaction models, their relative complexity and their lack of formalization, the characterization and the comparison of these models become delicate. Moreover, these models capture only one subset of interaction which can be found in the spectrum of the possible interactions. In front of this established fact, the framework ACTA was introduced. Our contribution in this field is twofold: (i) we extend ACTA by adding many dependencies for capturing a new interaction between transactions in real time environment, and we extend ACTA to take into account temporal characteristics of real-time data item (ii) we presented a meta-model that capture concept of an extended real time transaction model by using UML class diagram and its formal description using Z language.
The requirements elicitation is a step between the user and developers to be precise and formal. ... more The requirements elicitation is a step between the user and developers to be precise and formal. This step requires understanding the requirements to be covered by the system and to express and formalize these requirements. For structuring, documenting and analysing user requirements, UML enjoys popularity within the academic and industrial communities. The use case diagram illustrates all functional requirements. In advanced step, all functionalities of a system can be represented and detailed by a set of activity diagrams. In our work, the requirement validation is to check that all requirements are covered by these functionalities. In this paper, we present a validation requirement approach of UML models based on a comparison of UML use case (requirement) and activity diagrams (functionality). This comparison ensures that the use case model and activities model are consistent. It is based on a set of rules. Furthermore, we give an overview of UML-Validation tool which automates the use of these rules.
To capture and analyze the functional requirements of an information system, UML and the Unified ... more To capture and analyze the functional requirements of an information system, UML and the Unified Process (UP) propose the use case and sequence diagrams. However, one of the main difficulties behind the use of UML is how to ensure the consistency of the various diagrams used to model different views of the same system. In this chapter, the authors propose an enriched format for documenting UML2.0 use cases. This format facilitates consistency verification of the functional requirements with respect to the sequence diagrams included in the analysis model. The consistency verification relies on a set of rules to check the correspondence among the elements of the documented use cases and those of the sequence diagrams; the correspondence exploits the implicit semantic relationship between these diagrams as defined in UP. Furthermore, to provide for a rigorous verification, the authors formalize both types of diagrams and their correspondence rules in the formal notation Z. The formal version of the analysis model is then verified through the theorem prover Z/EVES to ensure its consistency.
Abstract: This article addresses the generation of the ETL operators (Extract-Transform-Load) for... more Abstract: This article addresses the generation of the ETL operators (Extract-Transform-Load) for supplying a Data Warehouse from a relational data source. As a first step, we add new rules to those proposed by the authors of [1], these rules deal with the combination of ETL operators. In a second step, we propose an automatic approach based on model transformations to generate the ETL operations needed for loading a data warehouse. This approach offers the possibility to set some designer requirements for loading.
Proceedings of the 15th International Conference on Enterprise Information Systems, 2013
This paper presents and fine-tunes the P-UML design language which is a UML profile that better r... more This paper presents and fine-tunes the P-UML design language which is a UML profile that better represents the design patterns and guides their instantiation. Then, it focuses on the definition of the formal semantics of this language in Z. The formal semantics allows a designer to prove the syntactic wellformedness of a P-UML design. In addition, it allows the verification of a design pattern's instantiation thanks to the theorem prover Z/EVES.
The Unified Modeling Language (UML) has merged as a de-facto standard for modeling especially inf... more The Unified Modeling Language (UML) has merged as a de-facto standard for modeling especially information systems. However, in spite of its wide spread usage, UML still lacks support for verification methods and tools. Several researches proposed verification methods for certain UML diagrams, however, none of the proposed methods covers all of the UML diagrams, which are semantically overlapping in any system model. In this paper, we propose a modular verification method for UML models. The proposed method uses the implicit (semantic) and explicit (syntactic) relations among all the diagrams of a UML model. The implicit inter-diagram relations are deduced from the UP design process. In this paper, we overview the proposed method and illustrate its feasibility through an information system example.
Due to the diversity of extended transaction models, their relative complexity and their lack of ... more Due to the diversity of extended transaction models, their relative complexity and their lack of formalization, the characterization and comparison of these models become delicate. Moreover, these models capture only one subset of interaction which can be found in the spectrum of the possible interaction. In front of this established fact, the framework ACTA was introduced. Our contribution in this field is twofold: (i) we extend ACTA by adding many dependencies for capturing interaction between transactions in real time environment on the one hand. We extend ACTA to take into account temporal characteristics of real-time data item, On the other hand, and (ii) we propose a meta-model, called RT- ETM, that capture concept of an extended real-time transaction model by using UML class diagram and its formal description using Z language.
In Software engineering, elicitation phase consist s of identifying functional and non-functional... more In Software engineering, elicitation phase consist s of identifying functional and non-functional requirements. Functio nal requirements express an action to be performed by the system in response to a request. Non-functional requirements are implicit requirements to which the system must respond. Both kinds of properties are relevant to software develo pment. Software systems, apart from implementing all the desired functionali ties, must also cope with non-functional aspects such as: reliability, securi ty, accuracy, performance... Despite the fact that non-functional properties are very difficult to achieve and at the same time are expensive to deal with, non-fu nctional requirements have been, for too long, overlooked during the developme nt of software systems. In this paper, we present an approach to extend the UM L use case diagram for specifying non-functional requirements. Furthermore , we provide a categorization of the non-functional properties int o Architectural, dynami...
This study aims to examine how students' social media use can play a role in encouraging thei... more This study aims to examine how students' social media use can play a role in encouraging their self-efficacy of using the blackboard system for learning purposes, considering their experience of using the blackboard system. This study argues that the mentioned positive role of social media in teaching and learning emerged as a govern social media platform for students. This avoids the negative effect of social media on them and provides a social media platform for assisting and guiding students. A qualitative method approach was used, using interviews conducted with 36 students. The semi-structured interviews were analyzed following the thematic content analysis method. The interviews were targeted at obtaining University of Ha'il students' opinions to confirm the challenges facing them concerning the usage of the Blackboard system. The findings show that most of the participants had positive beliefs toward the implementation of WhatsApp with Blackboard. Especially those...
Cette approche offre la possibilité au concepteur de définir certaines conditions nécessaires pou... more Cette approche offre la possibilité au concepteur de définir certaines conditions nécessaires pour le chargement. Mots clés : ETL, Extraction, Transformation, Chargement, sources de données, entrepôt de données, magasin de données, XSLT, opérateur. I.
Due to the diversity of extended transaction models, their relative complexity and their lack of ... more Due to the diversity of extended transaction models, their relative complexity and their lack of formalization, the characterization and the comparison of these models become delicate. Moreover, these models capture only one subset of interaction which can be found in the spectrum of the possible interactions. In front of this established fact, the framework ACTA was introduced. Our contribution in this field is twofold: (i) we extend ACTA by adding many dependencies for capturing a new interaction between transactions in real time environment, and we extend ACTA to take into account temporal characteristics of real-time data item (ii) we presented a meta-model that capture concept of an extended real time transaction model by using UML class diagram and its formal description using Z language.
The requirements elicitation is a step between the user and developers to be precise and formal. ... more The requirements elicitation is a step between the user and developers to be precise and formal. This step requires understanding the requirements to be covered by the system and to express and formalize these requirements. For structuring, documenting and analysing user requirements, UML enjoys popularity within the academic and industrial communities. The use case diagram illustrates all functional requirements. In advanced step, all functionalities of a system can be represented and detailed by a set of activity diagrams. In our work, the requirement validation is to check that all requirements are covered by these functionalities. In this paper, we present a validation requirement approach of UML models based on a comparison of UML use case (requirement) and activity diagrams (functionality). This comparison ensures that the use case model and activities model are consistent. It is based on a set of rules. Furthermore, we give an overview of UML-Validation tool which automates the use of these rules.
To capture and analyze the functional requirements of an information system, UML and the Unified ... more To capture and analyze the functional requirements of an information system, UML and the Unified Process (UP) propose the use case and sequence diagrams. However, one of the main difficulties behind the use of UML is how to ensure the consistency of the various diagrams used to model different views of the same system. In this chapter, the authors propose an enriched format for documenting UML2.0 use cases. This format facilitates consistency verification of the functional requirements with respect to the sequence diagrams included in the analysis model. The consistency verification relies on a set of rules to check the correspondence among the elements of the documented use cases and those of the sequence diagrams; the correspondence exploits the implicit semantic relationship between these diagrams as defined in UP. Furthermore, to provide for a rigorous verification, the authors formalize both types of diagrams and their correspondence rules in the formal notation Z. The formal version of the analysis model is then verified through the theorem prover Z/EVES to ensure its consistency.
Abstract: This article addresses the generation of the ETL operators (Extract-Transform-Load) for... more Abstract: This article addresses the generation of the ETL operators (Extract-Transform-Load) for supplying a Data Warehouse from a relational data source. As a first step, we add new rules to those proposed by the authors of [1], these rules deal with the combination of ETL operators. In a second step, we propose an automatic approach based on model transformations to generate the ETL operations needed for loading a data warehouse. This approach offers the possibility to set some designer requirements for loading.
Uploads
Papers by Mouez Ali