Matches in SemOpenAlex for { <https://semopenalex.org/work/W2413103864> ?p ?o ?g. }
Showing items 1 to 74 of
74
with 100 items per page.
- W2413103864 endingPage "124" @default.
- W2413103864 startingPage "105" @default.
- W2413103864 abstract "Multi-Agent Systems (MAS) can be subject to changes reflecting the continuous emergence of new requirements. Thus, diversity of the basics on one hand, and the complexity of the concepts related to agents on the other hand, make it difficult to conceive and develop a reconfigurable multi-agent system architecture. In this paper, we relay on formal methods to manage the complexity of these aspects and reason on the design of MAS architectures. Precisely, we propose a formal modelling approach based on Bigraphs (BRS) for the specification of multi-agent system architectures and their reconfiguration. BRS present a promising and effective solution for the development of high quality and safe MAS at reasonable cost and time span. In addition, they enable the verification of MAS relevant properties using a bigraphical model checking tool named BigMC." @default.
- W2413103864 created "2016-06-24" @default.
- W2413103864 creator A5028283340 @default.
- W2413103864 creator A5043302227 @default.
- W2413103864 creator A5084624062 @default.
- W2413103864 date "2016-05-26" @default.
- W2413103864 modified "2023-09-25" @default.
- W2413103864 title "Specification and verification of reconfigurable multi-agent system architectures" @default.
- W2413103864 cites W1536565715 @default.
- W2413103864 cites W1691676988 @default.
- W2413103864 cites W1886607249 @default.
- W2413103864 cites W1992852216 @default.
- W2413103864 cites W2024944096 @default.
- W2413103864 cites W2026751635 @default.
- W2413103864 cites W2027521310 @default.
- W2413103864 cites W2029831238 @default.
- W2413103864 cites W2049318064 @default.
- W2413103864 cites W2089014520 @default.
- W2413103864 cites W2106465916 @default.
- W2413103864 cites W2120076632 @default.
- W2413103864 cites W2129899354 @default.
- W2413103864 cites W2130891285 @default.
- W2413103864 cites W2138303333 @default.
- W2413103864 cites W2144010450 @default.
- W2413103864 cites W2151408086 @default.
- W2413103864 cites W2158422857 @default.
- W2413103864 cites W2160851181 @default.
- W2413103864 cites W2336741951 @default.
- W2413103864 doi "https://doi.org/10.3233/mgs-160246" @default.
- W2413103864 hasPublicationYear "2016" @default.
- W2413103864 type Work @default.
- W2413103864 sameAs 2413103864 @default.
- W2413103864 citedByCount "4" @default.
- W2413103864 countsByYear W24131038642017 @default.
- W2413103864 countsByYear W24131038642018 @default.
- W2413103864 countsByYear W24131038642019 @default.
- W2413103864 countsByYear W24131038642022 @default.
- W2413103864 crossrefType "journal-article" @default.
- W2413103864 hasAuthorship W2413103864A5028283340 @default.
- W2413103864 hasAuthorship W2413103864A5043302227 @default.
- W2413103864 hasAuthorship W2413103864A5084624062 @default.
- W2413103864 hasConcept C115903868 @default.
- W2413103864 hasConcept C118524514 @default.
- W2413103864 hasConcept C149635348 @default.
- W2413103864 hasConcept C154945302 @default.
- W2413103864 hasConcept C41008148 @default.
- W2413103864 hasConcept C41550386 @default.
- W2413103864 hasConceptScore W2413103864C115903868 @default.
- W2413103864 hasConceptScore W2413103864C118524514 @default.
- W2413103864 hasConceptScore W2413103864C149635348 @default.
- W2413103864 hasConceptScore W2413103864C154945302 @default.
- W2413103864 hasConceptScore W2413103864C41008148 @default.
- W2413103864 hasConceptScore W2413103864C41550386 @default.
- W2413103864 hasIssue "2" @default.
- W2413103864 hasLocation W24131038641 @default.
- W2413103864 hasOpenAccess W2413103864 @default.
- W2413103864 hasPrimaryLocation W24131038641 @default.
- W2413103864 hasRelatedWork W1547612600 @default.
- W2413103864 hasRelatedWork W2002703587 @default.
- W2413103864 hasRelatedWork W2022510519 @default.
- W2413103864 hasRelatedWork W2050432237 @default.
- W2413103864 hasRelatedWork W2059612624 @default.
- W2413103864 hasRelatedWork W2374512474 @default.
- W2413103864 hasRelatedWork W2381693813 @default.
- W2413103864 hasRelatedWork W3003815297 @default.
- W2413103864 hasRelatedWork W3085769648 @default.
- W2413103864 hasRelatedWork W4248910437 @default.
- W2413103864 hasVolume "12" @default.
- W2413103864 isParatext "false" @default.
- W2413103864 isRetracted "false" @default.
- W2413103864 magId "2413103864" @default.
- W2413103864 workType "article" @default.