Verification of Multi-Agent Systems Using AUML Methodology

Simple item page
atmire.migration.oldid1370
dc.contributor.advisorFar, Behrouz H.
dc.contributor.authorMireslami, Seyedehmehrnaz
dc.date.accessioned2013-09-13T21:13:58Z
dc.date.available2013-11-12T08:00:13Z
dc.date.issued2013-09-13
dc.date.submitted2013en
dc.description.abstractVerification of Multi-Agent Systems (MAS) is vital since it results in reducing design costs. Agent UML (AUML) is a methodology for MAS design that is an extension of Unified Modeling Language (UML). Although UML is used for object-oriented designs, AUML can handle the interactions among agents to deal with agent-based designs. In this thesis, AUML is employed for designing MASs and a set of conversion rules is proposed to convert AUML notations into UML diagrams to be used for MAS verification. Emergent behaviour is a critical problem in MASs that leads to unexpected behaviours due to the assumptions of behaviour model synthesis, i.e. overgeneralization. The main contributions of this thesis are: 1) Designing multi-agent systems using AUML methodology and preparing scenarios for verification. 2) Developing a component-level approach for verifying multi-agent systems preventing overgeneralization. 3) Proposing a system-level algorithm to obtain comprehensive system behaviour analysis.en_US
dc.identifier.citationMireslami, S. (2013). Verification of Multi-Agent Systems Using AUML Methodology (Master's thesis, University of Calgary, Calgary, Canada). Retrieved from https://prism.ucalgary.ca. doi:10.11575/PRISM/28639en_US
dc.identifier.doihttp://dx.doi.org/10.11575/PRISM/28639
dc.identifier.urihttp://hdl.handle.net/11023/969
dc.language.isoeng
dc.publisher.facultyGraduate Studies
dc.publisher.institutionUniversity of Calgaryen
dc.publisher.placeCalgaryen
dc.rightsUniversity of Calgary graduate students retain copyright ownership and moral rights for their thesis. You may use this material in any way that is permitted by the Copyright Act or through licensing that has been assigned to the document. For uses that are not allowable under copyright legislation or licensing, you are required to seek permission.
dc.subjectComputer Science
dc.subject.classificationMulti-Agent Systemen_US
dc.subject.classificationVerificationen_US
dc.subject.classificationBehaviour modelen_US
dc.titleVerification of Multi-Agent Systems Using AUML Methodology
dc.typemaster thesis
thesis.degree.disciplineElectrical and Computer Engineering
thesis.degree.grantorUniversity of Calgary
thesis.degree.nameMaster of Science (MSc)
ucalgary.item.requestcopytrue
Files
Original bundle
Now showing 1 - 1 of 1
Thumbnail Image
Name:
ucalgary_2013_Mireslami_Seyedehmehrnaz.pdf
Size:
2.56 MB
Format:
Adobe Portable Document Format
Description:
Download
License bundle
Now showing 1 - 1 of 1
Thumbnail Image
Name:
license.txt
Size:
2.65 KB
Format:
Item-specific license agreed upon to submission
Description:
Download
Collections
Open Theses and Dissertations