Matches in SemOpenAlex for { <https://semopenalex.org/work/W2016802362> ?p ?o ?g. }
Showing items 1 to 89 of
89
with 100 items per page.
- W2016802362 abstract "Service oriented architecture (SOA) is an emergent paradigm that aims at building applications and components by assembling existing ones. Several works on composition aspects have been proposed by researchers and industrial practitioners. The overall observation about these works is that they only provide means for service composition and invocation; but, they offer little support for analysis, and formal checking of composite Web services. In this work, we exploit rewriting logic as a unique semantic formalism for well describing and checking Web services composition. Thanks to this formalization we lean on the category model to give precise and sufficient semantics to Web service behavior. Besides, this high level specification constitutes an executable one, it allows formal analysis using a particular wellfounded language Maude having a proof and prototyping environment. General Terms Formal Methods, Web Services." @default.
- W2016802362 created "2016-06-24" @default.
- W2016802362 creator A5015524367 @default.
- W2016802362 creator A5035138868 @default.
- W2016802362 date "2010-08-10" @default.
- W2016802362 modified "2023-09-22" @default.
- W2016802362 title "A Semantic Framework for Analyzing Web Services Composition" @default.
- W2016802362 cites W2083091245 @default.
- W2016802362 cites W2097143278 @default.
- W2016802362 cites W2101691918 @default.
- W2016802362 cites W2123986639 @default.
- W2016802362 cites W2164226682 @default.
- W2016802362 cites W60595265 @default.
- W2016802362 cites W91072009 @default.
- W2016802362 doi "https://doi.org/10.5120/902-1278" @default.
- W2016802362 hasPublicationYear "2010" @default.
- W2016802362 type Work @default.
- W2016802362 sameAs 2016802362 @default.
- W2016802362 citedByCount "2" @default.
- W2016802362 countsByYear W20168023622014 @default.
- W2016802362 crossrefType "journal-article" @default.
- W2016802362 hasAuthorship W2016802362A5015524367 @default.
- W2016802362 hasAuthorship W2016802362A5035138868 @default.
- W2016802362 hasBestOaLocation W20168023621 @default.
- W2016802362 hasConcept C110251889 @default.
- W2016802362 hasConcept C115903868 @default.
- W2016802362 hasConcept C136764020 @default.
- W2016802362 hasConcept C142362112 @default.
- W2016802362 hasConcept C153349607 @default.
- W2016802362 hasConcept C154690210 @default.
- W2016802362 hasConcept C160145156 @default.
- W2016802362 hasConcept C165696696 @default.
- W2016802362 hasConcept C184337299 @default.
- W2016802362 hasConcept C199360897 @default.
- W2016802362 hasConcept C2129575 @default.
- W2016802362 hasConcept C35578498 @default.
- W2016802362 hasConcept C38652104 @default.
- W2016802362 hasConcept C41008148 @default.
- W2016802362 hasConcept C4927394 @default.
- W2016802362 hasConcept C558565934 @default.
- W2016802362 hasConcept C57041688 @default.
- W2016802362 hasConcept C73301696 @default.
- W2016802362 hasConcept C75606506 @default.
- W2016802362 hasConceptScore W2016802362C110251889 @default.
- W2016802362 hasConceptScore W2016802362C115903868 @default.
- W2016802362 hasConceptScore W2016802362C136764020 @default.
- W2016802362 hasConceptScore W2016802362C142362112 @default.
- W2016802362 hasConceptScore W2016802362C153349607 @default.
- W2016802362 hasConceptScore W2016802362C154690210 @default.
- W2016802362 hasConceptScore W2016802362C160145156 @default.
- W2016802362 hasConceptScore W2016802362C165696696 @default.
- W2016802362 hasConceptScore W2016802362C184337299 @default.
- W2016802362 hasConceptScore W2016802362C199360897 @default.
- W2016802362 hasConceptScore W2016802362C2129575 @default.
- W2016802362 hasConceptScore W2016802362C35578498 @default.
- W2016802362 hasConceptScore W2016802362C38652104 @default.
- W2016802362 hasConceptScore W2016802362C41008148 @default.
- W2016802362 hasConceptScore W2016802362C4927394 @default.
- W2016802362 hasConceptScore W2016802362C558565934 @default.
- W2016802362 hasConceptScore W2016802362C57041688 @default.
- W2016802362 hasConceptScore W2016802362C73301696 @default.
- W2016802362 hasConceptScore W2016802362C75606506 @default.
- W2016802362 hasLocation W20168023621 @default.
- W2016802362 hasOpenAccess W2016802362 @default.
- W2016802362 hasPrimaryLocation W20168023621 @default.
- W2016802362 hasRelatedWork W108894164 @default.
- W2016802362 hasRelatedWork W147233644 @default.
- W2016802362 hasRelatedWork W1496156985 @default.
- W2016802362 hasRelatedWork W1521399405 @default.
- W2016802362 hasRelatedWork W1532550141 @default.
- W2016802362 hasRelatedWork W1853482669 @default.
- W2016802362 hasRelatedWork W2055042805 @default.
- W2016802362 hasRelatedWork W2060909673 @default.
- W2016802362 hasRelatedWork W2100647606 @default.
- W2016802362 hasRelatedWork W2114392688 @default.
- W2016802362 hasRelatedWork W2144555579 @default.
- W2016802362 hasRelatedWork W2170861255 @default.
- W2016802362 hasRelatedWork W2277401876 @default.
- W2016802362 hasRelatedWork W2374423670 @default.
- W2016802362 hasRelatedWork W2391728948 @default.
- W2016802362 hasRelatedWork W2838987722 @default.
- W2016802362 hasRelatedWork W2913791787 @default.
- W2016802362 hasRelatedWork W2963066923 @default.
- W2016802362 hasRelatedWork W3132489612 @default.
- W2016802362 hasRelatedWork W2181838403 @default.
- W2016802362 isParatext "false" @default.
- W2016802362 isRetracted "false" @default.
- W2016802362 magId "2016802362" @default.
- W2016802362 workType "article" @default.