Research Interests:
Research Interests:
ABSTRACT We use a Domain Specific Language (DSL) based on UML activity diagrams to specify and compose systematically workflow models from Grid services. To be executed, workflow activity diagram models should be translated into BPEL4WS... more
ABSTRACT We use a Domain Specific Language (DSL) based on UML activity diagrams to specify and compose systematically workflow models from Grid services. To be executed, workflow activity diagram models should be translated into BPEL4WS models which will be executed by the BPEL4WS engine. To reach this objective, we propose a meta-model based transformation from UML activity diagrams to BPEL4WS language. To ensure the correctness and the completion of the transformation, we propose a graph homomorphic mapping between the activity diagram and BPEL4WS language elements.
Research Interests:
Modeling complex workflow systems, using BPMN (Business Process Modeling Notation), is quite a hard task that cannot be done in one step. The step-wise refinement technique facilitates the understanding of complex systems by dealing with... more
Modeling complex workflow systems, using BPMN (Business Process Modeling Notation), is quite a hard task that cannot be done in one step. The step-wise refinement technique facilitates the understanding of complex systems by dealing with the major issues before getting involved in the details. The proposed approach allows an incrementally developing of more and more detailed models with preserving the correctness of BPMN refined models at each step. Hence, we provide a formal semantics for BPMN models based on Kripke structure and BPMN refinement patterns to provide formal verification of this correctness. This verification is ensured automatically by NuSMV model Checker based on a BPMN language to NuSMV language transformation. The refinement correctness are expressed as refinement safety properties specified with LTL (Linear Temporal Logic).
Research Interests:
Research Interests:
Adaptive User Interfaces (AUI) have to exploit Artificial Intelligence powerful to adapt User Interfaces (UI)s to People With Disabilities (PWD). Thus, Machine Learning methods could master disabilities problems and barriers. In this... more
Adaptive User Interfaces (AUI) have to exploit Artificial Intelligence powerful to adapt User Interfaces (UI)s to People With Disabilities (PWD). Thus, Machine Learning methods could master disabilities problems and barriers. In this paper, we propose a Reinforcement Learning (RL) based approach for resolving and surmounting PWD-UI interactions barriers since RL is good for learning good behavior. Hence, we have called the approach as RL-AUIAC as Reinforcement Learning of Adaptive User Interfaces for Accessibility Context. RL-AUIAC is based on three Knowledge Layers (KL)s depending on the kind of adaptation and the resolved problem at each layer. KL uses the Exploration-Exploitation dilemma to respond to the question: what to learn from each planned-adaptation sequences? In fact, Disability Knowledge Layer (DKL)learns UI structure behavior depending on the disability profile. Modality Knowledge Layer(MKL) learns facilities of adaptation on the basis of the couple . Platform Knowledge Layer (PKL) explores-exploits platform-knowledge to learn adaptation facilities on the basis of .
Research Interests:
Research Interests:
Research Interests:
In this paper, we present a real time interactive system for running flexible workflow applications. This system facilitates the execution of these applications in terms of time execution complexity as it is based on flexibility... more
In this paper, we present a real time interactive system for running flexible workflow applications. This system facilitates the execution of these applications in terms of time execution complexity as it is based on flexibility mechanism. These workflows are built on an abstract level, through BPMN models using flexibility patterns. We define two flexibility patterns based on BPMN (Business Process Model Notation) that deals with changes of resource requirements for workflows. The provided models specify the functional view of workflows, whereas, their behavioral view is described using state-chart diagrams. A state-chart diagram represents the model specifying our real time system which controls the execution of workflow applications by making decisions on the use of flexibility actions. This execution is supported by the BPEL4WS engine that we have amended to execute flexible workflows and to be controlled by our real time system. Finally, we present some results of evaluations of our system.
Research Interests:
Semi automatic and semantic composition of workflows from Web and Grid services is an important challenge in today's distributed applications. This paper focuses on how to model and compose workflow applications of Grid... more
Semi automatic and semantic composition of workflows from Web and Grid services is an important challenge in today's distributed applications. This paper focuses on how to model and compose workflow applications of Grid services without considering lower level description of the Grid environment. To reach this objective, we propose a Model-Driven Approach (MDA) for developing workflow applications from existing Grid services. The workflows are built on an abstract level with semantic and syntactic descriptions of services available on the Grid. To built workflow abstract models, the proposed approach uses UML activity diagram language. As there are particular needs for modelling composed workflows of Grid services which are not fully captured by traditional workflow modelling, we propose to extend the UML activity diagram notation. These extensions deals with additional information allowing a systematic composition of workflows and containing appropriate data to describe a Grid service. These data are useful for the execution of the resulting.
Research Interests:
In this paper, we propose a model-driven approach (MDA) for developing workflow applications from existing grid services. We focus on how to model and compose workflow applications of grid services without considering lower level... more
In this paper, we propose a model-driven approach (MDA) for developing workflow applications from existing grid services. We focus on how to model and compose workflow applications of grid services without considering lower level description of the grid environment. The workflows are built on an abstract level using UML activity diagram language with semantic and syntactic descriptions of services available on the grid. Also, we define a Domain Specific Language using the extension of the UML activity diagram notation. This extension deals with additional information allowing an automatic composition of workflows and containing appropriate data to describe a grid service. These data are useful for the execution of the resulting.
Research Interests:
This paper focuses on how to model and compose workflow applications of Grid services without considering lower level description of the Grid environment. To reach this objective, we propose a model-driven approach (MDA) for developing... more
This paper focuses on how to model and compose workflow applications of Grid services without considering lower level description of the Grid environment. To reach this objective, we propose a model-driven approach (MDA) for developing workflow applications from existing Grid services. The workflows are built on an abstract level with semantic and syntactic descriptions of services available on the Grid
Research Interests:
... esstt.rnu.tn Leila Jemni Benayed Research Unit in Technologies of Information and Communication (UTIC) Institute of Sciences and Techniques of Tunis,Tunis, Tunisia Email: leila.jemni@fsegt.rnu.tn AbstractBefore being ...
Research Interests:
ABSTRACT We use a Domain Specific Language (DSL) based on UML activity diagrams to specify and compose systematically workflow models from Grid services. To be executed, workflow activity diagram models should be translated into BPEL4WS... more
ABSTRACT We use a Domain Specific Language (DSL) based on UML activity diagrams to specify and compose systematically workflow models from Grid services. To be executed, workflow activity diagram models should be translated into BPEL4WS models which will be executed by the BPEL4WS engine. To reach this objective, we propose a meta-model based transformation from UML activity diagrams to BPEL4WS language. To ensure the correctness and the completion of the transformation, we propose a graph homomorphic mapping between the activity diagram and BPEL4WS language elements.
Research Interests:
Cloud computing is a new model for deploying and executing flexible workflow composed of cloud services. One of the expected facilities of Cloud environments is flexibility at different levels. In this paper, we propose a Model-Driven... more
Cloud computing is a new model for deploying and executing flexible workflow composed of cloud services. One of the expected facilities of Cloud environments is flexibility at different levels. In this paper, we propose a Model-Driven Approach (MDA) for the specification and the execution of cloud service flexible workflow applications. We define two flexibility patterns based on BPMN(Business Process Model and Notation) that deals with changes of resource requirements for workflow. The workflows are built on an abstract level, using a BPMN model for the specification of the cloud service workflow structure based on flexibility patterns, and the state-chart diagram for the specification of the cloud service workflow behavior. The execution process is supervised by a control system which is responsible for making decisions on the execution of the workflow based on the behavior of the engine defined by the state-chart diagram.
Research Interests:
Artificial Intelligence(AI) has proved its power and efficiency into different domains(industry, medicine, economic, etc), hoping for giving a chance for people with disabilities to change their life for the best. Basically, AI offers... more
Artificial Intelligence(AI) has proved its power and efficiency into different domains(industry, medicine, economic, etc), hoping for giving a chance for people with disabilities to change their life for the best. Basically, AI offers many advanced tools and machine learning algorithms that could support human capabilities, needs and preferences and improve User Experience (UX). In this paper, we focus on the impact of AI in Human Machine Interaction. Likewise, we aim to demonstrate what is the impact of AI on disability Human life. Finally, we proceed by introducing a revolutionary approach of adaptive user interfaces to users with special needs.
Research Interests:
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... more
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 approach. This tool allows the specification of flexible Cloud service Workflow application models using predefined flexibility patterns generated automatically by this tool. Once the model is specified, it is transformed to an event B model to be verified. In order to ensure this verification, we have used the platform Rodin supporting the event B method. This platform has been integrated into our tool. The transformation, as well, has been developed as a function of our tool using the meta-model transformation environment KerMeta.
Research Interests:
In this paper we introduce a description mechanism for specifying the refinement approach for Business Process Modeling and Notations(BPMN). We present at each level of abstraction the syntax of this BPMN models by a context-free grammar.... more
In this paper we introduce a description mechanism for specifying the refinement approach for Business Process Modeling and Notations(BPMN). We present at each level of abstraction the syntax of this BPMN models by a context-free grammar. After that, for each refined BPMN, we analyze, automatically the change impact using NuSMV model checker. The change impact concerns the semantic preservation of BPMN models during the refinement process.
Research Interests:
In order to eliminate accessibility barriers that may exist in the user interface at runtime, we propose, in this paper, to integrate accessibility into an infrastructure of adaptation of User Interfaces. Hence, we propose a model driven... more
In order to eliminate accessibility barriers that may exist in the user interface at runtime, we propose, in this paper, to integrate accessibility into an infrastructure of adaptation of User Interfaces. Hence, we propose a model driven approach which consists of generating, automatically, accessibility adapted User Interfaces. To reach this goal, based on MDA principals, we develop different meta-model transformations to provide an adapted User Interface model according to received accessibility context information and a given non adapted User Interface.
Research Interests:
In this paper, we present a refinement approach for business processes specified with Business Process Modeling Notation (BPMN). The Business process or workflow refinement approach is a step-wise modeling approach which is composed of a... more
In this paper, we present a refinement approach for business processes specified with Business Process Modeling Notation (BPMN). The Business process or workflow refinement approach is a step-wise modeling approach which is composed of a set of abstraction levels. Each refinement step corresponds to an abstract level of a BPMN model. For each refined workflow model, we analyze, automatically, the workflow change impact using NuSMV model checker. The change impact concerns the semantic preservation of workflow models during the refinement process. We talk about workflow data and control flow dependencies. To realize this analysis, we have to transform at each level of modeling refinement, the BPMN model to a Kripke structure formalizing, hence, the semantics of the refined business process model.
Research Interests:
Research Interests:
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... more
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 and the adaptation process are implemented as Cloud services. Furthermore, they could be invoked from any existing Learning Management System (LMS).
Cloud environments are being increasingly used for deploying and executing workflow composed from cloud services. In this paper, we propose a meta-model transformation for the specification and the execution of cloud service flexible... more
Cloud environments are being increasingly used for deploying and executing workflow composed from cloud services. In this paper, we propose a meta-model transformation for the specification and the execution of cloud service flexible workflows. To built workflow abstract models, the proposed approach uses a BPMN model for the specification of the cloud service workflow structure and the state-chart diagram for the specification of the cloud service workflow behavior. In addition, workflow models should be translated into BPEL4WS language which will be executed by the BPEL4WS engine, the latter is driven by the behavior described by the state-chart diagram. To fulfill, we define a set of meta-model transformations from the platform independent model (BPMN) to the platform specific model (BPEL4WS).
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... more
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 extracted from learner profile ontology instances. Each action is applied according to conditions. After that, we present some results of the empirical evaluation of our system.
We propose a generic approach for the adaptation of user interfaces to the accessibility context. This approach is based on the Model-Driven Engineering MDE. Thus, we adapt any kind of UI to the accessibility context based on a generic... more
We propose a generic approach for the adaptation of user interfaces to the accessibility context. This approach is based on the Model-Driven Engineering MDE. Thus, we adapt any kind of UI to the accessibility context based on a generic adaptation process. We are based on meta-model transformations parametrized with the context of accessibility. The proposed approach generates modality-based UI adapted to each disability. We have developed an accessibility context related to the type of disability, the used platform, the user identity and his/her situation, the surrounded environment and modelled into ontology. The metamodel transformations were based on mapping rules implemented by the Kermeta language.
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... more
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 modeling by BPMN language and the other by a the statechart model. Besides, we describe how the workflow reacts to dynamic changes. To be executed, workflow models should be translated into BPEL4WS language which will be executed by the BPEL4WS engine, the later is driven by the behavior described by the statechart model. In addition, we present an execution infrastructure suitable for the execution of flexible workflows.
The BPMN2 language suffers from the absence of a precise formal semantics of the various notations used, which often leads to ambiguities. In addition, this language does not have a proof system that validates a BPMN2 specification.... more
The BPMN2 language suffers from the absence of a precise formal semantics of the various notations used, which often leads to ambiguities. In addition, this language does not have a proof system that validates a BPMN2 specification. Consequently, the use of a formal method, such as Event B, is a solution for dealing with the shortcomings found in the BPMN2 language. We propose in this paper a model-driven approach based on meta-model and meta-model transformation implemented in KerMeta to specify and formally verify workflows.
Research Interests:
In this paper, we present a real time interactive system for running flexible workflow applications. This system facilitates the execution of these applications in terms of time execution complexity as it is based on flexibility... more
In this paper, we present a real time interactive system for running flexible workflow applications. This system facilitates the execution of these applications in terms of time execution complexity as it is based on flexibility mechanism. These workflows are built on an abstract level, through BPMN models using flexibility patterns. We define two flexibility patterns based on BPMN (Business Process Model Notation) that deals with changes of resource requirements for workflows. The provided models specify the functional view of workflows, whereas, their behavioral view is described using state-chart diagrams. A state-chart diagram represents the model specifying our real time system which controls the execution of workflow applications by making decisions on the use of flexibility actions. This execution is supported by the BPEL4WS engine that we have amended to execute flexible workflows and to be controlled by our real time system. Finally, we present some results of evaluations o...
Research Interests:
Research Interests:
The e-assessment, as an important part of any e-learning system, faces the same challenges and problems such as problems related to portability, reusability, adaptability, integration and interoperability. Therefore, we need an approach... more
The e-assessment, as an important part of any e-learning system, faces the same challenges and problems such as problems related to portability, reusability, adaptability, integration and interoperability. Therefore, we need an approach aiming to generate a general process of the e-assessment. The present study consists of the development of a generic e-assessment process which should be adapted to any learner profile. This e-assessment process is implemented as a composite cloud service which could be invoked by any existing LMS regardless of its environment. The authors are brought the abstraction defined by a workflow about proposing a development approach based on the Reverse Engineering and the cloud environment. To attempt these goals, they have studied the e-assessment politics of different existing LMSs to generate their e-assessment activities. These activities composing the generic e-assessment process using the Reverse Engineering and based on a set of mapping rules. Then...
Research Interests:
Learning analytics (LA) is a significant area of the enhanced learning technology that has been emerged during the last decade. In this paper, we present a Cloud Adapted Workflow e-Assessment System, called Cloud-AWAS. This system makes... more
Learning analytics (LA) is a significant area of the enhanced learning technology that has been emerged during the last decade. In this paper, we present a Cloud Adapted Workflow e-Assessment System, called Cloud-AWAS. This system makes use of the learning analytics in order to turn learners into more effective and better learners. Hence, Cloud-AWAS could be seamlessly integrated into any learning management system. This system provides a generic e-assessment workflow which is adapted to 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 extracted from learner profile ontology instances. Each action is applied according to a number of conditions. Finally, we present some results of the empirical evaluation of Cloud_AWAS. ß