{"title":"事件B在多智能体交互建模中的应用","authors":"Hongjiang Gao, Ying He, Zheng Qin, Li-Ping Shao, Xingchen Heng","doi":"10.1109/ICICT.2007.375374","DOIUrl":null,"url":null,"abstract":"With increasingly complexity in MAS, rigorous design practices are needed in case of critical applications. Event B, which provides an accessible and rigorous formal approach to development of such complex system, is ideal for the formal modelling of reactive systems. In this paper we present a part of ongoing work in this area. A practical approach for developing flexible and reliable formal specifications of MAS using Event B is described, exemplified on contract net protocol (CNP) in the interaction of MAS, associating an intelligent shape and style design systems in automobile.","PeriodicalId":206443,"journal":{"name":"2007 International Conference on Information and Communication Technology","volume":"24 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2007-03-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"2","resultStr":"{\"title\":\"Application of Event B to Modelling Multiagent Interactions\",\"authors\":\"Hongjiang Gao, Ying He, Zheng Qin, Li-Ping Shao, Xingchen Heng\",\"doi\":\"10.1109/ICICT.2007.375374\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"With increasingly complexity in MAS, rigorous design practices are needed in case of critical applications. Event B, which provides an accessible and rigorous formal approach to development of such complex system, is ideal for the formal modelling of reactive systems. In this paper we present a part of ongoing work in this area. A practical approach for developing flexible and reliable formal specifications of MAS using Event B is described, exemplified on contract net protocol (CNP) in the interaction of MAS, associating an intelligent shape and style design systems in automobile.\",\"PeriodicalId\":206443,\"journal\":{\"name\":\"2007 International Conference on Information and Communication Technology\",\"volume\":\"24 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2007-03-07\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"2\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"2007 International Conference on Information and Communication Technology\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/ICICT.2007.375374\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"2007 International Conference on Information and Communication Technology","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/ICICT.2007.375374","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
Application of Event B to Modelling Multiagent Interactions
With increasingly complexity in MAS, rigorous design practices are needed in case of critical applications. Event B, which provides an accessible and rigorous formal approach to development of such complex system, is ideal for the formal modelling of reactive systems. In this paper we present a part of ongoing work in this area. A practical approach for developing flexible and reliable formal specifications of MAS using Event B is described, exemplified on contract net protocol (CNP) in the interaction of MAS, associating an intelligent shape and style design systems in automobile.
求助内容：
应助结果提醒方式：
京公网安备 11010802042870号
