Matches in SemOpenAlex for { <https://semopenalex.org/work/W2951879250> ?p ?o ?g. }
Showing items 1 to 71 of
71
with 100 items per page.
- W2951879250 abstract "It is now well-admitted that formal methods are helpful for many issues raised in the Web service area. In this paper we present a framework for the design and verification of WSs using process algebras and their tools. We define a two-way mapping between abstract specifications written using these calculi and executable Web services written in BPEL4WS. Several choices are available: design and correct errors in BPEL4WS, using process algebra verification tools, or design and correct in process algebra and automatically obtaining the corresponding BPEL4WS code. The approaches can be combined. Process algebra are not useful only for temporal logic verification: we remark the use of simulation/bisimulation both for verification and for the hierarchical refinement design method. It is worth noting that our approach allows the use of any process algebra depending on the needs of the user at different levels (expressiveness, existence of reasoning tools, user expertise)." @default.
- W2951879250 created "2019-06-27" @default.
- W2951879250 creator A5055387284 @default.
- W2951879250 date "2004-06-28" @default.
- W2951879250 modified "2023-09-27" @default.
- W2951879250 title "Web Services: A Process Algebra Approach" @default.
- W2951879250 cites W1239375374 @default.
- W2951879250 cites W1503973138 @default.
- W2951879250 cites W1566733033 @default.
- W2951879250 cites W1597509159 @default.
- W2951879250 cites W1607137257 @default.
- W2951879250 cites W174471988 @default.
- W2951879250 cites W1962632332 @default.
- W2951879250 cites W2054618740 @default.
- W2951879250 cites W2054931328 @default.
- W2951879250 cites W2058284014 @default.
- W2951879250 cites W2058769589 @default.
- W2951879250 cites W2115517024 @default.
- W2951879250 cites W2123064168 @default.
- W2951879250 cites W2128433357 @default.
- W2951879250 hasPublicationYear "2004" @default.
- W2951879250 type Work @default.
- W2951879250 sameAs 2951879250 @default.
- W2951879250 citedByCount "0" @default.
- W2951879250 crossrefType "posted-content" @default.
- W2951879250 hasAuthorship W2951879250A5055387284 @default.
- W2951879250 hasConcept C115903868 @default.
- W2951879250 hasConcept C135315306 @default.
- W2951879250 hasConcept C160145156 @default.
- W2951879250 hasConcept C161771561 @default.
- W2951879250 hasConcept C199360897 @default.
- W2951879250 hasConcept C35578498 @default.
- W2951879250 hasConcept C41008148 @default.
- W2951879250 hasConcept C80444323 @default.
- W2951879250 hasConcept C98045186 @default.
- W2951879250 hasConceptScore W2951879250C115903868 @default.
- W2951879250 hasConceptScore W2951879250C135315306 @default.
- W2951879250 hasConceptScore W2951879250C160145156 @default.
- W2951879250 hasConceptScore W2951879250C161771561 @default.
- W2951879250 hasConceptScore W2951879250C199360897 @default.
- W2951879250 hasConceptScore W2951879250C35578498 @default.
- W2951879250 hasConceptScore W2951879250C41008148 @default.
- W2951879250 hasConceptScore W2951879250C80444323 @default.
- W2951879250 hasConceptScore W2951879250C98045186 @default.
- W2951879250 hasLocation W29518792501 @default.
- W2951879250 hasOpenAccess W2951879250 @default.
- W2951879250 hasPrimaryLocation W29518792501 @default.
- W2951879250 hasRelatedWork W1523022934 @default.
- W2951879250 hasRelatedWork W1525300667 @default.
- W2951879250 hasRelatedWork W1564966319 @default.
- W2951879250 hasRelatedWork W2011643428 @default.
- W2951879250 hasRelatedWork W2083091245 @default.
- W2951879250 hasRelatedWork W2089148440 @default.
- W2951879250 hasRelatedWork W2118196876 @default.
- W2951879250 hasRelatedWork W2128519963 @default.
- W2951879250 hasRelatedWork W2135317805 @default.
- W2951879250 hasRelatedWork W2140841825 @default.
- W2951879250 hasRelatedWork W2159543898 @default.
- W2951879250 hasRelatedWork W2167427769 @default.
- W2951879250 hasRelatedWork W2248653679 @default.
- W2951879250 hasRelatedWork W2382958101 @default.
- W2951879250 hasRelatedWork W2392739208 @default.
- W2951879250 hasRelatedWork W2398099798 @default.
- W2951879250 hasRelatedWork W2492341776 @default.
- W2951879250 hasRelatedWork W2535835324 @default.
- W2951879250 hasRelatedWork W2604319041 @default.
- W2951879250 hasRelatedWork W2098127690 @default.
- W2951879250 isParatext "false" @default.
- W2951879250 isRetracted "false" @default.
- W2951879250 magId "2951879250" @default.
- W2951879250 workType "article" @default.