FRINK Linked Data Fragments server

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

• W2893541821 endingPage "1397" @default.
• W2893541821 startingPage "1369" @default.
• W2893541821 abstract "Service-based systems are a new software mode for distributed business processes integration. It is difficult for traditional testing methods to verify the functional and nonfunctional requirements of software. To address this problem, this paper proposes a visual verification platform to quantitatively compute the reliability and cost for evaluating the performance of service-based systems in the design phase. First, an extended automata model namely Probabilistic Reward Labeled Transition System (PRLTS) is proposed to formalize both the functional behaviors and nonfunctional features. Then, the formal language of probabilistic model checker PRISM is introduced to show the grammar of the target verification codes that we want to transform. Second, XML description tags of Business Process Execution Language (BPEL) is parsed to generate the functional behaviors using different kinds of transformation rules, based on which the probability matrix and reward concept are employed to denote the service’s reliability and cost, respectively. Third, the PRLTS model is turned into the input language of PRISM, where the graphic description language DOT of Graphviz is used as an intermediary to display system behaviors in a visual way. The model layout allows the designer to manually adjust the behaviors of the PRLTS model, where verification codes can be dynamically updated according to the changes in modified information. Fourth, to perform quantitative verification, the verification property in the form of the Probabilistic Computation Tree Logic (PCTL) formula can be automatically generated when the requirement model of the service-based system is inputted, during which the threshold value of qualitative property will be initially computed and returned as a recommended value. This allows the user to modify the qualitative property in an interactive way. Furthermore, experimental analysis of the real-world case study demonstrates the feasibility of the proposed method. Thus, our platform provides guidance for quantitative verification and graphical visualization for effectively generating formal models and checking the quantitative properties for service-based systems." @default.
• W2893541821 created "2018-10-05" @default.
• W2893541821 creator A5010502314 @default.
• W2893541821 creator A5039912353 @default.
• W2893541821 creator A5046414484 @default.
• W2893541821 creator A5078511168 @default.
• W2893541821 creator A5087225784 @default.
• W2893541821 date "2018-09-25" @default.
• W2893541821 modified "2023-10-18" @default.
• W2893541821 title "Automated Quantitative Verification for Service-Based System Design: A Visualization Transform Tool Perspective" @default.
• W2893541821 cites W1971139410 @default.
• W2893541821 cites W1981332849 @default.
• W2893541821 cites W2015544224 @default.
• W2893541821 cites W2017291319 @default.
• W2893541821 cites W2044058339 @default.
• W2893541821 cites W2102998325 @default.
• W2893541821 cites W2103307740 @default.
• W2893541821 cites W2118039525 @default.
• W2893541821 cites W2121002303 @default.
• W2893541821 cites W2133254703 @default.
• W2893541821 cites W2154843985 @default.
• W2893541821 cites W2159650620 @default.
• W2893541821 cites W2160338487 @default.
• W2893541821 cites W2170944969 @default.
• W2893541821 cites W2283106827 @default.
• W2893541821 cites W2291637985 @default.
• W2893541821 cites W241117969 @default.
• W2893541821 cites W2438196771 @default.
• W2893541821 cites W2532015110 @default.
• W2893541821 cites W2562890484 @default.
• W2893541821 cites W2753661786 @default.
• W2893541821 doi "https://doi.org/10.1142/s0218194018500390" @default.
• W2893541821 hasPublicationYear "2018" @default.
• W2893541821 type Work @default.
• W2893541821 sameAs 2893541821 @default.
• W2893541821 citedByCount "53" @default.
• W2893541821 countsByYear W28935418212019 @default.
• W2893541821 countsByYear W28935418212020 @default.
• W2893541821 countsByYear W28935418212021 @default.
• W2893541821 countsByYear W28935418212022 @default.
• W2893541821 countsByYear W28935418212023 @default.
• W2893541821 crossrefType "journal-article" @default.
• W2893541821 hasAuthorship W2893541821A5010502314 @default.
• W2893541821 hasAuthorship W2893541821A5039912353 @default.
• W2893541821 hasAuthorship W2893541821A5046414484 @default.
• W2893541821 hasAuthorship W2893541821A5078511168 @default.
• W2893541821 hasAuthorship W2893541821A5087225784 @default.
• W2893541821 hasConcept C110251889 @default.
• W2893541821 hasConcept C124101348 @default.
• W2893541821 hasConcept C136264566 @default.
• W2893541821 hasConcept C154945302 @default.
• W2893541821 hasConcept C162324750 @default.
• W2893541821 hasConcept C199360897 @default.
• W2893541821 hasConcept C2780378061 @default.
• W2893541821 hasConcept C41008148 @default.
• W2893541821 hasConcept C49937458 @default.
• W2893541821 hasConcept C80444323 @default.
• W2893541821 hasConceptScore W2893541821C110251889 @default.
• W2893541821 hasConceptScore W2893541821C124101348 @default.
• W2893541821 hasConceptScore W2893541821C136264566 @default.
• W2893541821 hasConceptScore W2893541821C154945302 @default.
• W2893541821 hasConceptScore W2893541821C162324750 @default.
• W2893541821 hasConceptScore W2893541821C199360897 @default.
• W2893541821 hasConceptScore W2893541821C2780378061 @default.
• W2893541821 hasConceptScore W2893541821C41008148 @default.
• W2893541821 hasConceptScore W2893541821C49937458 @default.
• W2893541821 hasConceptScore W2893541821C80444323 @default.
• W2893541821 hasIssue "10" @default.
• W2893541821 hasLocation W28935418211 @default.
• W2893541821 hasOpenAccess W2893541821 @default.
• W2893541821 hasPrimaryLocation W28935418211 @default.
• W2893541821 hasRelatedWork W2087152645 @default.
• W2893541821 hasRelatedWork W2403555318 @default.
• W2893541821 hasRelatedWork W2481947210 @default.
• W2893541821 hasRelatedWork W2885070057 @default.
• W2893541821 hasRelatedWork W3024790134 @default.
• W2893541821 hasRelatedWork W3097045895 @default.
• W2893541821 hasRelatedWork W3158759410 @default.
• W2893541821 hasRelatedWork W4287779238 @default.
• W2893541821 hasRelatedWork W4307454606 @default.
• W2893541821 hasRelatedWork W925418074 @default.
• W2893541821 hasVolume "28" @default.
• W2893541821 isParatext "false" @default.
• W2893541821 isRetracted "false" @default.
• W2893541821 magId "2893541821" @default.
• W2893541821 workType "article" @default.