A formal framework for organization- centered multi-agent system specification: A rewriting logic based approach
Multiagent and Grid Systems, ISSN: 1875-9076, Vol: 13, Issue: 4, Page: 395-419
2017
- 7Citations
- 8Captures
Metric Options: CountsSelecting the 1-year or 3-year option will change the metrics count to percentiles, illustrating how an article or review compares to other articles or reviews within the selected time period in the same journal. Selecting the 1-year option compares the metrics against other articles/reviews that were also published in the same calendar year. Selecting the 3-year option compares the metrics against other articles/reviews that were also published in the same calendar year plus the two years prior.
Example: if you select the 1-year option for an article published in 2019 and a metric category shows 90%, that means that the article or review is performing better than 90% of the other articles/reviews published in that journal in 2019. If you select the 3-year option for the same article published in 2019 and the metric category shows 90%, that means that the article or review is performing better than 90% of the other articles/reviews published in that journal in 2019, 2018 and 2017.
Citation Benchmarking is provided by Scopus and SciVal and is different from the metrics context provided by PlumX Metrics.
Example: if you select the 1-year option for an article published in 2019 and a metric category shows 90%, that means that the article or review is performing better than 90% of the other articles/reviews published in that journal in 2019. If you select the 3-year option for the same article published in 2019 and the metric category shows 90%, that means that the article or review is performing better than 90% of the other articles/reviews published in that journal in 2019, 2018 and 2017.
Citation Benchmarking is provided by Scopus and SciVal and is different from the metrics context provided by PlumX Metrics.
Article Description
Formal semantics provide precise specifications of the expected behavior of organizational model based on multi-agent system, allowing users to understand them and also modelers to reason about them and to prove their correctness. A first step was described to provide a formal specification framework among organization-centered multi-agent system by using an existing rewriting logic language called Maude to translate organizational models, which allows addressing these issues. Such formalization provides additional benefits, such as enabling the simulation of the specifications or giving access to the Maude toolkit to reason about them. In this paper, Maude was used to formally describe Agent-Group-Role-based-organization specifications. The proposed framework could, in fact, be used as is or with some extensions to describe other agent organization models. Actually, the results of precedent works [31,32] were synthesized with additional extensions related to the formal description of the Agent-Group-Role model. This approach is illustrated using the supply chain management (SCM) case study.
Bibliographic Details
http://www.scopus.com/inward/record.url?partnerID=HzOxMe3b&scp=85039455898&origin=inward; http://dx.doi.org/10.3233/mgs-170277; http://www.medra.org/servlet/aliasResolver?alias=iospress&doi=10.3233/MGS-170277; https://journals.sagepub.com/doi/10.3233/MGS-170277; https://dx.doi.org/10.3233/mgs-170277; https://content.iospress.com:443/articles/multiagent-and-grid-systems/mgs277
IOS Press
Provide Feedback
Have ideas for a new metric? Would you like to see something else here?Let us know