{"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}
引用次数: 2
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.