ºÝºÝߣshows by User: agaga86 / http://www.slideshare.net/images/logo.gif ºÝºÝߣshows by User: agaga86 / Fri, 21 Oct 2016 09:01:27 GMT ºÝºÝߣShare feed for ºÝºÝߣshows by User: agaga86 Model-Based Simulation of Legal Requirements: Experience from Tax Policy SimulationSince in our system under test we need to handel dynamic a /slideshow/modelbased-simulation-of-legal-requirements-experience-from-tax-policy-simulationsince-in-our-system-under-test-we-need-to-handel-dynamic-a/67489695 ghanem-rex16-161021090127
Using models for expressing legal requirements is now commonplace in Requirements Engineering. Models of legal requirements, on the one hand, facilitate communication between software engineers and legal experts, and on the contrary, provide a basis for systematic and automated analysis. The most prevalent application of legal requirements models is for checking the compliance of software systems with laws and regulations. In this presentation, we explore a complementary application of legal requirements models, namely simulation. We observe that, in domains such as taxation, the same models that underlie legal compliance analysis bring significant added value by enabling simulation. Concretely, this presentation reports on the model-based simulation of selected legal requirements (policies) derived from Luxembourg’s Income Tax Law. The simulation scenario considered in the case study is aimed at analyzing the impact of a current tax law reform proposal in Luxembourg. We describe our approach for simulation along with empirical results demonstrating the feasibility and accuracy of the approach. We further present lessons learned from the experience.]]>
Using models for expressing legal requirements is now commonplace in Requirements Engineering. Models of legal requirements, on the one hand, facilitate communication between software engineers and legal experts, and on the contrary, provide a basis for systematic and automated analysis. The most prevalent application of legal requirements models is for checking the compliance of software systems with laws and regulations. In this presentation, we explore a complementary application of legal requirements models, namely simulation. We observe that, in domains such as taxation, the same models that underlie legal compliance analysis bring significant added value by enabling simulation. Concretely, this presentation reports on the model-based simulation of selected legal requirements (policies) derived from Luxembourg’s Income Tax Law. The simulation scenario considered in the case study is aimed at analyzing the impact of a current tax law reform proposal in Luxembourg. We describe our approach for simulation along with empirical results demonstrating the feasibility and accuracy of the approach. We further present lessons learned from the experience.]]> Fri, 21 Oct 2016 09:01:27 GMT /slideshow/modelbased-simulation-of-legal-requirements-experience-from-tax-policy-simulationsince-in-our-system-under-test-we-need-to-handel-dynamic-a/67489695 agaga86@slideshare.net(agaga86) Model-Based Simulation of Legal Requirements: Experience from Tax Policy SimulationSince in our system under test we need to handel dynamic a agaga86 Using models for expressing legal requirements is now commonplace in Requirements Engineering. Models of legal requirements, on the one hand, facilitate communication between software engineers and legal experts, and on the contrary, provide a basis for systematic and automated analysis. The most prevalent application of legal requirements models is for checking the compliance of software systems with laws and regulations. In this presentation, we explore a complementary application of legal requirements models, namely simulation. We observe that, in domains such as taxation, the same models that underlie legal compliance analysis bring significant added value by enabling simulation. Concretely, this presentation reports on the model-based simulation of selected legal requirements (policies) derived from Luxembourg’s Income Tax Law. The simulation scenario considered in the case study is aimed at analyzing the impact of a current tax law reform proposal in Luxembourg. We describe our approach for simulation along with empirical results demonstrating the feasibility and accuracy of the approach. We further present lessons learned from the experience. <img style="border:1px solid #C3E6D8;float:right;" alt="" src="https://cdn.slidesharecdn.com/ss_thumbnails/ghanem-rex16-161021090127-thumbnail.jpg?width=120&amp;height=120&amp;fit=bounds" /><br> Using models for expressing legal requirements is now commonplace in Requirements Engineering. Models of legal requirements, on the one hand, facilitate communication between software engineers and legal experts, and on the contrary, provide a basis for systematic and automated analysis. The most prevalent application of legal requirements models is for checking the compliance of software systems with laws and regulations. In this presentation, we explore a complementary application of legal requirements models, namely simulation. We observe that, in domains such as taxation, the same models that underlie legal compliance analysis bring significant added value by enabling simulation. Concretely, this presentation reports on the model-based simulation of selected legal requirements (policies) derived from Luxembourg’s Income Tax Law. The simulation scenario considered in the case study is aimed at analyzing the impact of a current tax law reform proposal in Luxembourg. We describe our approach for simulation along with empirical results demonstrating the feasibility and accuracy of the approach. We further present lessons learned from the experience.
Model-Based Simulation of Legal Requirements: Experience from Tax Policy SimulationSince in our system under test we need to handel dynamic a from Software Verification and Validation Laboratory - Software Verification and Validation Laboratory
]]> 337 6 https://cdn.slidesharecdn.com/ss_thumbnails/ghanem-rex16-161021090127-thumbnail.jpg?width=120&height=120&fit=bounds presentation Black http://activitystrea.ms/schema/1.0/post http://activitystrea.ms/schema/1.0/posted 0 Models15 /slideshow/models15/53660981 models15-151007183652-lva1-app6891
Legal policy simulation is an important decision-support tool in domains such as taxation. The primary goal of legal policy simulation is predicting how changes in the law affect measures of interest, e.g., revenue. Currently, legal policies are simulated via a combination of spreadsheets and software code. This poses a validation challenge both due to complexity reasons and due to legal experts lacking the expertise to understand software code. A further challenge is that representative data for simulation may be unavailable, thus necessitating a data generator. We develop a framework for legal policy simulation that is aimed at addressing these challenges. The framework uses models for specifying both legal policies and the probabilistic characteristics of the underlying population. We devise an automated algorithm for simulation data generation. We evaluate our framework through a case study on Luxembourg's Tax Law.]]>
Legal policy simulation is an important decision-support tool in domains such as taxation. The primary goal of legal policy simulation is predicting how changes in the law affect measures of interest, e.g., revenue. Currently, legal policies are simulated via a combination of spreadsheets and software code. This poses a validation challenge both due to complexity reasons and due to legal experts lacking the expertise to understand software code. A further challenge is that representative data for simulation may be unavailable, thus necessitating a data generator. We develop a framework for legal policy simulation that is aimed at addressing these challenges. The framework uses models for specifying both legal policies and the probabilistic characteristics of the underlying population. We devise an automated algorithm for simulation data generation. We evaluate our framework through a case study on Luxembourg's Tax Law.]]> Wed, 07 Oct 2015 18:36:51 GMT /slideshow/models15/53660981 agaga86@slideshare.net(agaga86) Models15 agaga86 Legal policy simulation is an important decision-support tool in domains such as taxation. The primary goal of legal policy simulation is predicting how changes in the law affect measures of interest, e.g., revenue. Currently, legal policies are simulated via a combination of spreadsheets and software code. This poses a validation challenge both due to complexity reasons and due to legal experts lacking the expertise to understand software code. A further challenge is that representative data for simulation may be unavailable, thus necessitating a data generator. We develop a framework for legal policy simulation that is aimed at addressing these challenges. The framework uses models for specifying both legal policies and the probabilistic characteristics of the underlying population. We devise an automated algorithm for simulation data generation. We evaluate our framework through a case study on Luxembourg's Tax Law. <img style="border:1px solid #C3E6D8;float:right;" alt="" src="https://cdn.slidesharecdn.com/ss_thumbnails/models15-151007183652-lva1-app6891-thumbnail.jpg?width=120&amp;height=120&amp;fit=bounds" /><br> Legal policy simulation is an important decision-support tool in domains such as taxation. The primary goal of legal policy simulation is predicting how changes in the law affect measures of interest, e.g., revenue. Currently, legal policies are simulated via a combination of spreadsheets and software code. This poses a validation challenge both due to complexity reasons and due to legal experts lacking the expertise to understand software code. A further challenge is that representative data for simulation may be unavailable, thus necessitating a data generator. We develop a framework for legal policy simulation that is aimed at addressing these challenges. The framework uses models for specifying both legal policies and the probabilistic characteristics of the underlying population. We devise an automated algorithm for simulation data generation. We evaluate our framework through a case study on Luxembourg&#39;s Tax Law.
Models15 from Software Verification and Validation Laboratory - Software Verification and Validation Laboratory
]]> 408 6 https://cdn.slidesharecdn.com/ss_thumbnails/models15-151007183652-lva1-app6891-thumbnail.jpg?width=120&height=120&fit=bounds presentation Black http://activitystrea.ms/schema/1.0/post http://activitystrea.ms/schema/1.0/posted 0 Using UML for Modeling Procedural Legal Rules /slideshow/using-uml-for-modeling-procedural-legal-rules-40150390/40150390 models14-141011141235-conversion-gate01
Many laws, e.g., those concerning taxes and social benefits, need to be operationalized and implemented into public administration procedures and eGovernment applications. Where such operationalization is warranted, the legal frameworks that interpret the underlying laws are typically prescriptive, providing procedural rules for ensuring legal compliance. We propose a UML-based approach for modeling procedural legal rules. With help from legal experts, we investigate actual legal texts, identifying both the information needs and sources of complexity in the formalization of procedural legal rules. Building on this study, we develop a UML profile that enables more precise modeling of such legal rules. To be able to use logic-based tools for compliance analysis, we automatically transform models of procedural legal rules into the Object Constraint Language (OCL). We report on an application of our approach to Luxembourg’s Income Tax Law providing initial evidence for the feasibility and usefulness of our approach.]]>
Many laws, e.g., those concerning taxes and social benefits, need to be operationalized and implemented into public administration procedures and eGovernment applications. Where such operationalization is warranted, the legal frameworks that interpret the underlying laws are typically prescriptive, providing procedural rules for ensuring legal compliance. We propose a UML-based approach for modeling procedural legal rules. With help from legal experts, we investigate actual legal texts, identifying both the information needs and sources of complexity in the formalization of procedural legal rules. Building on this study, we develop a UML profile that enables more precise modeling of such legal rules. To be able to use logic-based tools for compliance analysis, we automatically transform models of procedural legal rules into the Object Constraint Language (OCL). We report on an application of our approach to Luxembourg’s Income Tax Law providing initial evidence for the feasibility and usefulness of our approach.]]> Sat, 11 Oct 2014 14:12:35 GMT /slideshow/using-uml-for-modeling-procedural-legal-rules-40150390/40150390 agaga86@slideshare.net(agaga86) Using UML for Modeling Procedural Legal Rules agaga86 Many laws, e.g., those concerning taxes and social benefits, need to be operationalized and implemented into public administration procedures and eGovernment applications. Where such operationalization is warranted, the legal frameworks that interpret the underlying laws are typically prescriptive, providing procedural rules for ensuring legal compliance. We propose a UML-based approach for modeling procedural legal rules. With help from legal experts, we investigate actual legal texts, identifying both the information needs and sources of complexity in the formalization of procedural legal rules. Building on this study, we develop a UML profile that enables more precise modeling of such legal rules. To be able to use logic-based tools for compliance analysis, we automatically transform models of procedural legal rules into the Object Constraint Language (OCL). We report on an application of our approach to Luxembourg’s Income Tax Law providing initial evidence for the feasibility and usefulness of our approach. <img style="border:1px solid #C3E6D8;float:right;" alt="" src="https://cdn.slidesharecdn.com/ss_thumbnails/models14-141011141235-conversion-gate01-thumbnail.jpg?width=120&amp;height=120&amp;fit=bounds" /><br> Many laws, e.g., those concerning taxes and social benefits, need to be operationalized and implemented into public administration procedures and eGovernment applications. Where such operationalization is warranted, the legal frameworks that interpret the underlying laws are typically prescriptive, providing procedural rules for ensuring legal compliance. We propose a UML-based approach for modeling procedural legal rules. With help from legal experts, we investigate actual legal texts, identifying both the information needs and sources of complexity in the formalization of procedural legal rules. Building on this study, we develop a UML profile that enables more precise modeling of such legal rules. To be able to use logic-based tools for compliance analysis, we automatically transform models of procedural legal rules into the Object Constraint Language (OCL). We report on an application of our approach to Luxembourg’s Income Tax Law providing initial evidence for the feasibility and usefulness of our approach.
Using UML for Modeling Procedural Legal Rules from Software Verification and Validation Laboratory - Software Verification and Validation Laboratory
]]> 514 2 https://cdn.slidesharecdn.com/ss_thumbnails/models14-141011141235-conversion-gate01-thumbnail.jpg?width=120&height=120&fit=bounds presentation Black http://activitystrea.ms/schema/1.0/post http://activitystrea.ms/schema/1.0/posted 0 Projet de Fin d'Études: Vehicle fleet management system https://fr.slideshare.net/slideshow/pfe-vehicle-fleet-management-system/35449386 pfe-vehiclefleetmanagementsystem-140603154401-phpapp01
Reverse-Engineering and Optimization of Tunisian Government’s Vehicle Fleet Management System. A short demonstration available at http://people.svv.lu/soltana/Demo.mp4 ]]>
Reverse-Engineering and Optimization of Tunisian Government’s Vehicle Fleet Management System. A short demonstration available at http://people.svv.lu/soltana/Demo.mp4 ]]> Tue, 03 Jun 2014 15:44:01 GMT https://fr.slideshare.net/slideshow/pfe-vehicle-fleet-management-system/35449386 agaga86@slideshare.net(agaga86) Projet de Fin d'Études: Vehicle fleet management system agaga86 Reverse-Engineering and Optimization of Tunisian Government’s Vehicle Fleet Management System. A short demonstration available at http://people.svv.lu/soltana/Demo.mp4 <img style="border:1px solid #C3E6D8;float:right;" alt="" src="https://cdn.slidesharecdn.com/ss_thumbnails/pfe-vehiclefleetmanagementsystem-140603154401-phpapp01-thumbnail.jpg?width=120&amp;height=120&amp;fit=bounds" /><br> Reverse-Engineering and Optimization of Tunisian Government’s Vehicle Fleet Management System. A short demonstration available at http://people.svv.lu/soltana/Demo.mp4
from Software Verification and Validation Laboratory - Software Verification and Validation Laboratory
]]> 1606 97 https://cdn.slidesharecdn.com/ss_thumbnails/pfe-vehiclefleetmanagementsystem-140603154401-phpapp01-thumbnail.jpg?width=120&height=120&fit=bounds presentation Black http://activitystrea.ms/schema/1.0/post http://activitystrea.ms/schema/1.0/posted 0 Genetic Algorithm for Multi-Agent simulation Calibration (GAMAC) https://fr.slideshare.net/slideshow/gamc-35448837/35448837 gamc-140603152843-phpapp01
My master thesis presentation 2012: The agent-based approach focuses on the modeling and the simulation of complex systems. A crucial phase of the development process of multi-agent simulation is probably the validation, which is the process of determining the degree to which a model or simulation is an accurate representation of the real-world. One main issue of the validation phase is the calibration, which is an instantiation phase of the local and global parameters of the simulation. The complexity of calibration is due to the risk of the combinatory explosion, the nonlinear relationship between the parameters, and sometimes the lack of information about the simulated system. Nevertheless, it is an important step given that the global dynamics of the simulated model is governed by parameters to be calibrated. The approach we suggest is to consider the calibration problem as an optimization problem. We apply directly an optimization algorithm, the genetic algorithm, the model is seen as a black box whose inputs are the values ​​of the parameters to be calibrated and the output is the value of an objective function evaluated after the run of the simulation. The output value represents the degree of plausibility, a measure of the simulation’s validity (accuracy, completeness, quantification of an emerging phenomenon ...) or a measure of distance between the simulation’s results and those obtained by observing the real system.]]>
My master thesis presentation 2012: The agent-based approach focuses on the modeling and the simulation of complex systems. A crucial phase of the development process of multi-agent simulation is probably the validation, which is the process of determining the degree to which a model or simulation is an accurate representation of the real-world. One main issue of the validation phase is the calibration, which is an instantiation phase of the local and global parameters of the simulation. The complexity of calibration is due to the risk of the combinatory explosion, the nonlinear relationship between the parameters, and sometimes the lack of information about the simulated system. Nevertheless, it is an important step given that the global dynamics of the simulated model is governed by parameters to be calibrated. The approach we suggest is to consider the calibration problem as an optimization problem. We apply directly an optimization algorithm, the genetic algorithm, the model is seen as a black box whose inputs are the values ​​of the parameters to be calibrated and the output is the value of an objective function evaluated after the run of the simulation. The output value represents the degree of plausibility, a measure of the simulation’s validity (accuracy, completeness, quantification of an emerging phenomenon ...) or a measure of distance between the simulation’s results and those obtained by observing the real system.]]> Tue, 03 Jun 2014 15:28:43 GMT https://fr.slideshare.net/slideshow/gamc-35448837/35448837 agaga86@slideshare.net(agaga86) Genetic Algorithm for Multi-Agent simulation Calibration (GAMAC) agaga86 My master thesis presentation 2012: The agent-based approach focuses on the modeling and the simulation of complex systems. A crucial phase of the development process of multi-agent simulation is probably the validation, which is the process of determining the degree to which a model or simulation is an accurate representation of the real-world. One main issue of the validation phase is the calibration, which is an instantiation phase of the local and global parameters of the simulation. The complexity of calibration is due to the risk of the combinatory explosion, the nonlinear relationship between the parameters, and sometimes the lack of information about the simulated system. Nevertheless, it is an important step given that the global dynamics of the simulated model is governed by parameters to be calibrated. The approach we suggest is to consider the calibration problem as an optimization problem. We apply directly an optimization algorithm, the genetic algorithm, the model is seen as a black box whose inputs are the values ​​of the parameters to be calibrated and the output is the value of an objective function evaluated after the run of the simulation. The output value represents the degree of plausibility, a measure of the simulation’s validity (accuracy, completeness, quantification of an emerging phenomenon ...) or a measure of distance between the simulation’s results and those obtained by observing the real system. <img style="border:1px solid #C3E6D8;float:right;" alt="" src="https://cdn.slidesharecdn.com/ss_thumbnails/gamc-140603152843-phpapp01-thumbnail.jpg?width=120&amp;height=120&amp;fit=bounds" /><br> My master thesis presentation 2012: The agent-based approach focuses on the modeling and the simulation of complex systems. A crucial phase of the development process of multi-agent simulation is probably the validation, which is the process of determining the degree to which a model or simulation is an accurate representation of the real-world. One main issue of the validation phase is the calibration, which is an instantiation phase of the local and global parameters of the simulation. The complexity of calibration is due to the risk of the combinatory explosion, the nonlinear relationship between the parameters, and sometimes the lack of information about the simulated system. Nevertheless, it is an important step given that the global dynamics of the simulated model is governed by parameters to be calibrated. The approach we suggest is to consider the calibration problem as an optimization problem. We apply directly an optimization algorithm, the genetic algorithm, the model is seen as a black box whose inputs are the values ​​of the parameters to be calibrated and the output is the value of an objective function evaluated after the run of the simulation. The output value represents the degree of plausibility, a measure of the simulation’s validity (accuracy, completeness, quantification of an emerging phenomenon ...) or a measure of distance between the simulation’s results and those obtained by observing the real system.
from Software Verification and Validation Laboratory - Software Verification and Validation Laboratory
]]> 1235 89 https://cdn.slidesharecdn.com/ss_thumbnails/gamc-140603152843-phpapp01-thumbnail.jpg?width=120&height=120&fit=bounds presentation Black http://activitystrea.ms/schema/1.0/post http://activitystrea.ms/schema/1.0/posted 0 Algorithm et structure de donnée https://fr.slideshare.net/slideshow/asd-35448403/35448403 asd-140603151458-phpapp01
My first attempt to provide a less boring and more interactive course about algorithms and data structures :)]]>
My first attempt to provide a less boring and more interactive course about algorithms and data structures :)]]> Tue, 03 Jun 2014 15:14:58 GMT https://fr.slideshare.net/slideshow/asd-35448403/35448403 agaga86@slideshare.net(agaga86) Algorithm et structure de donnée agaga86 My first attempt to provide a less boring and more interactive course about algorithms and data structures :) <img style="border:1px solid #C3E6D8;float:right;" alt="" src="https://cdn.slidesharecdn.com/ss_thumbnails/asd-140603151458-phpapp01-thumbnail.jpg?width=120&amp;height=120&amp;fit=bounds" /><br> My first attempt to provide a less boring and more interactive course about algorithms and data structures :)
from Software Verification and Validation Laboratory - Software Verification and Validation Laboratory
]]> 2336 15 https://cdn.slidesharecdn.com/ss_thumbnails/asd-140603151458-phpapp01-thumbnail.jpg?width=120&height=120&fit=bounds presentation Black http://activitystrea.ms/schema/1.0/post http://activitystrea.ms/schema/1.0/posted 0 https://cdn.slidesharecdn.com/profile-photo-agaga86-48x48.jpg?cb=1647811277 I have been very passionate about computers and technology since I was young. My quest to excel in computer science and engineering started in 2006 when I joined one of the most prestigious higher education institutes in Tunisia: the Higher Institute of Management of Tunis (HIMT). I chose HIMT for several reasons: Firstly, HIMT has received, on multiple occasions, the Business Excellency School award for being the best ranked university in the African continent. Secondly, HIMT has numerous collaboration programs with universities abroad as part of which there are regular visits to HIMT by professors and scientists from, among other countries, Canada, Egypt, France and the United States. T... people.svv.lu/soltana/ https://cdn.slidesharecdn.com/ss_thumbnails/ghanem-rex16-161021090127-thumbnail.jpg?width=320&height=320&fit=bounds slideshow/modelbased-simulation-of-legal-requirements-experience-from-tax-policy-simulationsince-in-our-system-under-test-we-need-to-handel-dynamic-a/67489695 Model-Based Simulation... https://cdn.slidesharecdn.com/ss_thumbnails/models15-151007183652-lva1-app6891-thumbnail.jpg?width=320&height=320&fit=bounds slideshow/models15/53660981 Models15 https://cdn.slidesharecdn.com/ss_thumbnails/models14-141011141235-conversion-gate01-thumbnail.jpg?width=320&height=320&fit=bounds slideshow/using-uml-for-modeling-procedural-legal-rules-40150390/40150390 Using UML for Modelin...