Requirement Analysis, Architectural Design and Formal Verification of a Multi-Agent Based University Information Management System

Requirement Analysis, Architectural Design and Formal Verification of a Multi-Agent Based University Information Management System

This paper presents an approach based on the analysis, design, and formal verification of a multi-agent based university Information Management System (IMS). University IMS accesses information, creates reports and facilitates teachers as well as students. An orchestrator agent manages the coordinat...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:International journal of computer science & information technology 2014-12, Vol.6 (6), p.73-81
Hauptverfasser: Akhtar, Nadeem, Shafique Ghori, Aisha, Salamat, Nadeem
Format: Artikel
Sprache:eng
Schlagworte:
Data base management systems
Design engineering
Information management
Multiagent systems
Predicate logic
Requirements analysis
Teachers
Online-Zugang:Volltext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
container_end_page 81
container_issue 6
container_start_page 73
container_title International journal of computer science & information technology
container_volume 6
creator Akhtar, Nadeem
Shafique Ghori, Aisha
Salamat, Nadeem
description This paper presents an approach based on the analysis, design, and formal verification of a multi-agent based university Information Management System (IMS). University IMS accesses information, creates reports and facilitates teachers as well as students. An orchestrator agent manages the coordination between all agents. It also manages the database connectivity for the whole system. The proposed IMS is based on BDI agent architecture, which models the system based on belief, desire, and intentions. The correctness properties of safety and liveness are specified by First-order predicate logic.
doi_str_mv 10.5121/ijcsit.2014.6605
format Article
fullrecord <record><control><sourceid>proquest_cross</sourceid><recordid>TN_cdi_proquest_miscellaneous_1669876602</recordid><sourceformat>XML</sourceformat><sourcesystem>PC</sourcesystem><sourcerecordid>1669876602</sourcerecordid><originalsourceid>FETCH-LOGICAL-c1165-364e8818808b013201eeeca995b5894d89162cc5786e527debb89fdc9d61c4e83</originalsourceid><addsrcrecordid>eNotkD1PwzAQhiMEElXpzuiRgRQ7iR1nDIVCpVZIQFkjx7kUV4nT2g5SVn45Du0td7p77-sJgluC55RE5EHtpVVuHmGSzBnD9CKY4CylYcwjdnmOE1-4DmbW7rG3hDLC6CT4fYdjrwy0oB3KtWgGq-w9yo38Vg6k641o0BNYtdNI6AotO9P6zBcYVSspnOo06mok0KZvnArz3TjnUVio0FarHzD-rgGtdD32_as3Qovdad_HYB20N8FVLRoLs7OfBtvl8-fiNVy_vawW-TqUxJ8axiwBzgnnmJeYxP5XAJAiy2hJeZZUPCMskpKmnAGN0grKkmd1JbOKEelb42lwd5p7MN2xB-uKVlkJTSM0dL0tCGMZTz2lyEvxSSpNZ62BujgY1QozFAQXI_HiRLwYiRcj8fgPS693FA</addsrcrecordid><sourcetype>Aggregation Database</sourcetype><iscdi>true</iscdi><recordtype>article</recordtype><pqid>1669876602</pqid></control><display><type>article</type><title>Requirement Analysis, Architectural Design and Formal Verification of a Multi-Agent Based University Information Management System</title><source>EZB-FREE-00999 freely available EZB journals</source><creator>Akhtar, Nadeem ; Shafique Ghori, Aisha ; Salamat, Nadeem</creator><creatorcontrib>Akhtar, Nadeem ; Shafique Ghori, Aisha ; Salamat, Nadeem</creatorcontrib><description>This paper presents an approach based on the analysis, design, and formal verification of a multi-agent based university Information Management System (IMS). University IMS accesses information, creates reports and facilitates teachers as well as students. An orchestrator agent manages the coordination between all agents. It also manages the database connectivity for the whole system. The proposed IMS is based on BDI agent architecture, which models the system based on belief, desire, and intentions. The correctness properties of safety and liveness are specified by First-order predicate logic.</description><identifier>ISSN: 0975-4660</identifier><identifier>EISSN: 0975-3826</identifier><identifier>DOI: 10.5121/ijcsit.2014.6605</identifier><language>eng</language><subject>Data base management systems ; Design engineering ; Information management ; Multiagent systems ; Predicate logic ; Requirements analysis ; Teachers</subject><ispartof>International journal of computer science &amp; information technology, 2014-12, Vol.6 (6), p.73-81</ispartof><oa>free_for_read</oa><woscitedreferencessubscribed>false</woscitedreferencessubscribed></display><links><openurl>$$Topenurl_article</openurl><openurlfulltext>$$Topenurlfull_article</openurlfulltext><thumbnail>$$Tsyndetics_thumb_exl</thumbnail><link.rule.ids>314,776,780,27901,27902</link.rule.ids></links><search><creatorcontrib>Akhtar, Nadeem</creatorcontrib><creatorcontrib>Shafique Ghori, Aisha</creatorcontrib><creatorcontrib>Salamat, Nadeem</creatorcontrib><title>Requirement Analysis, Architectural Design and Formal Verification of a Multi-Agent Based University Information Management System</title><title>International journal of computer science &amp; information technology</title><description>This paper presents an approach based on the analysis, design, and formal verification of a multi-agent based university Information Management System (IMS). University IMS accesses information, creates reports and facilitates teachers as well as students. An orchestrator agent manages the coordination between all agents. It also manages the database connectivity for the whole system. The proposed IMS is based on BDI agent architecture, which models the system based on belief, desire, and intentions. The correctness properties of safety and liveness are specified by First-order predicate logic.</description><subject>Data base management systems</subject><subject>Design engineering</subject><subject>Information management</subject><subject>Multiagent systems</subject><subject>Predicate logic</subject><subject>Requirements analysis</subject><subject>Teachers</subject><issn>0975-4660</issn><issn>0975-3826</issn><fulltext>true</fulltext><rsrctype>article</rsrctype><creationdate>2014</creationdate><recordtype>article</recordtype><recordid>eNotkD1PwzAQhiMEElXpzuiRgRQ7iR1nDIVCpVZIQFkjx7kUV4nT2g5SVn45Du0td7p77-sJgluC55RE5EHtpVVuHmGSzBnD9CKY4CylYcwjdnmOE1-4DmbW7rG3hDLC6CT4fYdjrwy0oB3KtWgGq-w9yo38Vg6k641o0BNYtdNI6AotO9P6zBcYVSspnOo06mok0KZvnArz3TjnUVio0FarHzD-rgGtdD32_as3Qovdad_HYB20N8FVLRoLs7OfBtvl8-fiNVy_vawW-TqUxJ8axiwBzgnnmJeYxP5XAJAiy2hJeZZUPCMskpKmnAGN0grKkmd1JbOKEelb42lwd5p7MN2xB-uKVlkJTSM0dL0tCGMZTz2lyEvxSSpNZ62BujgY1QozFAQXI_HiRLwYiRcj8fgPS693FA</recordid><startdate>20141231</startdate><enddate>20141231</enddate><creator>Akhtar, Nadeem</creator><creator>Shafique Ghori, Aisha</creator><creator>Salamat, Nadeem</creator><scope>AAYXX</scope><scope>CITATION</scope><scope>7SC</scope><scope>8FD</scope><scope>JQ2</scope><scope>L7M</scope><scope>L~C</scope><scope>L~D</scope></search><sort><creationdate>20141231</creationdate><title>Requirement Analysis, Architectural Design and Formal Verification of a Multi-Agent Based University Information Management System</title><author>Akhtar, Nadeem ; Shafique Ghori, Aisha ; Salamat, Nadeem</author></sort><facets><frbrtype>5</frbrtype><frbrgroupid>cdi_FETCH-LOGICAL-c1165-364e8818808b013201eeeca995b5894d89162cc5786e527debb89fdc9d61c4e83</frbrgroupid><rsrctype>articles</rsrctype><prefilter>articles</prefilter><language>eng</language><creationdate>2014</creationdate><topic>Data base management systems</topic><topic>Design engineering</topic><topic>Information management</topic><topic>Multiagent systems</topic><topic>Predicate logic</topic><topic>Requirements analysis</topic><topic>Teachers</topic><toplevel>online_resources</toplevel><creatorcontrib>Akhtar, Nadeem</creatorcontrib><creatorcontrib>Shafique Ghori, Aisha</creatorcontrib><creatorcontrib>Salamat, Nadeem</creatorcontrib><collection>CrossRef</collection><collection>Computer and Information Systems Abstracts</collection><collection>Technology Research Database</collection><collection>ProQuest Computer Science Collection</collection><collection>Advanced Technologies Database with Aerospace</collection><collection>Computer and Information Systems Abstracts – Academic</collection><collection>Computer and Information Systems Abstracts Professional</collection><jtitle>International journal of computer science &amp; information technology</jtitle></facets><delivery><delcategory>Remote Search Resource</delcategory><fulltext>fulltext</fulltext></delivery><addata><au>Akhtar, Nadeem</au><au>Shafique Ghori, Aisha</au><au>Salamat, Nadeem</au><format>journal</format><genre>article</genre><ristype>JOUR</ristype><atitle>Requirement Analysis, Architectural Design and Formal Verification of a Multi-Agent Based University Information Management System</atitle><jtitle>International journal of computer science &amp; information technology</jtitle><date>2014-12-31</date><risdate>2014</risdate><volume>6</volume><issue>6</issue><spage>73</spage><epage>81</epage><pages>73-81</pages><issn>0975-4660</issn><eissn>0975-3826</eissn><abstract>This paper presents an approach based on the analysis, design, and formal verification of a multi-agent based university Information Management System (IMS). University IMS accesses information, creates reports and facilitates teachers as well as students. An orchestrator agent manages the coordination between all agents. It also manages the database connectivity for the whole system. The proposed IMS is based on BDI agent architecture, which models the system based on belief, desire, and intentions. The correctness properties of safety and liveness are specified by First-order predicate logic.</abstract><doi>10.5121/ijcsit.2014.6605</doi><tpages>9</tpages><oa>free_for_read</oa></addata></record>
fulltext fulltext
identifier ISSN: 0975-4660
ispartof International journal of computer science & information technology, 2014-12, Vol.6 (6), p.73-81
issn 0975-4660
0975-3826
language eng
recordid cdi_proquest_miscellaneous_1669876602
source EZB-FREE-00999 freely available EZB journals
subjects Data base management systems
Design engineering
Information management
Multiagent systems
Predicate logic
Requirements analysis
Teachers
title Requirement Analysis, Architectural Design and Formal Verification of a Multi-Agent Based University Information Management System
url https://sfx.bib-bvb.de/sfx_tum?ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&ctx_tim=2025-02-01T04%3A56%3A54IST&url_ver=Z39.88-2004&url_ctx_fmt=infofi/fmt:kev:mtx:ctx&rfr_id=info:sid/primo.exlibrisgroup.com:primo3-Article-proquest_cross&rft_val_fmt=info:ofi/fmt:kev:mtx:journal&rft.genre=article&rft.atitle=Requirement%20Analysis,%20Architectural%20Design%20and%20Formal%20Verification%20of%20a%20Multi-Agent%20Based%20University%20Information%20Management%20System&rft.jtitle=International%20journal%20of%20computer%20science%20&%20information%20technology&rft.au=Akhtar,%20Nadeem&rft.date=2014-12-31&rft.volume=6&rft.issue=6&rft.spage=73&rft.epage=81&rft.pages=73-81&rft.issn=0975-4660&rft.eissn=0975-3826&rft_id=info:doi/10.5121/ijcsit.2014.6605&rft_dat=%3Cproquest_cross%3E1669876602%3C/proquest_cross%3E%3Curl%3E%3C/url%3E&disable_directlink=true&sfx.directlink=off&sfx.report_link=0&rft_id=info:oai/&rft_pqid=1669876602&rft_id=info:pmid/&rfr_iscdi=true