检索结果-内蒙古大学图书馆

model-based simulation of legal policies: framework, tool support, and validation

SOFTWARE AND SYSTEMS modelING 2018年第3期17卷 851-883页

作者： Soltana, Ghanem Sannier, Nicolas Sabetzadeh, Mehrdad Briand, Lionel C. Univ Luxembourg SnT Ctr Secur Reliabil & Trust Luxembourg Luxembourg

Simulation of legal policies 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. Legal policy simulation is currently implemented using a combination of spreadsheets and software code. Such a direct implementation poses a validation challenge. In particular, legal experts often lack the necessary software background to review complex spreadsheets and code. Consequently, these experts currently have no reliable means to check the correctness of simulations against the requirements envisaged by the law. A further challenge is that representative data for simulation may be unavailable, thus necessitating a data generator. A hard-coded generator is difficult to build and validate. We develop a framework for legal policy simulation that is aimed at addressing the challenges above. 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 policies Simulation UML profiles model-driven code generation Probabilistic data generation

来源：评论

学校读者我要写书评

暂无评论

A model-Based Framework for Probabilistic Simulation of Legal Policies 18

A Model-Based Framework for Probabilistic Simulation of Lega...

引用

ACM/IEEE 18th International Conference on model driven Engineering Languages and Systems (modelS)

作者： Soltana, Ghanem Sannier, Nicolas Sabetzadeh, Mehrdad Briand, Lionel C. Univ Luxembourg SnT Ctr Secur Reliabil & Trust Luxembourg Luxembourg

ISBN: (纸本)9781467369084

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 Policies Simulation UML Profiles model-driven code generation Probabilistic Data generation

来源：评论

学校读者我要写书评

暂无评论

Service-Oriented Toolchains for Software Evolution 9

Service-Oriented Toolchains for Software Evolution

引用

IEEE 9th International Symposium on the Maintenance and Evolution of Service-Oriented Systems and Cloud-Based Environments (MESOCA)

作者： Jelschen, Jan Carl von Ossietzky Univ Oldenburg D-26111 Oldenburg Germany

ISBN: (纸本)9781467379359

Software evolution projects need to be supported by integrated toolchains, yet can suffer from inadequate tool interoperability. Practitioners are forced to deal with technical integration issues, instead of focusing on their projects' actual objectives. Lacking integration support, the resulting toolchains are rigid and inflexible, impeding project progress. This paper presents SENSEI, a service-oriented support framework for toolchain-building, that clearly separates software evolution needs from implementing tools and interoperability issues. It aims to improve interoperability using component-based principles, and provides model-driven code generation to partly automate the integration process. The approach has been prototypically implemented, and was applied in the context of the Q-MIG project, to build parts of an integrated software migration and quality assessment toolchain.

关键词： open systems program compilers software maintenance software quality software tools Q-MIG project SENSEI component-based principles integrated software migration integrated toolchains integration support model-driven code generation quality assessment toolchain service-oriented support framework service-oriented toolchains software evolution projects tool interoperability toolchain-building Automation Buildings Interoperability Java Measurement Software Standards Interoperability software evolution compilers Software maintenance software quality Automation Software Tools open systems Buildings Java Java programming language computer software

来源：评论

学校读者我要写书评

暂无评论

From Agent Interaction Protocols to Executable code: A model-driven Approach 09

From Agent Interaction Protocols to Executable Code: A Model...

引用

International Conference on Autonomous Agents and Multiagent Systems

作者： Christian Hahn Ingo Zinnikus Stefan Warwas Klaus Fischer German Research Center for Artificial Intelligence (DFKI)

In this paper, we demonstrate how to design protocols with the platform independent modeling language for multiagent systems (DSML4MAS) and discuss a model-driven approach to use protocol descriptions as a base for ge... 详细信息

ISBN: (纸本)9781615673346

关键词： Design Language Agent Interaction Protocols model-driven code generation model Transformation Language protocols Executable code Agents Alkali Intelligent agents modelling languages Multi-agent systems

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：