Matches in SemOpenAlex for { <https://semopenalex.org/work/W63507173> ?p ?o ?g. }
Showing items 1 to 79 of
79
with 100 items per page.
- W63507173 abstract "In recent years, the increasing interest on service-oriented paradigm has given rise to a series of supporting tools and languages. In particular, COWS (Calculus for Orchestration of Web Services) has been attracting the attention of part of the scientific community for its peculiar effort in formalising the semantics of the de facto standard Web Services orchestration language WS-BPEL. The purpose of the present work is to provide the tools for representing and evaluating the performance of Web Services modelled through COWS. In order to do this, a stochastic version of COWS is proposed: such a language allows us to describe the performance of the modelled systems and thus to represent Web Services both from the qualitative and quantitative points of view. In particular, we provide COWS with an extension which maintains the polyadic matching mechanism: this way, the language will still provide the capability to explicitly model the use of session identifiers. The resulting Scows is then equipped with a software tool which allows us to effectively perform model checking without incurring into the problem of state-space explosion, which would otherwise thwart the computation efforts even when checking relatively small models. In order to obtain this result, the proposed tool relies on the statistical analysis of simulation traces, which allows us to deal with large state-spaces without the actual need to completely explore them. Such an improvement in model checking performances comes at the price of accuracy in the answers provided: for this reason, users can trade-off speed against accuracy by modifying a series of parameters. In order to assess the efficiency of the proposed technique, our tool is compared with a number of existing model checking softwares." @default.
- W63507173 created "2016-06-24" @default.
- W63507173 creator A5010396704 @default.
- W63507173 date "2010-03-05" @default.
- W63507173 modified "2023-09-26" @default.
- W63507173 title "Statistical Model Checking of Web Services" @default.
- W63507173 hasPublicationYear "2010" @default.
- W63507173 type Work @default.
- W63507173 sameAs 63507173 @default.
- W63507173 citedByCount "0" @default.
- W63507173 crossrefType "dissertation" @default.
- W63507173 hasAuthorship W63507173A5010396704 @default.
- W63507173 hasConcept C105795698 @default.
- W63507173 hasConcept C110251889 @default.
- W63507173 hasConcept C115903868 @default.
- W63507173 hasConcept C136264566 @default.
- W63507173 hasConcept C142362112 @default.
- W63507173 hasConcept C153349607 @default.
- W63507173 hasConcept C154504017 @default.
- W63507173 hasConcept C162324750 @default.
- W63507173 hasConcept C165064840 @default.
- W63507173 hasConcept C184337299 @default.
- W63507173 hasConcept C199168358 @default.
- W63507173 hasConcept C199360897 @default.
- W63507173 hasConcept C2777904410 @default.
- W63507173 hasConcept C2780378061 @default.
- W63507173 hasConcept C33923547 @default.
- W63507173 hasConcept C35578498 @default.
- W63507173 hasConcept C41008148 @default.
- W63507173 hasConcept C4927394 @default.
- W63507173 hasConcept C558565934 @default.
- W63507173 hasConcept C57041688 @default.
- W63507173 hasConceptScore W63507173C105795698 @default.
- W63507173 hasConceptScore W63507173C110251889 @default.
- W63507173 hasConceptScore W63507173C115903868 @default.
- W63507173 hasConceptScore W63507173C136264566 @default.
- W63507173 hasConceptScore W63507173C142362112 @default.
- W63507173 hasConceptScore W63507173C153349607 @default.
- W63507173 hasConceptScore W63507173C154504017 @default.
- W63507173 hasConceptScore W63507173C162324750 @default.
- W63507173 hasConceptScore W63507173C165064840 @default.
- W63507173 hasConceptScore W63507173C184337299 @default.
- W63507173 hasConceptScore W63507173C199168358 @default.
- W63507173 hasConceptScore W63507173C199360897 @default.
- W63507173 hasConceptScore W63507173C2777904410 @default.
- W63507173 hasConceptScore W63507173C2780378061 @default.
- W63507173 hasConceptScore W63507173C33923547 @default.
- W63507173 hasConceptScore W63507173C35578498 @default.
- W63507173 hasConceptScore W63507173C41008148 @default.
- W63507173 hasConceptScore W63507173C4927394 @default.
- W63507173 hasConceptScore W63507173C558565934 @default.
- W63507173 hasConceptScore W63507173C57041688 @default.
- W63507173 hasLocation W635071731 @default.
- W63507173 hasOpenAccess W63507173 @default.
- W63507173 hasPrimaryLocation W635071731 @default.
- W63507173 hasRelatedWork W1039235300 @default.
- W63507173 hasRelatedWork W1981879147 @default.
- W63507173 hasRelatedWork W2094598155 @default.
- W63507173 hasRelatedWork W2123144165 @default.
- W63507173 hasRelatedWork W2165926059 @default.
- W63507173 hasRelatedWork W2182273135 @default.
- W63507173 hasRelatedWork W2187811116 @default.
- W63507173 hasRelatedWork W2302670718 @default.
- W63507173 hasRelatedWork W2401287630 @default.
- W63507173 hasRelatedWork W2565373051 @default.
- W63507173 hasRelatedWork W2757831960 @default.
- W63507173 hasRelatedWork W2768176510 @default.
- W63507173 hasRelatedWork W2904268094 @default.
- W63507173 hasRelatedWork W2943013893 @default.
- W63507173 hasRelatedWork W3006215161 @default.
- W63507173 hasRelatedWork W3021502786 @default.
- W63507173 hasRelatedWork W3097779749 @default.
- W63507173 hasRelatedWork W3126189963 @default.
- W63507173 hasRelatedWork W3126349206 @default.
- W63507173 hasRelatedWork W818824979 @default.
- W63507173 isParatext "false" @default.
- W63507173 isRetracted "false" @default.
- W63507173 magId "63507173" @default.
- W63507173 workType "dissertation" @default.