Matches in SemOpenAlex for { <https://semopenalex.org/work/W2894326483> ?p ?o ?g. }
Showing items 1 to 66 of
66
with 100 items per page.
- W2894326483 endingPage "128" @default.
- W2894326483 startingPage "107" @default.
- W2894326483 abstract "The verification and analysis of distributed systems is a task of utmost importance, especially in today’s world where many critical services are completely supported by different computer systems. Among the solutions for system modelling and verification, it is particularly useful to combine the usage of different analysis techniques. This also allows the application of the best formalism or technique to different components of a system. The combination of Colored Petri Nets (CPNs) and Automata Theory has proved to be a successful formal technique in the modelling and verification of different distributed systems. In this context, this paper presents Prosega/CPN ( Protocol Sequence Generator and Analyzer ), an extension of CPN Tools for supporting automata-based analysis and verification. The tool implements several operations such as the generation of a minimized deterministic finite-state automaton (FSA) from a CPN’s occurrence graph, language generation, and FSA comparison. The solution is supported by the Simulator Extensions feature whose development has been driven by the need of integrating CPN with other formal methods. Prosega/CPN is intended to support a formal verification methodology of communication protocols; however, it may be used in the verification of other systems whose analysis involves the comparison of models at different levels of abstraction. For example, business strategy and business processes. An insightful use case is provided where Prosega/CPN has been used to analyze part of the IEEE 802.16 MAC connection management service specification." @default.
- W2894326483 created "2018-10-05" @default.
- W2894326483 creator A5019454326 @default.
- W2894326483 creator A5070718908 @default.
- W2894326483 creator A5085763830 @default.
- W2894326483 date "2018-01-01" @default.
- W2894326483 modified "2023-10-14" @default.
- W2894326483 title "Prosega/CPN: An extension of CPN Tools for Automata-based Analysis and System Verification" @default.
- W2894326483 doi "https://doi.org/10.15514/ispras-2018-30(4)-7" @default.
- W2894326483 hasPublicationYear "2018" @default.
- W2894326483 type Work @default.
- W2894326483 sameAs 2894326483 @default.
- W2894326483 citedByCount "3" @default.
- W2894326483 countsByYear W28943264832020 @default.
- W2894326483 countsByYear W28943264832022 @default.
- W2894326483 countsByYear W28943264832023 @default.
- W2894326483 crossrefType "journal-article" @default.
- W2894326483 hasAuthorship W2894326483A5019454326 @default.
- W2894326483 hasAuthorship W2894326483A5070718908 @default.
- W2894326483 hasAuthorship W2894326483A5085763830 @default.
- W2894326483 hasBestOaLocation W28943264831 @default.
- W2894326483 hasConcept C110251889 @default.
- W2894326483 hasConcept C111498074 @default.
- W2894326483 hasConcept C112505250 @default.
- W2894326483 hasConcept C115903868 @default.
- W2894326483 hasConcept C116253237 @default.
- W2894326483 hasConcept C120314980 @default.
- W2894326483 hasConcept C167822520 @default.
- W2894326483 hasConcept C199360897 @default.
- W2894326483 hasConcept C38677869 @default.
- W2894326483 hasConcept C41008148 @default.
- W2894326483 hasConcept C75606506 @default.
- W2894326483 hasConcept C80444323 @default.
- W2894326483 hasConceptScore W2894326483C110251889 @default.
- W2894326483 hasConceptScore W2894326483C111498074 @default.
- W2894326483 hasConceptScore W2894326483C112505250 @default.
- W2894326483 hasConceptScore W2894326483C115903868 @default.
- W2894326483 hasConceptScore W2894326483C116253237 @default.
- W2894326483 hasConceptScore W2894326483C120314980 @default.
- W2894326483 hasConceptScore W2894326483C167822520 @default.
- W2894326483 hasConceptScore W2894326483C199360897 @default.
- W2894326483 hasConceptScore W2894326483C38677869 @default.
- W2894326483 hasConceptScore W2894326483C41008148 @default.
- W2894326483 hasConceptScore W2894326483C75606506 @default.
- W2894326483 hasConceptScore W2894326483C80444323 @default.
- W2894326483 hasIssue "4" @default.
- W2894326483 hasLocation W28943264831 @default.
- W2894326483 hasOpenAccess W2894326483 @default.
- W2894326483 hasPrimaryLocation W28943264831 @default.
- W2894326483 hasRelatedWork W1524361563 @default.
- W2894326483 hasRelatedWork W1577220836 @default.
- W2894326483 hasRelatedWork W1638774901 @default.
- W2894326483 hasRelatedWork W2073200103 @default.
- W2894326483 hasRelatedWork W2139141627 @default.
- W2894326483 hasRelatedWork W2416235366 @default.
- W2894326483 hasRelatedWork W2894326483 @default.
- W2894326483 hasRelatedWork W2899469726 @default.
- W2894326483 hasRelatedWork W2990400888 @default.
- W2894326483 hasRelatedWork W1944285292 @default.
- W2894326483 hasVolume "30" @default.
- W2894326483 isParatext "false" @default.
- W2894326483 isRetracted "false" @default.
- W2894326483 magId "2894326483" @default.
- W2894326483 workType "article" @default.