Matches in SemOpenAlex for { <https://semopenalex.org/work/W2099608561> ?p ?o ?g. }
Showing items 1 to 93 of
93
with 100 items per page.
- W2099608561 abstract "Describing and verifying OWL-S with the Unified Modeling Language (UML) cannot only improve the efficiency of developing semantic Web service, but also ensure the correctness of dynamic composition process; abstractly modeling semantic Web services with model-driven architecture (MDA) at a higher level is helpful for dynamically binding services. This paper proposes an effective approach to describe and compose semantic Web service with UML, a verification mechanism is imported to ensure the correctness of semantic Web service composition; class diagrams and use-case diagrams are used to model the static aspect of OWL-S, activity diagrams to model the behavior of an OWL-S composition process. In this paper, the transformation from UML models of semantic Web service composition to the model-checking language Promela was presented for verifying the correctness of Web service composition using automated verification tool SPIN." @default.
- W2099608561 created "2016-06-24" @default.
- W2099608561 creator A5022493621 @default.
- W2099608561 creator A5064140041 @default.
- W2099608561 creator A5071426698 @default.
- W2099608561 creator A5081088996 @default.
- W2099608561 date "2009-05-01" @default.
- W2099608561 modified "2023-09-26" @default.
- W2099608561 title "Describing and Verifying Semantic Web Service Composition with MDA" @default.
- W2099608561 cites W1504310938 @default.
- W2099608561 cites W1554033134 @default.
- W2099608561 cites W1966372206 @default.
- W2099608561 cites W2050174582 @default.
- W2099608561 cites W2103303016 @default.
- W2099608561 cites W2126728257 @default.
- W2099608561 cites W2147588677 @default.
- W2099608561 cites W2148437494 @default.
- W2099608561 cites W1488887129 @default.
- W2099608561 doi "https://doi.org/10.1109/ebiss.2009.5137960" @default.
- W2099608561 hasPublicationYear "2009" @default.
- W2099608561 type Work @default.
- W2099608561 sameAs 2099608561 @default.
- W2099608561 citedByCount "4" @default.
- W2099608561 countsByYear W20996085612014 @default.
- W2099608561 countsByYear W20996085612015 @default.
- W2099608561 crossrefType "proceedings-article" @default.
- W2099608561 hasAuthorship W2099608561A5022493621 @default.
- W2099608561 hasAuthorship W2099608561A5064140041 @default.
- W2099608561 hasAuthorship W2099608561A5071426698 @default.
- W2099608561 hasAuthorship W2099608561A5081088996 @default.
- W2099608561 hasConcept C110251889 @default.
- W2099608561 hasConcept C115903868 @default.
- W2099608561 hasConcept C136764020 @default.
- W2099608561 hasConcept C145644426 @default.
- W2099608561 hasConcept C148792806 @default.
- W2099608561 hasConcept C167379230 @default.
- W2099608561 hasConcept C199360897 @default.
- W2099608561 hasConcept C202446494 @default.
- W2099608561 hasConcept C2129575 @default.
- W2099608561 hasConcept C2776329536 @default.
- W2099608561 hasConcept C2777904410 @default.
- W2099608561 hasConcept C35578498 @default.
- W2099608561 hasConcept C41008148 @default.
- W2099608561 hasConcept C41298492 @default.
- W2099608561 hasConcept C534406577 @default.
- W2099608561 hasConcept C55439883 @default.
- W2099608561 hasConcept C71695816 @default.
- W2099608561 hasConcept C77088390 @default.
- W2099608561 hasConceptScore W2099608561C110251889 @default.
- W2099608561 hasConceptScore W2099608561C115903868 @default.
- W2099608561 hasConceptScore W2099608561C136764020 @default.
- W2099608561 hasConceptScore W2099608561C145644426 @default.
- W2099608561 hasConceptScore W2099608561C148792806 @default.
- W2099608561 hasConceptScore W2099608561C167379230 @default.
- W2099608561 hasConceptScore W2099608561C199360897 @default.
- W2099608561 hasConceptScore W2099608561C202446494 @default.
- W2099608561 hasConceptScore W2099608561C2129575 @default.
- W2099608561 hasConceptScore W2099608561C2776329536 @default.
- W2099608561 hasConceptScore W2099608561C2777904410 @default.
- W2099608561 hasConceptScore W2099608561C35578498 @default.
- W2099608561 hasConceptScore W2099608561C41008148 @default.
- W2099608561 hasConceptScore W2099608561C41298492 @default.
- W2099608561 hasConceptScore W2099608561C534406577 @default.
- W2099608561 hasConceptScore W2099608561C55439883 @default.
- W2099608561 hasConceptScore W2099608561C71695816 @default.
- W2099608561 hasConceptScore W2099608561C77088390 @default.
- W2099608561 hasLocation W20996085611 @default.
- W2099608561 hasOpenAccess W2099608561 @default.
- W2099608561 hasPrimaryLocation W20996085611 @default.
- W2099608561 hasRelatedWork W1496156985 @default.
- W2099608561 hasRelatedWork W1519075555 @default.
- W2099608561 hasRelatedWork W1589942743 @default.
- W2099608561 hasRelatedWork W2150030440 @default.
- W2099608561 hasRelatedWork W2164454046 @default.
- W2099608561 hasRelatedWork W2170861255 @default.
- W2099608561 hasRelatedWork W2498238307 @default.
- W2099608561 hasRelatedWork W2498353907 @default.
- W2099608561 hasRelatedWork W2551729200 @default.
- W2099608561 hasRelatedWork W26712858 @default.
- W2099608561 hasRelatedWork W2888835540 @default.
- W2099608561 hasRelatedWork W2963066923 @default.
- W2099608561 hasRelatedWork W3007690118 @default.
- W2099608561 hasRelatedWork W3082177449 @default.
- W2099608561 hasRelatedWork W3143303681 @default.
- W2099608561 hasRelatedWork W3159563466 @default.
- W2099608561 hasRelatedWork W3168706341 @default.
- W2099608561 hasRelatedWork W3171816388 @default.
- W2099608561 hasRelatedWork W2596897028 @default.
- W2099608561 hasRelatedWork W2785749531 @default.
- W2099608561 isParatext "false" @default.
- W2099608561 isRetracted "false" @default.
- W2099608561 magId "2099608561" @default.
- W2099608561 workType "article" @default.