FRINK Linked Data Fragments server

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

• W2598981301 abstract "The question of modelling and verification of agent-oriented systems is our research area. In multi agent systems the interplay of three parts of the system - called Delta-pattern - is central: first, local elements (e.g. agents), second, global elements (e.g. the multi agent system), and, third, the composition structure (e.g. the mobility structure in the agent system). The dynamic nature of agent systems makes composition a concept on its own rather than an implicit aspect of the two other concepts. Multi agent systems are based on three major concepts: mobility, adaptivity, and cooperation, which are structured by the Delta-pattern. In this presentation we focus on agent conversations to present a model, which describes the interplay of local and global parts as well as the dynamic configuration structure of a conversation. This model is based on the multi agent architecture MULAN - designed at our department. It is used to model mobility, adaptivity, and cooperation in a unified way. MULAN is a Petri net based architecture, which is both an implementation of a multi agent platform and also a framework for the modelling of agent applications. Here we deal with the analysis of liveness preserving composition of Petri nets. The two areas of agent-oriented modelling and compositional verification - both in the setting of the Petri net theory - are combined by dealing with a class of models which have a restricted structure: For the special case of communication closed protocols it is shown that liveness of conversations is a structural property. This result is of crucial importance to compose agent protocols at run-time." @default.
• W2598981301 created "2017-04-07" @default.
• W2598981301 creator A5047468992 @default.
• W2598981301 creator A5052996164 @default.
• W2598981301 creator A5078798066 @default.
• W2598981301 date "2002-01-01" @default.
• W2598981301 modified "2023-09-22" @default.
• W2598981301 title "Liveness Preserving Composition of Behaviour Protocols for Petri Net Agents" @default.
• W2598981301 cites W108971667 @default.
• W2598981301 cites W145269091 @default.
• W2598981301 cites W147776281 @default.
• W2598981301 cites W1487158608 @default.
• W2598981301 cites W1503918819 @default.
• W2598981301 cites W1505948575 @default.
• W2598981301 cites W1518570826 @default.
• W2598981301 cites W1521367064 @default.
• W2598981301 cites W1523197392 @default.
• W2598981301 cites W1539133482 @default.
• W2598981301 cites W1541027160 @default.
• W2598981301 cites W1545945432 @default.
• W2598981301 cites W1554183872 @default.
• W2598981301 cites W1566263746 @default.
• W2598981301 cites W1584463625 @default.
• W2598981301 cites W1679534293 @default.
• W2598981301 cites W1759712729 @default.
• W2598981301 cites W1972509146 @default.
• W2598981301 cites W1984831616 @default.
• W2598981301 cites W2013672985 @default.
• W2598981301 cites W2038952689 @default.
• W2598981301 cites W2042981544 @default.
• W2598981301 cites W2098467036 @default.
• W2598981301 cites W2113355185 @default.
• W2598981301 cites W2124998916 @default.
• W2598981301 cites W2146105886 @default.
• W2598981301 cites W2155272711 @default.
• W2598981301 cites W2156279662 @default.
• W2598981301 cites W2161825580 @default.
• W2598981301 cites W2284318632 @default.
• W2598981301 cites W2615688110 @default.
• W2598981301 cites W3146075203 @default.
• W2598981301 cites W80370608 @default.
• W2598981301 cites W163633468 @default.
• W2598981301 cites W16858848 @default.
• W2598981301 hasPublicationYear "2002" @default.
• W2598981301 type Work @default.
• W2598981301 sameAs 2598981301 @default.
• W2598981301 citedByCount "1" @default.
• W2598981301 crossrefType "journal-article" @default.
• W2598981301 hasAuthorship W2598981301A5047468992 @default.
• W2598981301 hasAuthorship W2598981301A5052996164 @default.
• W2598981301 hasAuthorship W2598981301A5078798066 @default.
• W2598981301 hasConcept C111472728 @default.
• W2598981301 hasConcept C120314980 @default.
• W2598981301 hasConcept C120665830 @default.
• W2598981301 hasConcept C121332964 @default.
• W2598981301 hasConcept C123657996 @default.
• W2598981301 hasConcept C138885662 @default.
• W2598981301 hasConcept C142362112 @default.
• W2598981301 hasConcept C151319957 @default.
• W2598981301 hasConcept C153349607 @default.
• W2598981301 hasConcept C154945302 @default.
• W2598981301 hasConcept C15569618 @default.
• W2598981301 hasConcept C189950617 @default.
• W2598981301 hasConcept C192209626 @default.
• W2598981301 hasConcept C2777212361 @default.
• W2598981301 hasConcept C31258907 @default.
• W2598981301 hasConcept C38677869 @default.
• W2598981301 hasConcept C40231798 @default.
• W2598981301 hasConcept C41008148 @default.
• W2598981301 hasConcept C41550386 @default.
• W2598981301 hasConcept C41895202 @default.
• W2598981301 hasConcept C80444323 @default.
• W2598981301 hasConceptScore W2598981301C111472728 @default.
• W2598981301 hasConceptScore W2598981301C120314980 @default.
• W2598981301 hasConceptScore W2598981301C120665830 @default.
• W2598981301 hasConceptScore W2598981301C121332964 @default.
• W2598981301 hasConceptScore W2598981301C123657996 @default.
• W2598981301 hasConceptScore W2598981301C138885662 @default.
• W2598981301 hasConceptScore W2598981301C142362112 @default.
• W2598981301 hasConceptScore W2598981301C151319957 @default.
• W2598981301 hasConceptScore W2598981301C153349607 @default.
• W2598981301 hasConceptScore W2598981301C154945302 @default.
• W2598981301 hasConceptScore W2598981301C15569618 @default.
• W2598981301 hasConceptScore W2598981301C189950617 @default.
• W2598981301 hasConceptScore W2598981301C192209626 @default.
• W2598981301 hasConceptScore W2598981301C2777212361 @default.
• W2598981301 hasConceptScore W2598981301C31258907 @default.
• W2598981301 hasConceptScore W2598981301C38677869 @default.
• W2598981301 hasConceptScore W2598981301C40231798 @default.
• W2598981301 hasConceptScore W2598981301C41008148 @default.
• W2598981301 hasConceptScore W2598981301C41550386 @default.
• W2598981301 hasConceptScore W2598981301C41895202 @default.
• W2598981301 hasConceptScore W2598981301C80444323 @default.
• W2598981301 hasLocation W25989813011 @default.
• W2598981301 hasOpenAccess W2598981301 @default.
• W2598981301 hasPrimaryLocation W25989813011 @default.
• W2598981301 hasRelatedWork W129727070 @default.
• W2598981301 hasRelatedWork W1493095552 @default.
• W2598981301 hasRelatedWork W1502195842 @default.
• W2598981301 hasRelatedWork W1551938402 @default.

• next