The Experts below are selected from a list of 1869 Experts worldwide ranked by ideXlab platform
Ahmed Hadj Kacem - One of the best experts on this subject based on the ideXlab platform.
-
AOSE - MDA-Based Approach for Implementing Secure Mobile Agent Systems
Lecture Notes in Computer Science, 2013Co-Authors: Slim Kallel, Molka Rekik, Monia Loulou, Ahmed Hadj KacemAbstract:We propose an approach for implementing secure mobile agent systems. In the first step, we define a meta-model which extends the UML Deployment Diagram by concepts related to the security and mobility of multi-agent systems. We propose also a UML profile as an implementation of this meta-model. All defined concepts are based on formal specifications. In the second step, we project the application model in AGLETS-specific model, which describes the structure and the main functionalities of the application using the AGLETS concepts. In the third step, we generate Java skeleton code from the obtained model, and we generate also AspectJ code for enforcing security properties defined in the application model. The generated aspects will be woven, in modular way, into the functional application code.
-
KES-AMSTA - Modeling secure mobile agent systems
Agent and Multi-Agent Systems. Technologies and Applications, 2012Co-Authors: Molka Rekik, Slim Kallel, Monia Loulou, Ahmed Hadj KacemAbstract:We propose a MDA based approach for designing secure mobile agent systems. First, we define a meta-model which extends the UML Deployment Diagram by concepts related to the security and mobility of multi-agent systems. We propose also a UML profile as an implementation of this meta-model. Second, we project the application model into AGLETS-specific model, which describes the main functionalities of the application deployed on AGLETS as a mobile agent platform.
Poul E. Heegaard - One of the best experts on this subject based on the ideXlab platform.
-
A Performance Modeling Framework Incorporating Cost Efficient Deployment of Multiple Collaborating Instances
Software Engineering and Computer Systems, 2011Co-Authors: Razib Hayat Khan, Poul E. HeegaardAbstract:Performance evaluation of distributed system is always an intricate undertaking where system behavior is distributed among several components those are physically distributed. Bearing this concept in mind, we delineate a performance modeling framework for a distributed system that proposes a transformation process from high level UML notation to SRN model and solves the model for relevant performance metrics. To capture the system dynamics through our proposed framework we outline a specification style that focuses on UML collaboration and activity as reusable specification building blocks, while Deployment Diagram identify the physical components of the system and the assignment of software artifacts to identified system components. Optimal Deployment mapping of software artifacts on the available physical resources of the system is investigated by deriving the cost function. Way to deal with parallel thread processing of the network nodes by defining the upper bound is precisely mentioned to generate the SRN model.
-
Translation from UML to SPN Model: A Performance Modeling Framework
2010Co-Authors: Razib Hayat Khan, Poul E. HeegaardAbstract:This work focuses on the delineating a performance modeling framework for a communication system that proposes a translation process from high level UML notation to Stochastic Petri Net model (SPN) and solves the model for relevant performance metrics. The framework utilizes UML collaborations, activity Diagrams and Deployment Diagrams to be used for generating performance model for a communication system. The system dynamics will be captured by UML collaboration and activity Diagram as reusable specification building blocks, while Deployment Diagram highlights the components of the system. The collaboration and activity show how reusable building blocks in the form of collaboration can compose together the service components through input and output pin by highlighting the behavior of the components. Later a mapping between collaboration and system component identified by Deployment Diagram will be demonstrated. Moreover the UML models are annotated to associate performance related quality of service (QoS) information for solving the performance model for relevant performance metrics to generate performance evaluation results.
-
EUNICE - Translation from UML to SPN model: a performance modeling framework
2010Co-Authors: Razib Hayat Khan, Poul E. HeegaardAbstract:This work focuses on the delineating a performance modeling framework for a communication system that proposes a translation process from high level UML notation to Stochastic Petri Net model (SPN) and solves the model for relevant performance metrics. The framework utilizes UML collaborations, activity Diagrams and Deployment Diagrams to be used for generating performance model for a communication system. The system dynamics will be captured by UML collaboration and activity Diagram as reusable specification building blocks, while Deployment Diagram highlights the components of the system. The collaboration and activity show how reusable building blocks in the form of collaboration can compose together the service components through input and output pin by highlighting the behavior of the components. Later a mapping between collaboration and system component identified by Deployment Diagram will be demonstrated. Moreover the UML models are annotated to associate performance related quality of service (QoS) information for solving the performance model for relevant performance metrics to generate performance evaluation results.
-
Translation from UML to SPN Model: A Performance Modeling Framework
Lecture Notes in Computer Science, 2010Co-Authors: Razib Hayat Khan, Poul E. HeegaardAbstract:International audienceThis work focuses on the delineating a performance modeling framework for a communication system that proposes a translation process from high level UML notation to Stochastic Petri Net model (SPN) and solves the model for relevant performance metrics. The framework utilizes UML collaborations, activity Diagrams and Deployment Diagrams to be used for generating performance model for a communication system. The system dynamics will be captured by UML collaboration and activity Diagram as reusable specification building blocks, while Deployment Diagram highlights the components of the system. The collaboration and activity show how reusable building blocks in the form of collaboration can compose together the service components through input and output pin by highlighting the behavior of the components. Later a mapping between collaboration and system component identified by Deployment Diagram will be demonstrated. Moreover the UML models are annotated to associate performance related quality of service (QoS) information for solving the performance model for relevant performance metrics to generate performance evaluation results
-
A Performance modeling framework incorporating cost efficient Deployment of collaborating components
2010 2nd International Conference on Software Technology and Engineering, 2010Co-Authors: Razib Hayat Khan, Poul E. HeegaardAbstract:Performance evaluation of distributed system is always an intricate undertaking where system behavior is normally distributed among several components those are physically distributed. Bearing this concept in mind, we delineate a performance modeling framework for a distributed system that proposes a transformation process from high level UML notation to SPN model and solves the model for relevant performance metrics. To capture the system dynamics through our proposed framework we outline a specification style that focuses on UML collaboration and activity as reusable specification building blocks, while Deployment Diagram identify the physical components of the system and the assignment of software artifacts to those identified system components. Optimal Deployment mapping of the software artifacts on the physically available system resources is investigated by deriving the cost function. The proposed performance modeling framework provides transformation rules of UML elements into corresponding SPN representations and also the prediction result of a system such as throughput. The applicability of our proposed framework is demonstrated in the context of performance modeling of a distributed system.
Molka Rekik - One of the best experts on this subject based on the ideXlab platform.
-
AOSE - MDA-Based Approach for Implementing Secure Mobile Agent Systems
Lecture Notes in Computer Science, 2013Co-Authors: Slim Kallel, Molka Rekik, Monia Loulou, Ahmed Hadj KacemAbstract:We propose an approach for implementing secure mobile agent systems. In the first step, we define a meta-model which extends the UML Deployment Diagram by concepts related to the security and mobility of multi-agent systems. We propose also a UML profile as an implementation of this meta-model. All defined concepts are based on formal specifications. In the second step, we project the application model in AGLETS-specific model, which describes the structure and the main functionalities of the application using the AGLETS concepts. In the third step, we generate Java skeleton code from the obtained model, and we generate also AspectJ code for enforcing security properties defined in the application model. The generated aspects will be woven, in modular way, into the functional application code.
-
KES-AMSTA - Modeling secure mobile agent systems
Agent and Multi-Agent Systems. Technologies and Applications, 2012Co-Authors: Molka Rekik, Slim Kallel, Monia Loulou, Ahmed Hadj KacemAbstract:We propose a MDA based approach for designing secure mobile agent systems. First, we define a meta-model which extends the UML Deployment Diagram by concepts related to the security and mobility of multi-agent systems. We propose also a UML profile as an implementation of this meta-model. Second, we project the application model into AGLETS-specific model, which describes the main functionalities of the application deployed on AGLETS as a mobile agent platform.
Razib Hayat Khan - One of the best experts on this subject based on the ideXlab platform.
-
Performance and Performability Modeling Framework Considering Management of Service Components Deployment
2014Co-Authors: Razib Hayat KhanAbstract:Performance evaluation of distributed system is always an intricate undertaking where system behavior is distributed among several components those are physically distributed. Bearing this concept in mind, we delineate a performance modeling framework for a distributed system that proposes a transformation process from high level UML notation to SRN model and solves the model for relevant performance metrics. To capture the system dynamics through our proposed framework we outline a specification style that focuses on UML collaboration and activity as reusable specification building blocks, while Deployment Diagram identify the physical components of the system and the assignment of software artifacts to identified system components. Optimal Deployment mapping of software artifacts on the available physical resources of the system is investigated by deriving the cost function. Way to deal with parallel thread processing of the network nodes by defining the upper bound is precisely mentioned to generate the SRN model.
-
A Performance Modeling Framework Incorporating Cost Efficient Deployment of Multiple Collaborating Instances
Software Engineering and Computer Systems, 2011Co-Authors: Razib Hayat Khan, Poul E. HeegaardAbstract:Performance evaluation of distributed system is always an intricate undertaking where system behavior is distributed among several components those are physically distributed. Bearing this concept in mind, we delineate a performance modeling framework for a distributed system that proposes a transformation process from high level UML notation to SRN model and solves the model for relevant performance metrics. To capture the system dynamics through our proposed framework we outline a specification style that focuses on UML collaboration and activity as reusable specification building blocks, while Deployment Diagram identify the physical components of the system and the assignment of software artifacts to identified system components. Optimal Deployment mapping of software artifacts on the available physical resources of the system is investigated by deriving the cost function. Way to deal with parallel thread processing of the network nodes by defining the upper bound is precisely mentioned to generate the SRN model.
-
Translation from UML to SPN Model: A Performance Modeling Framework
2010Co-Authors: Razib Hayat Khan, Poul E. HeegaardAbstract:This work focuses on the delineating a performance modeling framework for a communication system that proposes a translation process from high level UML notation to Stochastic Petri Net model (SPN) and solves the model for relevant performance metrics. The framework utilizes UML collaborations, activity Diagrams and Deployment Diagrams to be used for generating performance model for a communication system. The system dynamics will be captured by UML collaboration and activity Diagram as reusable specification building blocks, while Deployment Diagram highlights the components of the system. The collaboration and activity show how reusable building blocks in the form of collaboration can compose together the service components through input and output pin by highlighting the behavior of the components. Later a mapping between collaboration and system component identified by Deployment Diagram will be demonstrated. Moreover the UML models are annotated to associate performance related quality of service (QoS) information for solving the performance model for relevant performance metrics to generate performance evaluation results.
-
EUNICE - Translation from UML to SPN model: a performance modeling framework
2010Co-Authors: Razib Hayat Khan, Poul E. HeegaardAbstract:This work focuses on the delineating a performance modeling framework for a communication system that proposes a translation process from high level UML notation to Stochastic Petri Net model (SPN) and solves the model for relevant performance metrics. The framework utilizes UML collaborations, activity Diagrams and Deployment Diagrams to be used for generating performance model for a communication system. The system dynamics will be captured by UML collaboration and activity Diagram as reusable specification building blocks, while Deployment Diagram highlights the components of the system. The collaboration and activity show how reusable building blocks in the form of collaboration can compose together the service components through input and output pin by highlighting the behavior of the components. Later a mapping between collaboration and system component identified by Deployment Diagram will be demonstrated. Moreover the UML models are annotated to associate performance related quality of service (QoS) information for solving the performance model for relevant performance metrics to generate performance evaluation results.
-
Translation from UML to SPN Model: A Performance Modeling Framework
Lecture Notes in Computer Science, 2010Co-Authors: Razib Hayat Khan, Poul E. HeegaardAbstract:International audienceThis work focuses on the delineating a performance modeling framework for a communication system that proposes a translation process from high level UML notation to Stochastic Petri Net model (SPN) and solves the model for relevant performance metrics. The framework utilizes UML collaborations, activity Diagrams and Deployment Diagrams to be used for generating performance model for a communication system. The system dynamics will be captured by UML collaboration and activity Diagram as reusable specification building blocks, while Deployment Diagram highlights the components of the system. The collaboration and activity show how reusable building blocks in the form of collaboration can compose together the service components through input and output pin by highlighting the behavior of the components. Later a mapping between collaboration and system component identified by Deployment Diagram will be demonstrated. Moreover the UML models are annotated to associate performance related quality of service (QoS) information for solving the performance model for relevant performance metrics to generate performance evaluation results
Slim Kallel - One of the best experts on this subject based on the ideXlab platform.
-
AOSE - MDA-Based Approach for Implementing Secure Mobile Agent Systems
Lecture Notes in Computer Science, 2013Co-Authors: Slim Kallel, Molka Rekik, Monia Loulou, Ahmed Hadj KacemAbstract:We propose an approach for implementing secure mobile agent systems. In the first step, we define a meta-model which extends the UML Deployment Diagram by concepts related to the security and mobility of multi-agent systems. We propose also a UML profile as an implementation of this meta-model. All defined concepts are based on formal specifications. In the second step, we project the application model in AGLETS-specific model, which describes the structure and the main functionalities of the application using the AGLETS concepts. In the third step, we generate Java skeleton code from the obtained model, and we generate also AspectJ code for enforcing security properties defined in the application model. The generated aspects will be woven, in modular way, into the functional application code.
-
KES-AMSTA - Modeling secure mobile agent systems
Agent and Multi-Agent Systems. Technologies and Applications, 2012Co-Authors: Molka Rekik, Slim Kallel, Monia Loulou, Ahmed Hadj KacemAbstract:We propose a MDA based approach for designing secure mobile agent systems. First, we define a meta-model which extends the UML Deployment Diagram by concepts related to the security and mobility of multi-agent systems. We propose also a UML profile as an implementation of this meta-model. Second, we project the application model into AGLETS-specific model, which describes the main functionalities of the application deployed on AGLETS as a mobile agent platform.