Matches in SemOpenAlex for { <https://semopenalex.org/work/W3036698088> ?p ?o ?g. }
Showing items 1 to 82 of
82
with 100 items per page.
- W3036698088 endingPage "101165" @default.
- W3036698088 startingPage "101165" @default.
- W3036698088 abstract "Web service orchestrations aim at offering value-added services that meet the increasing complex requirements of business processes. Since it becomes harder to manually check the correctness of such systems, we propose a formal method for their consistency checking by first translating OWL-S composite services and WS-BPEL orchestrator into communicating automata using an iterative process driven by control structures of these languages. Thereafter, we build the synchronization product of the resulting automata and proceed to its compatibility checking in order to unveil forbidden states, which depict incompatibilities in that orchestration interaction protocol. Last, this automaton consistency is checked against the behavioral model of WS-CDL choreography seen as its specification to which it has to conform." @default.
- W3036698088 created "2020-06-25" @default.
- W3036698088 creator A5058276741 @default.
- W3036698088 creator A5061965262 @default.
- W3036698088 creator A5072672040 @default.
- W3036698088 creator A5074641711 @default.
- W3036698088 date "2020-07-01" @default.
- W3036698088 modified "2023-09-30" @default.
- W3036698088 title "Formal techniques for consistency checking of orchestrations of semantic Web services" @default.
- W3036698088 cites W2038223137 @default.
- W3036698088 cites W2045206574 @default.
- W3036698088 cites W2086162616 @default.
- W3036698088 cites W2093632746 @default.
- W3036698088 cites W2123510904 @default.
- W3036698088 cites W2625084648 @default.
- W3036698088 cites W2770613891 @default.
- W3036698088 cites W2887816000 @default.
- W3036698088 cites W2890532764 @default.
- W3036698088 cites W2985870613 @default.
- W3036698088 cites W3161600003 @default.
- W3036698088 doi "https://doi.org/10.1016/j.jocs.2020.101165" @default.
- W3036698088 hasPublicationYear "2020" @default.
- W3036698088 type Work @default.
- W3036698088 sameAs 3036698088 @default.
- W3036698088 citedByCount "9" @default.
- W3036698088 countsByYear W30366980882020 @default.
- W3036698088 countsByYear W30366980882021 @default.
- W3036698088 countsByYear W30366980882022 @default.
- W3036698088 countsByYear W30366980882023 @default.
- W3036698088 crossrefType "journal-article" @default.
- W3036698088 hasAuthorship W3036698088A5058276741 @default.
- W3036698088 hasAuthorship W3036698088A5061965262 @default.
- W3036698088 hasAuthorship W3036698088A5072672040 @default.
- W3036698088 hasAuthorship W3036698088A5074641711 @default.
- W3036698088 hasConcept C110251889 @default.
- W3036698088 hasConcept C111498074 @default.
- W3036698088 hasConcept C112505250 @default.
- W3036698088 hasConcept C115903868 @default.
- W3036698088 hasConcept C120314980 @default.
- W3036698088 hasConcept C154945302 @default.
- W3036698088 hasConcept C199360897 @default.
- W3036698088 hasConcept C2776436953 @default.
- W3036698088 hasConcept C35578498 @default.
- W3036698088 hasConcept C41008148 @default.
- W3036698088 hasConcept C4927394 @default.
- W3036698088 hasConcept C55439883 @default.
- W3036698088 hasConcept C57041688 @default.
- W3036698088 hasConcept C80444323 @default.
- W3036698088 hasConceptScore W3036698088C110251889 @default.
- W3036698088 hasConceptScore W3036698088C111498074 @default.
- W3036698088 hasConceptScore W3036698088C112505250 @default.
- W3036698088 hasConceptScore W3036698088C115903868 @default.
- W3036698088 hasConceptScore W3036698088C120314980 @default.
- W3036698088 hasConceptScore W3036698088C154945302 @default.
- W3036698088 hasConceptScore W3036698088C199360897 @default.
- W3036698088 hasConceptScore W3036698088C2776436953 @default.
- W3036698088 hasConceptScore W3036698088C35578498 @default.
- W3036698088 hasConceptScore W3036698088C41008148 @default.
- W3036698088 hasConceptScore W3036698088C4927394 @default.
- W3036698088 hasConceptScore W3036698088C55439883 @default.
- W3036698088 hasConceptScore W3036698088C57041688 @default.
- W3036698088 hasConceptScore W3036698088C80444323 @default.
- W3036698088 hasLocation W30366980881 @default.
- W3036698088 hasOpenAccess W3036698088 @default.
- W3036698088 hasPrimaryLocation W30366980881 @default.
- W3036698088 hasRelatedWork W1580893043 @default.
- W3036698088 hasRelatedWork W2047302368 @default.
- W3036698088 hasRelatedWork W2097554793 @default.
- W3036698088 hasRelatedWork W2118503825 @default.
- W3036698088 hasRelatedWork W2146338308 @default.
- W3036698088 hasRelatedWork W2155267411 @default.
- W3036698088 hasRelatedWork W2353043501 @default.
- W3036698088 hasRelatedWork W4253563042 @default.
- W3036698088 hasRelatedWork W4280582832 @default.
- W3036698088 hasRelatedWork W2057659930 @default.
- W3036698088 hasVolume "44" @default.
- W3036698088 isParatext "false" @default.
- W3036698088 isRetracted "false" @default.
- W3036698088 magId "3036698088" @default.
- W3036698088 workType "article" @default.