{"title":"Reducing dependency on network reliability and availability by encapsulating the negotiation functionalities in ACL messages","authors":"M. Bagić, M. Kunstic","doi":"10.1109/CONTEL.2005.185972","DOIUrl":null,"url":null,"abstract":"Network management of multi-agent system could be provided by FIPA agents communicating via ACL (Agent Communicating Language) messages. Such agents can significantly enhance the possibility of dynamic network negotiation and optimization, i.e. reduce dependency on network availability and reliability, encapsulating these functionalities in ACL messages. Here we offer formal specification of such agents using Coloured Petri Nets (CPN) in order to support their validation and verification. We model inter-agent communication via ACL messages specified by Petri colours. We also give an insight into a correlation between informal (AUML Sequnce Diagram) and formal (CPN Tools Diagram) modelling techniques with suggestion on their merging.","PeriodicalId":265923,"journal":{"name":"Proceedings of the 8th International Conference on Telecommunications, 2005. ConTEL 2005.","volume":"98 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2005-06-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"1","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"Proceedings of the 8th International Conference on Telecommunications, 2005. ConTEL 2005.","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/CONTEL.2005.185972","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
引用次数: 1
Abstract
Network management of multi-agent system could be provided by FIPA agents communicating via ACL (Agent Communicating Language) messages. Such agents can significantly enhance the possibility of dynamic network negotiation and optimization, i.e. reduce dependency on network availability and reliability, encapsulating these functionalities in ACL messages. Here we offer formal specification of such agents using Coloured Petri Nets (CPN) in order to support their validation and verification. We model inter-agent communication via ACL messages specified by Petri colours. We also give an insight into a correlation between informal (AUML Sequnce Diagram) and formal (CPN Tools Diagram) modelling techniques with suggestion on their merging.
多智能体系统的网络管理可以由FIPA代理通过ACL (Agent communication Language)消息进行通信来实现。这些代理可以显著增强动态网络协商和优化的可能性，即减少对网络可用性和可靠性的依赖，将这些功能封装在ACL消息中。在这里，我们使用彩色Petri网(CPN)提供此类代理的正式规范，以支持其验证和验证。我们通过由Petri颜色指定的ACL消息对代理间通信进行建模。我们还深入了解了非正式(AUML序列图)和正式(CPN工具图)建模技术之间的相关性，并提出了合并它们的建议。
京公网安备 11010802042870号
京ICP备2023020795号-1
分享
求助内容：
应助结果提醒方式：
扫码关注我们
