FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2111291256> ?p ?o ?g. }

• W2111291256 endingPage "1055" @default.
• W2111291256 startingPage "1042" @default.
• W2111291256 abstract "We present a framework for analyzing interactions among Web services that communicate with asynchronous messages. We model the interactions among the peers participating in a composite Web service as conversations, the global sequences of messages exchanged among the peers. This naturally leads to the following model checking problem: Given an LTL property and a composite Web service, do the conversations generated by the composite Web service satisfy the property? We show that asynchronous messaging leads to state space explosion for bounded message queues and undecidability of the model checking problem for unbounded message queues. We propose a technique called synchronizability analysis to tackle this problem. If a composite Web service is synchronizable, its conversation set remains the same when asynchronous communication is replaced with synchronous communication. We give a set of sufficient conditions that guarantee synchronizability and that can be checked statically. Based on our synchronizability results, we show that a large class of composite Web services with unbounded message queues can be verified completely using a finite state model checker such as SPIN. We also show that synchronizability analysis can be used to check the reliability of top-down conversation specifications and we contrast the conversation model with the Message Sequence Charts. We integrated synchronizability analysis to a tool we developed for analyzing composite Web services." @default.
• W2111291256 created "2016-06-24" @default.
• W2111291256 creator A5003969169 @default.
• W2111291256 creator A5039991493 @default.
• W2111291256 creator A5069491635 @default.
• W2111291256 date "2005-12-01" @default.
• W2111291256 modified "2023-09-23" @default.
• W2111291256 title "Synchronizability of conversations among Web services" @default.
• W2111291256 cites W1564561023 @default.
• W2111291256 cites W1590266960 @default.
• W2111291256 cites W1602172600 @default.
• W2111291256 cites W1737156267 @default.
• W2111291256 cites W1971418945 @default.
• W2111291256 cites W2000302396 @default.
• W2111291256 cites W2000788759 @default.
• W2111291256 cites W2016206563 @default.
• W2111291256 cites W2025970201 @default.
• W2111291256 cites W2084328880 @default.
• W2111291256 cites W2095299458 @default.
• W2111291256 cites W2108370953 @default.
• W2111291256 cites W2123986639 @default.
• W2111291256 cites W2128433357 @default.
• W2111291256 cites W2132498115 @default.
• W2111291256 cites W2144531585 @default.
• W2111291256 cites W2159263584 @default.
• W2111291256 cites W2293287097 @default.
• W2111291256 cites W4211008702 @default.
• W2111291256 cites W4248810163 @default.
• W2111291256 doi "https://doi.org/10.1109/tse.2005.141" @default.
• W2111291256 hasPublicationYear "2005" @default.
• W2111291256 type Work @default.
• W2111291256 sameAs 2111291256 @default.
• W2111291256 citedByCount "112" @default.
• W2111291256 countsByYear W21112912562012 @default.
• W2111291256 countsByYear W21112912562013 @default.
• W2111291256 countsByYear W21112912562014 @default.
• W2111291256 countsByYear W21112912562015 @default.
• W2111291256 countsByYear W21112912562016 @default.
• W2111291256 countsByYear W21112912562017 @default.
• W2111291256 countsByYear W21112912562018 @default.
• W2111291256 countsByYear W21112912562019 @default.
• W2111291256 countsByYear W21112912562020 @default.
• W2111291256 countsByYear W21112912562022 @default.
• W2111291256 countsByYear W21112912562023 @default.
• W2111291256 crossrefType "journal-article" @default.
• W2111291256 hasAuthorship W2111291256A5003969169 @default.
• W2111291256 hasAuthorship W2111291256A5039991493 @default.
• W2111291256 hasAuthorship W2111291256A5069491635 @default.
• W2111291256 hasConcept C110251889 @default.
• W2111291256 hasConcept C120314980 @default.
• W2111291256 hasConcept C134306372 @default.
• W2111291256 hasConcept C136264566 @default.
• W2111291256 hasConcept C138885662 @default.
• W2111291256 hasConcept C151319957 @default.
• W2111291256 hasConcept C160403385 @default.
• W2111291256 hasConcept C162324750 @default.
• W2111291256 hasConcept C199360897 @default.
• W2111291256 hasConcept C26324664 @default.
• W2111291256 hasConcept C2777200299 @default.
• W2111291256 hasConcept C2780378061 @default.
• W2111291256 hasConcept C31258907 @default.
• W2111291256 hasConcept C33923547 @default.
• W2111291256 hasConcept C34388435 @default.
• W2111291256 hasConcept C35578498 @default.
• W2111291256 hasConcept C41008148 @default.
• W2111291256 hasConcept C41895202 @default.
• W2111291256 hasConcept C80444323 @default.
• W2111291256 hasConceptScore W2111291256C110251889 @default.
• W2111291256 hasConceptScore W2111291256C120314980 @default.
• W2111291256 hasConceptScore W2111291256C134306372 @default.
• W2111291256 hasConceptScore W2111291256C136264566 @default.
• W2111291256 hasConceptScore W2111291256C138885662 @default.
• W2111291256 hasConceptScore W2111291256C151319957 @default.
• W2111291256 hasConceptScore W2111291256C160403385 @default.
• W2111291256 hasConceptScore W2111291256C162324750 @default.
• W2111291256 hasConceptScore W2111291256C199360897 @default.
• W2111291256 hasConceptScore W2111291256C26324664 @default.
• W2111291256 hasConceptScore W2111291256C2777200299 @default.
• W2111291256 hasConceptScore W2111291256C2780378061 @default.
• W2111291256 hasConceptScore W2111291256C31258907 @default.
• W2111291256 hasConceptScore W2111291256C33923547 @default.
• W2111291256 hasConceptScore W2111291256C34388435 @default.
• W2111291256 hasConceptScore W2111291256C35578498 @default.
• W2111291256 hasConceptScore W2111291256C41008148 @default.
• W2111291256 hasConceptScore W2111291256C41895202 @default.
• W2111291256 hasConceptScore W2111291256C80444323 @default.
• W2111291256 hasIssue "12" @default.
• W2111291256 hasLocation W21112912561 @default.
• W2111291256 hasOpenAccess W2111291256 @default.
• W2111291256 hasPrimaryLocation W21112912561 @default.
• W2111291256 hasRelatedWork W1579190584 @default.
• W2111291256 hasRelatedWork W1748450182 @default.
• W2111291256 hasRelatedWork W1882581446 @default.
• W2111291256 hasRelatedWork W2357054905 @default.
• W2111291256 hasRelatedWork W2364921833 @default.
• W2111291256 hasRelatedWork W2375895861 @default.
• W2111291256 hasRelatedWork W3159912674 @default.
• W2111291256 hasRelatedWork W3177160037 @default.

• next