{"title":"面向智能体的方法:一种基于模糊的多智能体形式化改进方法","authors":"Sofia Kouah, Ilham Kitouni, D. Saidouni","doi":"10.1145/2832987.2833060","DOIUrl":null,"url":null,"abstract":"This paper aims to provide a general framework for the design of complex systems such as multi-agents systems (MAS). It is based on formal specification model which supports MAS requirements. This model, called Open Fuzzy Synchronized Petri Net (OFSyPN), is an extension of Synchronized Petri net enhanced by fuzziness, openness and interaction with environment. The approach is based on a rigorous refinement process. It distinguishes between predictable and unpredictable behaviors. Also, the approach is based on gathering requirement process, which allows capturing requirement in well-structured manner.","PeriodicalId":416001,"journal":{"name":"Proceedings of the The International Conference on Engineering & MIS 2015","volume":"23 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2015-09-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"2","resultStr":"{\"title\":\"Towards Agent Oriented Methodology: A Fuzzy based Formal Refinement Approach for Multi-agent\",\"authors\":\"Sofia Kouah, Ilham Kitouni, D. Saidouni\",\"doi\":\"10.1145/2832987.2833060\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"This paper aims to provide a general framework for the design of complex systems such as multi-agents systems (MAS). It is based on formal specification model which supports MAS requirements. This model, called Open Fuzzy Synchronized Petri Net (OFSyPN), is an extension of Synchronized Petri net enhanced by fuzziness, openness and interaction with environment. The approach is based on a rigorous refinement process. It distinguishes between predictable and unpredictable behaviors. Also, the approach is based on gathering requirement process, which allows capturing requirement in well-structured manner.\",\"PeriodicalId\":416001,\"journal\":{\"name\":\"Proceedings of the The International Conference on Engineering & MIS 2015\",\"volume\":\"23 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2015-09-24\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"2\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Proceedings of the The International Conference on Engineering & MIS 2015\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1145/2832987.2833060\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Proceedings of the The International Conference on Engineering & MIS 2015","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1145/2832987.2833060","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
Towards Agent Oriented Methodology: A Fuzzy based Formal Refinement Approach for Multi-agent
This paper aims to provide a general framework for the design of complex systems such as multi-agents systems (MAS). It is based on formal specification model which supports MAS requirements. This model, called Open Fuzzy Synchronized Petri Net (OFSyPN), is an extension of Synchronized Petri net enhanced by fuzziness, openness and interaction with environment. The approach is based on a rigorous refinement process. It distinguishes between predictable and unpredictable behaviors. Also, the approach is based on gathering requirement process, which allows capturing requirement in well-structured manner.
求助内容：
应助结果提醒方式：
京公网安备 11010802042870号
