Matches in SemOpenAlex for { <https://semopenalex.org/work/W2399456587> ?p ?o ?g. }
Showing items 1 to 90 of
90
with 100 items per page.
- W2399456587 endingPage "135" @default.
- W2399456587 startingPage "124" @default.
- W2399456587 abstract "The Paose approach to software engineering combines Petri nets with the paradigm of agent-orientation and utilises the agent metaphor to structure large software systems and their development. Up until now the Paose approach only exhibited aspects of verification in a rudimentary way. This is due to the complexity of the systems to be verified on the one hand, and the expressiveness of the employed Petri net formalism of reference nets on the other hand. This contribution deals with enhancing the tool support for Paose in this regard. We present how we technically integrate the functionality of LoLA, a sophisticated verification tool, into Renew, the development and runtime environment that backs Paose. Furthermore we sketch how structural aspects of multi-agent systems developed with the agent framework of Mulan can be exploited for verification. The results of the integration are applied in the context of distributed network security for the Herold research project." @default.
- W2399456587 created "2016-06-24" @default.
- W2399456587 creator A5025296036 @default.
- W2399456587 creator A5070523267 @default.
- W2399456587 creator A5086037284 @default.
- W2399456587 date "2011-01-01" @default.
- W2399456587 modified "2023-09-23" @default.
- W2399456587 title "Integrating Verification into the PAOSE Approach." @default.
- W2399456587 cites W1509607930 @default.
- W2399456587 cites W1515425532 @default.
- W2399456587 cites W1528826891 @default.
- W2399456587 cites W1556194431 @default.
- W2399456587 cites W1598754349 @default.
- W2399456587 cites W1634168340 @default.
- W2399456587 cites W1965895195 @default.
- W2399456587 cites W2102639604 @default.
- W2399456587 cites W2157014178 @default.
- W2399456587 cites W2162868766 @default.
- W2399456587 cites W2293300596 @default.
- W2399456587 cites W2598981301 @default.
- W2399456587 cites W2952423 @default.
- W2399456587 cites W3021908873 @default.
- W2399456587 cites W53833363 @default.
- W2399456587 cites W4194231 @default.
- W2399456587 hasPublicationYear "2011" @default.
- W2399456587 type Work @default.
- W2399456587 sameAs 2399456587 @default.
- W2399456587 citedByCount "2" @default.
- W2399456587 countsByYear W23994565872015 @default.
- W2399456587 crossrefType "journal-article" @default.
- W2399456587 hasAuthorship W2399456587A5025296036 @default.
- W2399456587 hasAuthorship W2399456587A5070523267 @default.
- W2399456587 hasAuthorship W2399456587A5086037284 @default.
- W2399456587 hasConcept C11413529 @default.
- W2399456587 hasConcept C115903868 @default.
- W2399456587 hasConcept C120314980 @default.
- W2399456587 hasConcept C127413603 @default.
- W2399456587 hasConcept C142362112 @default.
- W2399456587 hasConcept C153349607 @default.
- W2399456587 hasConcept C199360897 @default.
- W2399456587 hasConcept C201995342 @default.
- W2399456587 hasConcept C2777904410 @default.
- W2399456587 hasConcept C2779231336 @default.
- W2399456587 hasConcept C38677869 @default.
- W2399456587 hasConcept C41008148 @default.
- W2399456587 hasConcept C558565934 @default.
- W2399456587 hasConcept C73301696 @default.
- W2399456587 hasConceptScore W2399456587C11413529 @default.
- W2399456587 hasConceptScore W2399456587C115903868 @default.
- W2399456587 hasConceptScore W2399456587C120314980 @default.
- W2399456587 hasConceptScore W2399456587C127413603 @default.
- W2399456587 hasConceptScore W2399456587C142362112 @default.
- W2399456587 hasConceptScore W2399456587C153349607 @default.
- W2399456587 hasConceptScore W2399456587C199360897 @default.
- W2399456587 hasConceptScore W2399456587C201995342 @default.
- W2399456587 hasConceptScore W2399456587C2777904410 @default.
- W2399456587 hasConceptScore W2399456587C2779231336 @default.
- W2399456587 hasConceptScore W2399456587C38677869 @default.
- W2399456587 hasConceptScore W2399456587C41008148 @default.
- W2399456587 hasConceptScore W2399456587C558565934 @default.
- W2399456587 hasConceptScore W2399456587C73301696 @default.
- W2399456587 hasLocation W23994565871 @default.
- W2399456587 hasOpenAccess W2399456587 @default.
- W2399456587 hasPrimaryLocation W23994565871 @default.
- W2399456587 hasRelatedWork W1484319789 @default.
- W2399456587 hasRelatedWork W1988393051 @default.
- W2399456587 hasRelatedWork W2004865374 @default.
- W2399456587 hasRelatedWork W2021055202 @default.
- W2399456587 hasRelatedWork W2051513017 @default.
- W2399456587 hasRelatedWork W2139686346 @default.
- W2399456587 hasRelatedWork W2148972335 @default.
- W2399456587 hasRelatedWork W2154214185 @default.
- W2399456587 hasRelatedWork W2156221858 @default.
- W2399456587 hasRelatedWork W2156325839 @default.
- W2399456587 hasRelatedWork W2157766160 @default.
- W2399456587 hasRelatedWork W2161290941 @default.
- W2399456587 hasRelatedWork W2163823264 @default.
- W2399456587 hasRelatedWork W2168170619 @default.
- W2399456587 hasRelatedWork W2259978052 @default.
- W2399456587 hasRelatedWork W2527519668 @default.
- W2399456587 hasRelatedWork W3089319012 @default.
- W2399456587 hasRelatedWork W3091779499 @default.
- W2399456587 hasRelatedWork W3134755432 @default.
- W2399456587 hasRelatedWork W589505659 @default.
- W2399456587 isParatext "false" @default.
- W2399456587 isRetracted "false" @default.
- W2399456587 magId "2399456587" @default.
- W2399456587 workType "article" @default.