FRINK Linked Data Fragments server

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

• W2059584710 endingPage "16" @default.
• W2059584710 startingPage "1" @default.
• W2059584710 abstract "We present a rigorous framework for the composition of Web Services within a higher order logic theorem prover. Our approach is based on the proofs-as-processes paradigm that enables inference rules of Classical Linear Logic (CLL) to be translated into pi-calculus processes. In this setting, composition is achieved by representing available web services as CLL sentences, proving the requested composite service as a conjecture, and then extracting the constructed pi-calculus term from the proof. Our framework, implemented in HOL Light, not only uses an expressive logic that allows us to incorporate multiple Web Services properties in the composition process, but also provides guarantees of soundness and correctness for the composition." @default.
• W2059584710 created "2016-06-24" @default.
• W2059584710 creator A5021449071 @default.
• W2059584710 creator A5026577518 @default.
• W2059584710 date "2011-08-10" @default.
• W2059584710 modified "2023-10-16" @default.
• W2059584710 title "A theorem proving framework for the formal verification of Web Services Composition" @default.
• W2059584710 cites W147093031 @default.
• W2059584710 cites W1497011154 @default.
• W2059584710 cites W1664582451 @default.
• W2059584710 cites W185032413 @default.
• W2059584710 cites W1955679363 @default.
• W2059584710 cites W1996109622 @default.
• W2059584710 cites W2001440509 @default.
• W2059584710 cites W2004063149 @default.
• W2059584710 cites W2010649834 @default.
• W2059584710 cites W2021289373 @default.
• W2059584710 cites W2027689693 @default.
• W2059584710 cites W2103103259 @default.
• W2059584710 doi "https://doi.org/10.4204/eptcs.61.1" @default.
• W2059584710 hasPublicationYear "2011" @default.
• W2059584710 type Work @default.
• W2059584710 sameAs 2059584710 @default.
• W2059584710 citedByCount "8" @default.
• W2059584710 countsByYear W20595847102012 @default.
• W2059584710 countsByYear W20595847102013 @default.
• W2059584710 countsByYear W20595847102016 @default.
• W2059584710 countsByYear W20595847102018 @default.
• W2059584710 crossrefType "journal-article" @default.
• W2059584710 hasAuthorship W2059584710A5021449071 @default.
• W2059584710 hasAuthorship W2059584710A5026577518 @default.
• W2059584710 hasBestOaLocation W20595847101 @default.
• W2059584710 hasConcept C108710211 @default.
• W2059584710 hasConcept C110251889 @default.
• W2059584710 hasConcept C111498074 @default.
• W2059584710 hasConcept C138885662 @default.
• W2059584710 hasConcept C159718280 @default.
• W2059584710 hasConcept C17435882 @default.
• W2059584710 hasConcept C199343813 @default.
• W2059584710 hasConcept C199360897 @default.
• W2059584710 hasConcept C203265346 @default.
• W2059584710 hasConcept C206880738 @default.
• W2059584710 hasConcept C2524010 @default.
• W2059584710 hasConcept C2777686260 @default.
• W2059584710 hasConcept C33923547 @default.
• W2059584710 hasConcept C35578498 @default.
• W2059584710 hasConcept C39920170 @default.
• W2059584710 hasConcept C40231798 @default.
• W2059584710 hasConcept C41008148 @default.
• W2059584710 hasConcept C41895202 @default.
• W2059584710 hasConcept C55439883 @default.
• W2059584710 hasConcept C62073222 @default.
• W2059584710 hasConcept C6489637 @default.
• W2059584710 hasConcept C71924100 @default.
• W2059584710 hasConcept C80444323 @default.
• W2059584710 hasConceptScore W2059584710C108710211 @default.
• W2059584710 hasConceptScore W2059584710C110251889 @default.
• W2059584710 hasConceptScore W2059584710C111498074 @default.
• W2059584710 hasConceptScore W2059584710C138885662 @default.
• W2059584710 hasConceptScore W2059584710C159718280 @default.
• W2059584710 hasConceptScore W2059584710C17435882 @default.
• W2059584710 hasConceptScore W2059584710C199343813 @default.
• W2059584710 hasConceptScore W2059584710C199360897 @default.
• W2059584710 hasConceptScore W2059584710C203265346 @default.
• W2059584710 hasConceptScore W2059584710C206880738 @default.
• W2059584710 hasConceptScore W2059584710C2524010 @default.
• W2059584710 hasConceptScore W2059584710C2777686260 @default.
• W2059584710 hasConceptScore W2059584710C33923547 @default.
• W2059584710 hasConceptScore W2059584710C35578498 @default.
• W2059584710 hasConceptScore W2059584710C39920170 @default.
• W2059584710 hasConceptScore W2059584710C40231798 @default.
• W2059584710 hasConceptScore W2059584710C41008148 @default.
• W2059584710 hasConceptScore W2059584710C41895202 @default.
• W2059584710 hasConceptScore W2059584710C55439883 @default.
• W2059584710 hasConceptScore W2059584710C62073222 @default.
• W2059584710 hasConceptScore W2059584710C6489637 @default.
• W2059584710 hasConceptScore W2059584710C71924100 @default.
• W2059584710 hasConceptScore W2059584710C80444323 @default.
• W2059584710 hasLocation W20595847101 @default.
• W2059584710 hasLocation W20595847102 @default.
• W2059584710 hasLocation W20595847103 @default.
• W2059584710 hasLocation W20595847104 @default.
• W2059584710 hasOpenAccess W2059584710 @default.
• W2059584710 hasPrimaryLocation W20595847101 @default.
• W2059584710 hasRelatedWork W1522873391 @default.
• W2059584710 hasRelatedWork W1866043924 @default.
• W2059584710 hasRelatedWork W2001092196 @default.
• W2059584710 hasRelatedWork W2059584710 @default.
• W2059584710 hasRelatedWork W2128718940 @default.
• W2059584710 hasRelatedWork W2579160749 @default.
• W2059584710 hasRelatedWork W2950845427 @default.
• W2059584710 hasRelatedWork W3125694439 @default.
• W2059584710 hasRelatedWork W4299834033 @default.
• W2059584710 hasRelatedWork W4384268585 @default.
• W2059584710 hasVolume "61" @default.
• W2059584710 isParatext "false" @default.
• W2059584710 isRetracted "false" @default.
• W2059584710 magId "2059584710" @default.

• next