A framework for model checking institutions

被引：0

作者：

Vigano, Francesco ^{[1
]}

机构：

[1] Univ Svizzera Italiana, CH-6900 Lugano, Switzerland

来源：

MODEL CHECKING AND ARTIFICIAL INTELLIGENCE | 2007年 / 4428卷

关键词：

D O I：

暂无

中图分类号：

TP [自动化技术、计算机技术];

学科分类号：

0812 ;

摘要：

To increase positive expectations in the outcome of open multiagent systems, institutions have been put forward to regulate agents' behaviour. To model and to verify such institutions, we propose to adopt the notion of status function, which provides for a unified approach to ontological and deontic aspects regulated by an institution. Also, to enhance the development of functional and rational institutions, we propose a language amenable to model checking to describe them and their properties. Finally, we present our tool and an evaluation of our approach.

引用

页码：129 / 145

页数：17

共 50 条

[31] UMM: an operational memory model specification framework with integrated model checking capability
Yang, Y
Gopalakrishnan, G
Lindstrom, G
CONCURRENCY AND COMPUTATION-PRACTICE & EXPERIENCE, 2005, 17 (5-6): : 465 - 487
[32] A three-valued model abstraction framework for PCTL* stochastic model checking
Yang Liu
Yan Ma
Yongsheng Yang
Automated Software Engineering, 2022, 29
[33] A Framework for Institutions Governing Institutions
King, Thomas C.
Li, Tingting
De Vos, Marina
Dignum, Virginia
Jonker, Catholijn M.
Padget, Julian
van Riemsdijk, M. Birna
PROCEEDINGS OF THE 2015 INTERNATIONAL CONFERENCE ON AUTONOMOUS AGENTS & MULTIAGENT SYSTEMS (AAMAS'15), 2015, : 473 - 481
[34] Dynamic model learning using genetic algorithm under adaptive model checking framework
Lai, Zhifeng
Cheung, S. C.
Jiang, Yunfei
QSIC 2006: SIXTH INTERNATIONAL CONFERENCE ON QUALITY SOFTWARE, PROCEEDINGS, 2006, : 410 - +
[35] Security Analysis of a Digital Twin Framework Using Probabilistic Model Checking
Shaikh, Eman
Al-Ali, A. R.
Muhammad, Shahabuddin
Mohammad, Nazeeruddin
Aloul, F.
IEEE ACCESS, 2023, 11 : 26358 - 26374
[36] Model checking algorithm of extended Tempura language in unified logical framework
Zhu W.-J.
Zhou Q.-L.
Zhang H.-B.
Huanan Ligong Daxue Xuebao/Journal of South China University of Technology (Natural Science), 2011, 39 (07): : 163 - 168
[37] An evaluation framework for energy aware buildings using statistical model checking
Alexandre David
DeHui Du
Kim G. Larsen
Marius Mikučionis
Arne Skou
Science China Information Sciences, 2012, 55 : 2694 - 2707
[38] BlockASP: A Framework for AOP-Based Model Checking Blockchain System
Alsobeh, Anas M. R.
Magableh, Aws A.
IEEE ACCESS, 2023, 11 : 115062 - 115075
[39] Complexity of model checking by iterative improvement:: The pseudo-Boolean framework
Björklund, H
Sandberg, S
Vorobyov, S
PERSPECTIVES OF SYSTEM INFORMATICS, 2003, 2890 : 381 - 394
[40] Bogor: An extensible and highly-modular software model checking framework
Robby
Dwyer, Matthew B.
Hatcliff, John
Proc ACM SIGSOFT Symp Found Software Eng, 1600, (267-276):

← 1 2 3 4 5 →