Matches in SemOpenAlex for { <https://semopenalex.org/work/W2794467874> ?p ?o ?g. }
Showing items 1 to 92 of
92
with 100 items per page.
- W2794467874 endingPage "5" @default.
- W2794467874 startingPage "5" @default.
- W2794467874 abstract "Web services are utilized to illuminate some particular assignment. When a single web service cannot solve a given task, several web services are composed. Composition can be done either statically at design time or dynamically at runtime. Dynamic composition is more suitable for business applications where in business policies and user requirements frequently changes. Interleaved dynamic composition and execution of services is beneficial for adapting to changing user preferences. One of the main issues in such a scenario is that whether the component services that are composed operate according to the business rules specified. Safety, liveness and deadlock freedom properties of a composition depend on the behavior of individual services. Existing modeling techniques capture these properties and perform model checking only statically. Hence in this work, a two level model verification approach has been proposed to verify the correctness of dynamically composed services." @default.
- W2794467874 created "2018-04-06" @default.
- W2794467874 creator A5017887865 @default.
- W2794467874 creator A5040827665 @default.
- W2794467874 creator A5072954931 @default.
- W2794467874 creator A5088096548 @default.
- W2794467874 date "2018-02-05" @default.
- W2794467874 modified "2023-09-26" @default.
- W2794467874 title "An approach for verifying correctness of web service compositions" @default.
- W2794467874 doi "https://doi.org/10.14419/ijet.v7i1.7.9378" @default.
- W2794467874 hasPublicationYear "2018" @default.
- W2794467874 type Work @default.
- W2794467874 sameAs 2794467874 @default.
- W2794467874 citedByCount "1" @default.
- W2794467874 countsByYear W27944678742021 @default.
- W2794467874 crossrefType "journal-article" @default.
- W2794467874 hasAuthorship W2794467874A5017887865 @default.
- W2794467874 hasAuthorship W2794467874A5040827665 @default.
- W2794467874 hasAuthorship W2794467874A5072954931 @default.
- W2794467874 hasAuthorship W2794467874A5088096548 @default.
- W2794467874 hasBestOaLocation W27944678741 @default.
- W2794467874 hasConcept C110251889 @default.
- W2794467874 hasConcept C115903868 @default.
- W2794467874 hasConcept C120314980 @default.
- W2794467874 hasConcept C121332964 @default.
- W2794467874 hasConcept C127413603 @default.
- W2794467874 hasConcept C130436687 @default.
- W2794467874 hasConcept C136264566 @default.
- W2794467874 hasConcept C15569618 @default.
- W2794467874 hasConcept C159023740 @default.
- W2794467874 hasConcept C162324750 @default.
- W2794467874 hasConcept C168167062 @default.
- W2794467874 hasConcept C199360897 @default.
- W2794467874 hasConcept C201995342 @default.
- W2794467874 hasConcept C2778648169 @default.
- W2794467874 hasConcept C2780378061 @default.
- W2794467874 hasConcept C2780451532 @default.
- W2794467874 hasConcept C2983385018 @default.
- W2794467874 hasConcept C35578498 @default.
- W2794467874 hasConcept C41008148 @default.
- W2794467874 hasConcept C42360764 @default.
- W2794467874 hasConcept C4927394 @default.
- W2794467874 hasConcept C55439883 @default.
- W2794467874 hasConcept C77088390 @default.
- W2794467874 hasConcept C85345410 @default.
- W2794467874 hasConcept C97355855 @default.
- W2794467874 hasConceptScore W2794467874C110251889 @default.
- W2794467874 hasConceptScore W2794467874C115903868 @default.
- W2794467874 hasConceptScore W2794467874C120314980 @default.
- W2794467874 hasConceptScore W2794467874C121332964 @default.
- W2794467874 hasConceptScore W2794467874C127413603 @default.
- W2794467874 hasConceptScore W2794467874C130436687 @default.
- W2794467874 hasConceptScore W2794467874C136264566 @default.
- W2794467874 hasConceptScore W2794467874C15569618 @default.
- W2794467874 hasConceptScore W2794467874C159023740 @default.
- W2794467874 hasConceptScore W2794467874C162324750 @default.
- W2794467874 hasConceptScore W2794467874C168167062 @default.
- W2794467874 hasConceptScore W2794467874C199360897 @default.
- W2794467874 hasConceptScore W2794467874C201995342 @default.
- W2794467874 hasConceptScore W2794467874C2778648169 @default.
- W2794467874 hasConceptScore W2794467874C2780378061 @default.
- W2794467874 hasConceptScore W2794467874C2780451532 @default.
- W2794467874 hasConceptScore W2794467874C2983385018 @default.
- W2794467874 hasConceptScore W2794467874C35578498 @default.
- W2794467874 hasConceptScore W2794467874C41008148 @default.
- W2794467874 hasConceptScore W2794467874C42360764 @default.
- W2794467874 hasConceptScore W2794467874C4927394 @default.
- W2794467874 hasConceptScore W2794467874C55439883 @default.
- W2794467874 hasConceptScore W2794467874C77088390 @default.
- W2794467874 hasConceptScore W2794467874C85345410 @default.
- W2794467874 hasConceptScore W2794467874C97355855 @default.
- W2794467874 hasIssue "1.7" @default.
- W2794467874 hasLocation W27944678741 @default.
- W2794467874 hasOpenAccess W2794467874 @default.
- W2794467874 hasPrimaryLocation W27944678741 @default.
- W2794467874 hasRelatedWork W1977514759 @default.
- W2794467874 hasRelatedWork W1978453000 @default.
- W2794467874 hasRelatedWork W2069430440 @default.
- W2794467874 hasRelatedWork W2111812126 @default.
- W2794467874 hasRelatedWork W2146338308 @default.
- W2794467874 hasRelatedWork W2350273534 @default.
- W2794467874 hasRelatedWork W2351479876 @default.
- W2794467874 hasRelatedWork W2353043501 @default.
- W2794467874 hasRelatedWork W2382030766 @default.
- W2794467874 hasRelatedWork W2794467874 @default.
- W2794467874 hasVolume "7" @default.
- W2794467874 isParatext "false" @default.
- W2794467874 isRetracted "false" @default.
- W2794467874 magId "2794467874" @default.
- W2794467874 workType "article" @default.