A Model-Driven CASE tool for developing and verifying regulated open MAS

被引：3

作者：

Garcia, Emilia ^{[1
]}

Giret, Adriana ^{[1
]}

Botti, Vicente ^{[1
]}

机构：

[1] Univ Politecn Valencia, Valencia, Spain

来源：

SCIENCE OF COMPUTER PROGRAMMING | 2013年 / 78卷 / 06期

关键词：

Multi-agent systems; Contracts; Model-Driven software development; Model checking;

D O I：

10.1016/j.scico.2011.10.009

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

This paper describes a CASE tool for developing complex systems in which heterogeneous and autonomous agents may need to coexist in a complex social and legal framework. Model-Driven Technologies are used to integrate the design of systems of this kind with the verification of the models and with the generation of executable code from these models. The verification module is based on model-checking techniques to check the coherence of a modeled legal context at design time is presented and it is exemplified with a case study. (C) 2011 Elsevier B.V. All rights reserved.

引用

页码：695 / 704

页数：10

共 50 条

[1] Model-Driven Development for Ubiquitous MAS
Agueero, Jorge
Rebollo, Miguel
Carrascosa, Carlos
Julian, Vicente
[J]. AMBIENT INTELLIGENCE AND FUTURE TRENDS - INTERNATIONAL SYMPOSIUM ON AMBIENT INTELLIGENCE (ISAML 2010), 2010, 72 : 87 - 95
[2] A model-driven approach for developing a model repository: Methodology and tool support
Hamid, Brahim
[J]. FUTURE GENERATION COMPUTER SYSTEMS-THE INTERNATIONAL JOURNAL OF ESCIENCE, 2017, 68 : 473 - 490
[3] Model-Driven Verifying Compilation of Synchronous Distributed Applications
Chaki, Sagar
Edmondson, James
[J]. MODEL-DRIVEN ENGINEERING LANGUAGES AND SYSTEMS, MODELS 2014, 2014, 8767 : 201 - 217
[4] MEDAL: A CASE tool extension for model-driven software engineering
Guelfi, N
Ries, B
Sterges, P
[J]. IEEE INTERNATIONAL CONFERENCE ON SOFTWARE - SCIENCE, TECHNOLOGY & ENGINEERING, PROCEEDINGS, 2003, : 33 - 42
[5] Model-driven Development of Partial Model-to-Model Transformations in a CASE Tool
Skersys, Tomas
Danenas, Paulius
Pavalkis, Saulius
[J]. PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON NUMERICAL ANALYSIS AND APPLIED MATHEMATICS 2015 (ICNAAM-2015), 2016, 1738
[6] Model-driven Approach for Verifying Conformity of Models in the Presence of Constraints
Cuevas Cuesta, Cesar
Lopez Martinez, Patricia
Drake, Jose M.
[J]. PROCEEDINGS OF THE 4TH INTERNATIONAL CONFERENCE ON MODEL-DRIVEN ENGINEERING AND SOFTWARE DEVELOPMENT (MODELSWARD 2016), 2016, : 455 - 466
[7] Model-Driven Tool Integration with ModelBus
Hein, Christian
Ritter, Tom
Wagner, Michael
[J]. FUTURE TRENDS OF MODEL-DRIVEN DEVELOPMENT, PROCEEDINGS, 2009, : 35 - 39
[8] Model-Driven Approach and Implementation of Partial Model-to-Model Transformations in a CASE Tool
Skersys, Tomas
Pavalkis, Saulius
Lagzdinyte-Budnike, Ingrida
[J]. INFORMATION AND SOFTWARE TECHNOLOGIES, ICIST 2014, 2014, 465 : 260 - 271
[9] Developing a quality framework for model-driven engineering
Mohagheghi, Parastoo
Dehlen, Vegard
[J]. MODELS IN SOFTWARE ENGINEERING, 2008, 5002 : 275 - 286
[10] Model-driven open packet telephony management
Clemm, A
Leung, P
[J]. NOMS 2002: IEEE/IFIP NETWORK OPERATIONS AND MANAGEMENT SYMPOSIUM: MANAGEMENT SOLUTIONS FOR THE NEW COMMUNICATIONS WORLD, 2002, : 97 - 110

← 1 2 3 4 5 →