FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2236632968> ?p ?o ?g. }

• W2236632968 endingPage "271" @default.
• W2236632968 startingPage "245" @default.
• W2236632968 abstract "Contract Net Protocol (CNP) is probably the most widely used task allocation protocol in distributed multi-agent systems (MAS). To cope with real-world applications, this protocol must be expanded by addressing some major challenging issues in the current distributed systems. Temporal interaction a spects and reliability issues of such systems, critical to guaranteeing performance, are the focus of this paper. Many researchers have proposed various methods to expand and to improve CNP but those challenges have not been much addressed in a formal way. To cope with these limitations, this paper proposes a Petri net-based model that extends the conventional contract net with real time constraints, often defined as interaction duration and message deadlines, and fault tolerance to handle the agent death exception. Our aim is, hence, to devise an extended CNP that achieves the reliability of the manager agent in the case of contractor crash failure while operating in an open and large scale multi-agent system under time constraints. To address the challenge problem of crash failure detection of the contractor in CNP, we propose to formally model the watchdog/heartbeat mechanism into the communication between the manager and the contractor. Using such mechanism, the manager can detect the crash failure on time and may hence trigger an appropriate recovery procedure to move the system into a safe and a consistent state. The proposed extended CNP model is developed using stochastic timed colored Petri nets which include systematic specification, design and implementation of components of the system. Various useful results will be drawn by simulation as well as state space analysis. This formal analysis shows that the protocol terminates correctly either in a safety case or in a failure situation. It also proves that the protocol meets the key properties namely model correctness, deadline respect, absence of deadlocks and livelocks, absence of dead code, agent terminal states consistency, concurrency, and validity." @default.
• W2236632968 created "2016-06-24" @default.
• W2236632968 creator A5009342774 @default.
• W2236632968 creator A5070920762 @default.
• W2236632968 creator A5076152895 @default.
• W2236632968 date "2016-08-04" @default.
• W2236632968 modified "2023-10-16" @default.
• W2236632968 title "Stochastic Petri net-based modeling and formal analysis of fault tolerant Contract Net Protocol" @default.
• W2236632968 cites W104622225 @default.
• W2236632968 cites W1493095552 @default.
• W2236632968 cites W1528899991 @default.
• W2236632968 cites W1574570499 @default.
• W2236632968 cites W1968219310 @default.
• W2236632968 cites W1995633726 @default.
• W2236632968 cites W2012693351 @default.
• W2236632968 cites W2014873685 @default.
• W2236632968 cites W2036595691 @default.
• W2236632968 cites W2077855043 @default.
• W2236632968 cites W2098678777 @default.
• W2236632968 cites W2119250154 @default.
• W2236632968 cites W2126325350 @default.
• W2236632968 cites W2133943294 @default.
• W2236632968 cites W2150796520 @default.
• W2236632968 cites W2151408086 @default.
• W2236632968 cites W2214049358 @default.
• W2236632968 cites W4249484115 @default.
• W2236632968 doi "https://doi.org/10.3233/web-160342" @default.
• W2236632968 hasPublicationYear "2016" @default.
• W2236632968 type Work @default.
• W2236632968 sameAs 2236632968 @default.
• W2236632968 citedByCount "2" @default.
• W2236632968 countsByYear W22366329682020 @default.
• W2236632968 countsByYear W22366329682022 @default.
• W2236632968 crossrefType "journal-article" @default.
• W2236632968 hasAuthorship W2236632968A5009342774 @default.
• W2236632968 hasAuthorship W2236632968A5070920762 @default.
• W2236632968 hasAuthorship W2236632968A5076152895 @default.
• W2236632968 hasConcept C107094494 @default.
• W2236632968 hasConcept C120314980 @default.
• W2236632968 hasConcept C121332964 @default.
• W2236632968 hasConcept C127413603 @default.
• W2236632968 hasConcept C142724271 @default.
• W2236632968 hasConcept C154945302 @default.
• W2236632968 hasConcept C163258240 @default.
• W2236632968 hasConcept C183469790 @default.
• W2236632968 hasConcept C183756365 @default.
• W2236632968 hasConcept C197551870 @default.
• W2236632968 hasConcept C199360897 @default.
• W2236632968 hasConcept C200601418 @default.
• W2236632968 hasConcept C204787440 @default.
• W2236632968 hasConcept C2780385302 @default.
• W2236632968 hasConcept C38677869 @default.
• W2236632968 hasConcept C41008148 @default.
• W2236632968 hasConcept C41550386 @default.
• W2236632968 hasConcept C43214815 @default.
• W2236632968 hasConcept C62520636 @default.
• W2236632968 hasConcept C63540848 @default.
• W2236632968 hasConcept C71924100 @default.
• W2236632968 hasConceptScore W2236632968C107094494 @default.
• W2236632968 hasConceptScore W2236632968C120314980 @default.
• W2236632968 hasConceptScore W2236632968C121332964 @default.
• W2236632968 hasConceptScore W2236632968C127413603 @default.
• W2236632968 hasConceptScore W2236632968C142724271 @default.
• W2236632968 hasConceptScore W2236632968C154945302 @default.
• W2236632968 hasConceptScore W2236632968C163258240 @default.
• W2236632968 hasConceptScore W2236632968C183469790 @default.
• W2236632968 hasConceptScore W2236632968C183756365 @default.
• W2236632968 hasConceptScore W2236632968C197551870 @default.
• W2236632968 hasConceptScore W2236632968C199360897 @default.
• W2236632968 hasConceptScore W2236632968C200601418 @default.
• W2236632968 hasConceptScore W2236632968C204787440 @default.
• W2236632968 hasConceptScore W2236632968C2780385302 @default.
• W2236632968 hasConceptScore W2236632968C38677869 @default.
• W2236632968 hasConceptScore W2236632968C41008148 @default.
• W2236632968 hasConceptScore W2236632968C41550386 @default.
• W2236632968 hasConceptScore W2236632968C43214815 @default.
• W2236632968 hasConceptScore W2236632968C62520636 @default.
• W2236632968 hasConceptScore W2236632968C63540848 @default.
• W2236632968 hasConceptScore W2236632968C71924100 @default.
• W2236632968 hasIssue "3" @default.
• W2236632968 hasLocation W22366329681 @default.
• W2236632968 hasLocation W22366329682 @default.
• W2236632968 hasOpenAccess W2236632968 @default.
• W2236632968 hasPrimaryLocation W22366329681 @default.
• W2236632968 hasRelatedWork W2005272221 @default.
• W2236632968 hasRelatedWork W2020274357 @default.
• W2236632968 hasRelatedWork W2031079348 @default.
• W2236632968 hasRelatedWork W2064946650 @default.
• W2236632968 hasRelatedWork W2086886860 @default.
• W2236632968 hasRelatedWork W2134070796 @default.
• W2236632968 hasRelatedWork W2168615635 @default.
• W2236632968 hasRelatedWork W2384343429 @default.
• W2236632968 hasRelatedWork W2536335420 @default.
• W2236632968 hasRelatedWork W4238236140 @default.
• W2236632968 hasVolume "14" @default.
• W2236632968 isParatext "false" @default.
• W2236632968 isRetracted "false" @default.
• W2236632968 magId "2236632968" @default.

• next