{"title":"A formal framework to build software agents","authors":"M. Patra, H. Mohanty","doi":"10.1109/APSEC.2001.991467","DOIUrl":null,"url":null,"abstract":"This paper presents a micro-level design perspective of a software agent that is capable of taking part in service-centric interactions with other agents in its environment. The agent software is not built as a monolithic entity but is engineered as a set of distinct modules. The components of the agent software are formally specified using the RAISE specification language. Our formal approach to agent building provides clarity at the conceptual level and eases the process of implementation.","PeriodicalId":130293,"journal":{"name":"Proceedings Eighth Asia-Pacific Software Engineering Conference","volume":"25 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2001-12-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"1","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"Proceedings Eighth Asia-Pacific Software Engineering Conference","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/APSEC.2001.991467","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
引用次数: 1
Abstract
This paper presents a micro-level design perspective of a software agent that is capable of taking part in service-centric interactions with other agents in its environment. The agent software is not built as a monolithic entity but is engineered as a set of distinct modules. The components of the agent software are formally specified using the RAISE specification language. Our formal approach to agent building provides clarity at the conceptual level and eases the process of implementation.
京公网安备 11010802042870号
京ICP备2023020795号-1
分享
求助内容：
应助结果提醒方式：
扫码关注我们
