FRINK Linked Data Fragments server

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

• W2310466765 endingPage "867" @default.
• W2310466765 startingPage "854" @default.
• W2310466765 abstract "Semantic business processes require new analysis techniques able to deal with behavioral properties that also consider semantic aspects. In this paper, a model checking method is introduced including semantic aspects in both the model description and the formula to be verified. In addition, Unary resource description framework (RDF) annotated Petri net systems, a formalism that allows the semantic description of business processes using RDF annotations, is formally defined and used to represent the input model of the model checker. Finally, the prototype implementations of both the Unary RDF annotated Petri net formalism and a model checker framework based on the use of RDF and SPARQL tools are also presented." @default.
• W2310466765 created "2016-06-24" @default.
• W2310466765 creator A5004430599 @default.
• W2310466765 creator A5039201206 @default.
• W2310466765 creator A5076336179 @default.
• W2310466765 creator A5082028210 @default.
• W2310466765 date "2012-07-01" @default.
• W2310466765 modified "2023-10-03" @default.
• W2310466765 title "Model Checking Analysis of Semantically Annotated Business Processes" @default.
• W2310466765 cites W1535784710 @default.
• W2310466765 cites W1590315663 @default.
• W2310466765 cites W1824356224 @default.
• W2310466765 cites W1989082972 @default.
• W2310466765 cites W1996109622 @default.
• W2310466765 cites W2023808162 @default.
• W2310466765 cites W2028980140 @default.
• W2310466765 cites W2078359473 @default.
• W2310466765 cites W2094997973 @default.
• W2310466765 cites W2101617936 @default.
• W2310466765 cites W2107178216 @default.
• W2310466765 cites W2130310612 @default.
• W2310466765 cites W2130410878 @default.
• W2310466765 cites W2134531091 @default.
• W2310466765 cites W2146301870 @default.
• W2310466765 cites W2163549752 @default.
• W2310466765 cites W2304000253 @default.
• W2310466765 cites W4205766889 @default.
• W2310466765 doi "https://doi.org/10.1109/tsmca.2012.2183357" @default.
• W2310466765 hasPublicationYear "2012" @default.
• W2310466765 type Work @default.
• W2310466765 sameAs 2310466765 @default.
• W2310466765 citedByCount "12" @default.
• W2310466765 countsByYear W23104667652012 @default.
• W2310466765 countsByYear W23104667652013 @default.
• W2310466765 countsByYear W23104667652014 @default.
• W2310466765 countsByYear W23104667652015 @default.
• W2310466765 countsByYear W23104667652016 @default.
• W2310466765 countsByYear W23104667652017 @default.
• W2310466765 countsByYear W23104667652018 @default.
• W2310466765 crossrefType "journal-article" @default.
• W2310466765 hasAuthorship W2310466765A5004430599 @default.
• W2310466765 hasAuthorship W2310466765A5039201206 @default.
• W2310466765 hasAuthorship W2310466765A5076336179 @default.
• W2310466765 hasAuthorship W2310466765A5082028210 @default.
• W2310466765 hasConcept C110251889 @default.
• W2310466765 hasConcept C114614502 @default.
• W2310466765 hasConcept C142362112 @default.
• W2310466765 hasConcept C147497476 @default.
• W2310466765 hasConcept C153349607 @default.
• W2310466765 hasConcept C154945302 @default.
• W2310466765 hasConcept C15657843 @default.
• W2310466765 hasConcept C199360897 @default.
• W2310466765 hasConcept C204321447 @default.
• W2310466765 hasConcept C2129575 @default.
• W2310466765 hasConcept C26713055 @default.
• W2310466765 hasConcept C33923547 @default.
• W2310466765 hasConcept C38677869 @default.
• W2310466765 hasConcept C41008148 @default.
• W2310466765 hasConcept C41009113 @default.
• W2310466765 hasConcept C558565934 @default.
• W2310466765 hasConcept C73301696 @default.
• W2310466765 hasConcept C78023250 @default.
• W2310466765 hasConcept C80444323 @default.
• W2310466765 hasConceptScore W2310466765C110251889 @default.
• W2310466765 hasConceptScore W2310466765C114614502 @default.
• W2310466765 hasConceptScore W2310466765C142362112 @default.
• W2310466765 hasConceptScore W2310466765C147497476 @default.
• W2310466765 hasConceptScore W2310466765C153349607 @default.
• W2310466765 hasConceptScore W2310466765C154945302 @default.
• W2310466765 hasConceptScore W2310466765C15657843 @default.
• W2310466765 hasConceptScore W2310466765C199360897 @default.
• W2310466765 hasConceptScore W2310466765C204321447 @default.
• W2310466765 hasConceptScore W2310466765C2129575 @default.
• W2310466765 hasConceptScore W2310466765C26713055 @default.
• W2310466765 hasConceptScore W2310466765C33923547 @default.
• W2310466765 hasConceptScore W2310466765C38677869 @default.
• W2310466765 hasConceptScore W2310466765C41008148 @default.
• W2310466765 hasConceptScore W2310466765C41009113 @default.
• W2310466765 hasConceptScore W2310466765C558565934 @default.
• W2310466765 hasConceptScore W2310466765C73301696 @default.
• W2310466765 hasConceptScore W2310466765C78023250 @default.
• W2310466765 hasConceptScore W2310466765C80444323 @default.
• W2310466765 hasIssue "4" @default.
• W2310466765 hasLocation W23104667651 @default.
• W2310466765 hasOpenAccess W2310466765 @default.
• W2310466765 hasPrimaryLocation W23104667651 @default.
• W2310466765 hasRelatedWork W1532834088 @default.
• W2310466765 hasRelatedWork W197920615 @default.
• W2310466765 hasRelatedWork W1982113307 @default.
• W2310466765 hasRelatedWork W1991234668 @default.
• W2310466765 hasRelatedWork W2079781157 @default.
• W2310466765 hasRelatedWork W2205065274 @default.
• W2310466765 hasRelatedWork W2394867752 @default.
• W2310466765 hasRelatedWork W3001200504 @default.
• W2310466765 hasRelatedWork W43613300 @default.
• W2310466765 hasRelatedWork W1663762601 @default.
• W2310466765 hasVolume "42" @default.
• W2310466765 isParatext "false" @default.

• next