A formal model for mobile agent systems using Z

Summary form only given. This paper proposes a formal definition of a conceptual model for mobile agent systems. This works constitute a part of a general research project aiming at defining a generic interaction model that covers the different facets of the cooperative activity among mobile agent b...

Full description

Saved in:
Bibliographic Details
Main Authors: Loulou, M., Kacem, A.H., Jmaiel, M.
Format: Conference Proceeding
Language:English
Subjects:
Cloning
Communication system security
Electronic mail
Formal specifications
Laboratories
Logic
Mobile agents
Mobile communication
Process design
Specification languages
Online Access:Request full text
Tags: Add Tag
No Tags, Be the first to tag this record!
cited_by
cites
container_end_page
container_issue
container_start_page 113
container_title
container_volume
creator Loulou, M.
Kacem, A.H.
Jmaiel, M.
description Summary form only given. This paper proposes a formal definition of a conceptual model for mobile agent systems. This works constitute a part of a general research project aiming at defining a generic interaction model that covers the different facets of the cooperative activity among mobile agent based systems. We propose a framework for the specification of interaction mechanisms among mobile agent systems. Doing so, and using the Z notation, we bring closer the concepts describing a mobile agent systems and the cooperative activity while integrating them with the concepts related to the agent migration. The syntax and the semantic of proposed specifications have been checked using the Z-EVES tool.
doi_str_mv 10.1109/AICCSA.2005.1387102
format conference_proceeding
fullrecord <record><control><sourceid>ieee_6IE</sourceid><recordid>TN_cdi_ieee_primary_1387102</recordid><sourceformat>XML</sourceformat><sourcesystem>PC</sourcesystem><ieee_id>1387102</ieee_id><sourcerecordid>1387102</sourcerecordid><originalsourceid>FETCH-LOGICAL-i175t-a2c8f6cef72f732a3b8a835cce3804498b831a87020cbc4a80eef465cbc3b08b3</originalsourceid><addsrcrecordid>eNo9T8tqwzAQFH1AQ-ovyEU_YGeltaz10Zg-AoEe2l56CZK6Ci52Uiz3kL-vS0OGgZlhYGCEWCkolIJ63Wza9rUpNIApFJJVoK_EQqtK5QYRrkVWW4KZc4fG3Fw6re9EltIXzCgNWrQLsW5kPI6D6-Vw_OT-L8zOdz1Lt-fDJNMpTTwk-ZO6w15-3Ivb6PrE2VmX4v3x4a19zrcvT5u22eadsmbKnQ4Uq8DR6mhRO_TkCE0IjARlWZMnVI4saAg-lI6AOZaVmQN6II9Lsfrf7Zh59z12gxtPu_Nd_AUII0X2</addsrcrecordid><sourcetype>Publisher</sourcetype><iscdi>true</iscdi><recordtype>conference_proceeding</recordtype></control><display><type>conference_proceeding</type><title>A formal model for mobile agent systems using Z</title><source>IEEE Electronic Library (IEL) Conference Proceedings</source><creator>Loulou, M. ; Kacem, A.H. ; Jmaiel, M.</creator><creatorcontrib>Loulou, M. ; Kacem, A.H. ; Jmaiel, M.</creatorcontrib><description>Summary form only given. This paper proposes a formal definition of a conceptual model for mobile agent systems. This works constitute a part of a general research project aiming at defining a generic interaction model that covers the different facets of the cooperative activity among mobile agent based systems. We propose a framework for the specification of interaction mechanisms among mobile agent systems. Doing so, and using the Z notation, we bring closer the concepts describing a mobile agent systems and the cooperative activity while integrating them with the concepts related to the agent migration. The syntax and the semantic of proposed specifications have been checked using the Z-EVES tool.</description><identifier>ISSN: 2161-5322</identifier><identifier>ISBN: 9780780387355</identifier><identifier>ISBN: 078038735X</identifier><identifier>EISSN: 2161-5330</identifier><identifier>DOI: 10.1109/AICCSA.2005.1387102</identifier><language>eng</language><publisher>IEEE</publisher><subject>Cloning ; Communication system security ; Electronic mail ; Formal specifications ; Laboratories ; Logic ; Mobile agents ; Mobile communication ; Process design ; Specification languages</subject><ispartof>The 3rd ACS/IEEE International Conference onComputer Systems and Applications, 2005, 2005, p.113</ispartof><woscitedreferencessubscribed>false</woscitedreferencessubscribed></display><links><openurl>$$Topenurl_article</openurl><openurlfulltext>$$Topenurlfull_article</openurlfulltext><thumbnail>$$Tsyndetics_thumb_exl</thumbnail><linktohtml>$$Uhttps://ieeexplore.ieee.org/document/1387102$$EHTML$$P50$$Gieee$$H</linktohtml><link.rule.ids>309,310,776,780,785,786,2052,4036,4037,27902,54530,54895,54907</link.rule.ids><linktorsrc>$$Uhttps://ieeexplore.ieee.org/document/1387102$$EView_record_in_IEEE$$FView_record_in_$$GIEEE</linktorsrc></links><search><creatorcontrib>Loulou, M.</creatorcontrib><creatorcontrib>Kacem, A.H.</creatorcontrib><creatorcontrib>Jmaiel, M.</creatorcontrib><title>A formal model for mobile agent systems using Z</title><title>The 3rd ACS/IEEE International Conference onComputer Systems and Applications, 2005</title><addtitle>AICCSA</addtitle><description>Summary form only given. This paper proposes a formal definition of a conceptual model for mobile agent systems. This works constitute a part of a general research project aiming at defining a generic interaction model that covers the different facets of the cooperative activity among mobile agent based systems. We propose a framework for the specification of interaction mechanisms among mobile agent systems. Doing so, and using the Z notation, we bring closer the concepts describing a mobile agent systems and the cooperative activity while integrating them with the concepts related to the agent migration. The syntax and the semantic of proposed specifications have been checked using the Z-EVES tool.</description><subject>Cloning</subject><subject>Communication system security</subject><subject>Electronic mail</subject><subject>Formal specifications</subject><subject>Laboratories</subject><subject>Logic</subject><subject>Mobile agents</subject><subject>Mobile communication</subject><subject>Process design</subject><subject>Specification languages</subject><issn>2161-5322</issn><issn>2161-5330</issn><isbn>9780780387355</isbn><isbn>078038735X</isbn><fulltext>true</fulltext><rsrctype>conference_proceeding</rsrctype><creationdate>2005</creationdate><recordtype>conference_proceeding</recordtype><sourceid>6IE</sourceid><recordid>eNo9T8tqwzAQFH1AQ-ovyEU_YGeltaz10Zg-AoEe2l56CZK6Ci52Uiz3kL-vS0OGgZlhYGCEWCkolIJ63Wza9rUpNIApFJJVoK_EQqtK5QYRrkVWW4KZc4fG3Fw6re9EltIXzCgNWrQLsW5kPI6D6-Vw_OT-L8zOdz1Lt-fDJNMpTTwk-ZO6w15-3Ivb6PrE2VmX4v3x4a19zrcvT5u22eadsmbKnQ4Uq8DR6mhRO_TkCE0IjARlWZMnVI4saAg-lI6AOZaVmQN6II9Lsfrf7Zh59z12gxtPu_Nd_AUII0X2</recordid><startdate>2005</startdate><enddate>2005</enddate><creator>Loulou, M.</creator><creator>Kacem, A.H.</creator><creator>Jmaiel, M.</creator><general>IEEE</general><scope>6IE</scope><scope>6IL</scope><scope>CBEJK</scope><scope>RIE</scope><scope>RIL</scope></search><sort><creationdate>2005</creationdate><title>A formal model for mobile agent systems using Z</title><author>Loulou, M. ; Kacem, A.H. ; Jmaiel, M.</author></sort><facets><frbrtype>5</frbrtype><frbrgroupid>cdi_FETCH-LOGICAL-i175t-a2c8f6cef72f732a3b8a835cce3804498b831a87020cbc4a80eef465cbc3b08b3</frbrgroupid><rsrctype>conference_proceedings</rsrctype><prefilter>conference_proceedings</prefilter><language>eng</language><creationdate>2005</creationdate><topic>Cloning</topic><topic>Communication system security</topic><topic>Electronic mail</topic><topic>Formal specifications</topic><topic>Laboratories</topic><topic>Logic</topic><topic>Mobile agents</topic><topic>Mobile communication</topic><topic>Process design</topic><topic>Specification languages</topic><toplevel>online_resources</toplevel><creatorcontrib>Loulou, M.</creatorcontrib><creatorcontrib>Kacem, A.H.</creatorcontrib><creatorcontrib>Jmaiel, M.</creatorcontrib><collection>IEEE Electronic Library (IEL) Conference Proceedings</collection><collection>IEEE Proceedings Order Plan All Online (POP All Online) 1998-present by volume</collection><collection>IEEE Xplore All Conference Proceedings</collection><collection>IEEE Xplore</collection><collection>IEEE Proceedings Order Plans (POP All) 1998-Present</collection></facets><delivery><delcategory>Remote Search Resource</delcategory><fulltext>fulltext_linktorsrc</fulltext></delivery><addata><au>Loulou, M.</au><au>Kacem, A.H.</au><au>Jmaiel, M.</au><format>book</format><genre>proceeding</genre><ristype>CONF</ristype><atitle>A formal model for mobile agent systems using Z</atitle><btitle>The 3rd ACS/IEEE International Conference onComputer Systems and Applications, 2005</btitle><stitle>AICCSA</stitle><date>2005</date><risdate>2005</risdate><spage>113</spage><pages>113-</pages><issn>2161-5322</issn><eissn>2161-5330</eissn><isbn>9780780387355</isbn><isbn>078038735X</isbn><abstract>Summary form only given. This paper proposes a formal definition of a conceptual model for mobile agent systems. This works constitute a part of a general research project aiming at defining a generic interaction model that covers the different facets of the cooperative activity among mobile agent based systems. We propose a framework for the specification of interaction mechanisms among mobile agent systems. Doing so, and using the Z notation, we bring closer the concepts describing a mobile agent systems and the cooperative activity while integrating them with the concepts related to the agent migration. The syntax and the semantic of proposed specifications have been checked using the Z-EVES tool.</abstract><pub>IEEE</pub><doi>10.1109/AICCSA.2005.1387102</doi></addata></record>
fulltext fulltext_linktorsrc
identifier ISSN: 2161-5322
ispartof The 3rd ACS/IEEE International Conference onComputer Systems and Applications, 2005, 2005, p.113
issn 2161-5322
2161-5330
language eng
recordid cdi_ieee_primary_1387102
source IEEE Electronic Library (IEL) Conference Proceedings
subjects Cloning
Communication system security
Electronic mail
Formal specifications
Laboratories
Logic
Mobile agents
Mobile communication
Process design
Specification languages
title A formal model for mobile agent systems using Z
url http://sfxeu10.hosted.exlibrisgroup.com/loughborough?ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&ctx_tim=2025-02-10T14%3A03%3A41IST&url_ver=Z39.88-2004&url_ctx_fmt=infofi/fmt:kev:mtx:ctx&rfr_id=info:sid/primo.exlibrisgroup.com:primo3-Article-ieee_6IE&rft_val_fmt=info:ofi/fmt:kev:mtx:book&rft.genre=proceeding&rft.atitle=A%20formal%20model%20for%20mobile%20agent%20systems%20using%20Z&rft.btitle=The%203rd%20ACS/IEEE%20International%20Conference%20onComputer%20Systems%20and%20Applications,%202005&rft.au=Loulou,%20M.&rft.date=2005&rft.spage=113&rft.pages=113-&rft.issn=2161-5322&rft.eissn=2161-5330&rft.isbn=9780780387355&rft.isbn_list=078038735X&rft_id=info:doi/10.1109/AICCSA.2005.1387102&rft_dat=%3Cieee_6IE%3E1387102%3C/ieee_6IE%3E%3Cgrp_id%3Ecdi_FETCH-LOGICAL-i175t-a2c8f6cef72f732a3b8a835cce3804498b831a87020cbc4a80eef465cbc3b08b3%3C/grp_id%3E%3Coa%3E%3C/oa%3E%3Curl%3E%3C/url%3E&rft_id=info:oai/&rft_id=info:pmid/&rft_ieee_id=1387102&rfr_iscdi=true