Formal Specification and Automatic Verification of Conditional Commitments

Warda El Kholy; Mohamed El Menshawy; Jamal Bentahar; Hongyang Qu; Rachida Dssouli

doi:10.1109/MIS.2015.6

Formal Specification and Automatic Verification of Conditional Commitments

Warda El Kholy, Mohamed El Menshawy, Jamal Bentahar, Hongyang Qu, Rachida Dssouli

Electrical Engineering

Research output: Contribution to journal › Article › peer-review

8 Scopus citations

Abstract

Developing and implementing a model checker dedicated to conditional logic with the user interface are urgent requirements for determining whether agents comply with their commitment protocols.

Original language	British English
Article number	7006389
Pages (from-to)	36-44
Number of pages	9
Journal	IEEE Intelligent Systems
Volume	30
Issue number	2
DOIs	https://doi.org/10.1109/MIS.2015.6
State	Published - 1 Mar 2015

Keywords

compliance
intelligent systems
model-checker
strong (classical) commitments

Access to Document

10.1109/MIS.2015.6

Cite this

@article{275b377766aa4e15b50d8bf61181d11f,

title = "Formal Specification and Automatic Verification of Conditional Commitments",

abstract = "Developing and implementing a model checker dedicated to conditional logic with the user interface are urgent requirements for determining whether agents comply with their commitment protocols.",

keywords = "compliance, intelligent systems, model-checker, strong (classical) commitments",

author = "{El Kholy}, Warda and {El Menshawy}, Mohamed and Jamal Bentahar and Hongyang Qu and Rachida Dssouli",

note = "Publisher Copyright: {\textcopyright} 2001-2011 IEEE.",

year = "2015",

month = mar,

day = "1",

doi = "10.1109/MIS.2015.6",

language = "British English",

volume = "30",

pages = "36--44",

journal = "IEEE Intelligent Systems",

issn = "1541-1672",

publisher = "Institute of Electrical and Electronics Engineers Inc.",

number = "2",

}

TY - JOUR

T1 - Formal Specification and Automatic Verification of Conditional Commitments

AU - El Kholy, Warda

AU - El Menshawy, Mohamed

AU - Bentahar, Jamal

AU - Qu, Hongyang

AU - Dssouli, Rachida

PY - 2015/3/1

Y1 - 2015/3/1

N2 - Developing and implementing a model checker dedicated to conditional logic with the user interface are urgent requirements for determining whether agents comply with their commitment protocols.

AB - Developing and implementing a model checker dedicated to conditional logic with the user interface are urgent requirements for determining whether agents comply with their commitment protocols.

KW - compliance

KW - intelligent systems

KW - model-checker

KW - strong (classical) commitments

UR - http://www.scopus.com/inward/record.url?scp=84925881229&partnerID=8YFLogxK

U2 - 10.1109/MIS.2015.6

DO - 10.1109/MIS.2015.6

M3 - Article

AN - SCOPUS:84925881229

SN - 1541-1672

VL - 30

SP - 36

EP - 44

JO - IEEE Intelligent Systems

JF - IEEE Intelligent Systems

IS - 2

M1 - 7006389

ER -

Formal Specification and Automatic Verification of Conditional Commitments

Abstract

Keywords

Access to Document

Other files and links

Fingerprint

Cite this