The Infona portal uses cookies, i.e. strings of text saved by a browser on the user's device. The portal can access those files and use them to remember the user's data, such as their chosen settings (screen view, interface language, etc.), or their login data. By using the Infona portal the user accepts automatic saving and using this information for portal operation purposes. More information on the subject can be found in the Privacy Policy and Terms of Service. By closing this window the user confirms that they have read the information on cookie usage, and they accept the privacy policy and the way cookies are used by the portal. You can change the cookie settings in your browser.
In this paper, we present an approach to adapt the e-assessment workflow by considering learner's profiles. We have started by creating a learner profile ontology based on extraction data from e-assessment activities, file log and personal information. Then, we have defined three adaptation actions: Add Activity, Edit Activity and Delete Activity, applied on the workflow assessment and using information...
Using Cloud Computing environment, the e-assessment process becomes an orchestration of a set of dedicated cloud services. In this paper, we propose an architecture for an e-assessment environment based on cloud services. This environment implements an approach that we have proposed to develop a generic e-assessment process which will be adapted to a learner profile. The e-assessment process activities...
Various research work have highlighted the importance of modeling learner's personality to provide a personalized computer based learning. In particular, questionnaire is the most used method to model personality which can be long and not motivating. This makes learners unwilling to take it. Therefore, this paper refers to Learning Analytics (LA) to implicitly model learners' personalities based on...
In this paper we propose an model driven approach for the specification and the execution of flexible workflows composed from cloud services. Flexibility of workflow means fast reactivity to internal and external changes. The basic challenge for workflow now is the ability to respond dynamic changes. To fulfill, we define functional and behavioral views of the flexible workflow. The first view is...
This paper presents a meta-model transformation based approach to reasoning about sequence diagrams using B event. We present an approach for the specification and the verification of flexible Workflow applications of cloud services. Our approach is based on the semiformal notation of UML sequence diagrams, and the formal method B event. We have developed a tool called SD2EventB supporting the proposed...
We apply the Model-Driven Engineering for adapting User Interfaces (UI) in order to improve their accessibility into interactive system(IS). The solution that we propose has to be generic to be applicable in any context and with any type of UI. Therefore, we have developed a model driven approach based on meta-model transformations. This approach generates modality-based UI models adapted to each...
In a ubiquitous computing, disable users are required to accommodate their particular needs using interactive systems. Thus, ensuring accessibility into applications' user interfaces is highly recommended. Hence, it is crucial to elaborate a generic solution which is compliant to handicapped user requirements. Therefore, this paper is addressed to define a model driven approach for generating adapted...
Recently, educational games are gaining increasing attention from researchers and practitioners in the learning field. This is because they are fun, motivating and immersive. However, designing educational games can be difficult for people who do not have appropriate background towards game development. This is further complicated by the fact that there are many genres of games (role playing, action,...
Nowadays, there are many problems related to the e-learning in the development of E-assessment such as the difficulty to use the assessment object from a platform to another one. As the domain model reuse rate is very low in various e-learning systems and hardness to guarantee the consistency between designs and codes. Therefore, we need an approach aiming to generate a general process of the e-assessment...
Nowadays, there are many problems related to the application development of E-Assessment such as the difficulty to use the assessment object from a platform to another one. In addition, the domain model reuse rate is very low in various application systems, and hardness to guarantee the consistency between designs and codes. Therefore, to solve these problems, we need an approach aiming to automate...
Semi automatic and semantic composition of workflows from Web and Cloud services is an important challenge in today's distributed applications. This paper focuses on how to compose and execute flexible workflow applications of Cloud services without considering lower level description of the Cloud environment. To reach this objective, we propose a Model-Driven Approach (MDA) for developing flexible...
Currently, there are many problems of the application development of E-Assessment such as the difficulty to use the assessment object from a platform to another one. In addition, the domain model reuse rate is very low in various application systems, and hardness to guarantee the consistency between designs and codes. Therefore, to resolve these problems, we need an approach aiming to automate the...
Making jointly a semi formal language and a formal language can be seen as the transformation of a semi formal model into a formal model. Thus, this task can be considered as a model transformation from an abstract model into another concrete one. In this context, the paper at hand comes up with an approach to model transformation from a UML Activity Diagram (UML AD) into the Event-B model. The approach...
In order to ensure accessibility of user interface, it is highly recommended to elaborate a generic solution which is compliant to disable user requirements and best accommodates their particular needs. Therefore, we propose, in this paper, a generic MDA-based solution of adapting application's interface to accessibility context. It consists of generating, automatically, accessible adapted User Interfaces...
In the present paper, we present our approach for the transformation of workflow applications based on institution theory. The workflow application is modeled with UML Activity Diagram(UML AD). Then, for a formal verification purposes, the graphical model will be translated to an Event-B specification. Institution theory will be used in two levels. First, we defined a local semantic for UML AD and...
In the present paper, we provide an institutional representation of Event-B specification. In the context of heterogeneous specification environment, it is a fundamental step to represent differents model oriented specifications and algebraic specification languages with an institution. To this end, we give a representation of Event-B specification where we focus on the signatures, the models and...
The lack of a precise semantics for UML AD makes the reasoning on models workflow constructed using such diagrams infeasible. However, such diagrams are widely used in domains that require a certain degree of confidence. To enhance confidence level of UML AD, we provide a formal definition of their syntax and semantics in Event B. The main interest of our approach is that we chose UML AD, which are...
The progress of our culture influences the systems that control our knowledge's, skills and behaviour. Our educational system has been influenced by this rapid change, and technology, is more and more used in learning systems. Our interest is particularly focused in e-assessment. It is the most fundamental operation of teaching and training in e-learning. It aims to increase the quality of education...
Set the date range to filter the displayed results. You can set a starting date, ending date or both. You can enter the dates manually or choose them from the calendar.