Matches in SemOpenAlex for { <https://semopenalex.org/work/W2892006385> ?p ?o ?g. }
Showing items 1 to 88 of
88
with 100 items per page.
- W2892006385 abstract "Formal verification has been shown to be a useful technique for performing assurance of electronic business transactions. However the verification efficiency is still a serious bottleneck due to increasingly complex system deployed over multiple data centers. Although great improvements in the state-of-the-art model-checking algorithms, the optimization on the business process level has an advantage in improving verification performance. From a transactional equivalence perspective a method to minimize the target business transactions model and improve the verification efficiency is presented. This work proposes a formal modeling method for a flexible transaction based on an extension of Pi-calculus. An operational semantics is defined as an extension of the classical one for Pi-calculus by introducing membrane activities (a kind of wrapper for processes). Then, a weak bisimulation relation is defined, which is used to reduce the transaction models and apply checking transactions equivalence. A running example throughout the entire paper empirically evaluates the performance of the proposed solutions. The experimental results show a significant improvement in terms of state space and construction time. This will make it possible to provide improvements in the performance efficiency for verifying Service-based applications." @default.
- W2892006385 created "2018-09-27" @default.
- W2892006385 creator A5025184050 @default.
- W2892006385 creator A5061653880 @default.
- W2892006385 date "2018-07-01" @default.
- W2892006385 modified "2023-10-16" @default.
- W2892006385 title "Efficient Verification of Service-Based Applications for Flexible Modeling" @default.
- W2892006385 cites W1569287913 @default.
- W2892006385 cites W1989135127 @default.
- W2892006385 cites W2002313146 @default.
- W2892006385 cites W2021103593 @default.
- W2892006385 cites W2027158876 @default.
- W2892006385 cites W2027689693 @default.
- W2892006385 cites W2031478596 @default.
- W2892006385 cites W2063772987 @default.
- W2892006385 cites W2070368511 @default.
- W2892006385 cites W2105785170 @default.
- W2892006385 cites W2134562903 @default.
- W2892006385 cites W2136579066 @default.
- W2892006385 cites W2139116371 @default.
- W2892006385 cites W2149366826 @default.
- W2892006385 cites W2155541789 @default.
- W2892006385 cites W2156497566 @default.
- W2892006385 cites W2321278210 @default.
- W2892006385 cites W2403740943 @default.
- W2892006385 cites W2525032782 @default.
- W2892006385 cites W3106318416 @default.
- W2892006385 cites W3122472621 @default.
- W2892006385 cites W3124557742 @default.
- W2892006385 doi "https://doi.org/10.1109/scc.2018.00020" @default.
- W2892006385 hasPublicationYear "2018" @default.
- W2892006385 type Work @default.
- W2892006385 sameAs 2892006385 @default.
- W2892006385 citedByCount "0" @default.
- W2892006385 crossrefType "proceedings-article" @default.
- W2892006385 hasAuthorship W2892006385A5025184050 @default.
- W2892006385 hasAuthorship W2892006385A5061653880 @default.
- W2892006385 hasConcept C110251889 @default.
- W2892006385 hasConcept C111498074 @default.
- W2892006385 hasConcept C115903868 @default.
- W2892006385 hasConcept C135315306 @default.
- W2892006385 hasConcept C144133560 @default.
- W2892006385 hasConcept C149635348 @default.
- W2892006385 hasConcept C162853370 @default.
- W2892006385 hasConcept C174998907 @default.
- W2892006385 hasConcept C199360897 @default.
- W2892006385 hasConcept C2780513914 @default.
- W2892006385 hasConcept C41008148 @default.
- W2892006385 hasConcept C62460635 @default.
- W2892006385 hasConcept C75606506 @default.
- W2892006385 hasConcept C75949130 @default.
- W2892006385 hasConcept C80444323 @default.
- W2892006385 hasConcept C85345410 @default.
- W2892006385 hasConcept C96654402 @default.
- W2892006385 hasConceptScore W2892006385C110251889 @default.
- W2892006385 hasConceptScore W2892006385C111498074 @default.
- W2892006385 hasConceptScore W2892006385C115903868 @default.
- W2892006385 hasConceptScore W2892006385C135315306 @default.
- W2892006385 hasConceptScore W2892006385C144133560 @default.
- W2892006385 hasConceptScore W2892006385C149635348 @default.
- W2892006385 hasConceptScore W2892006385C162853370 @default.
- W2892006385 hasConceptScore W2892006385C174998907 @default.
- W2892006385 hasConceptScore W2892006385C199360897 @default.
- W2892006385 hasConceptScore W2892006385C2780513914 @default.
- W2892006385 hasConceptScore W2892006385C41008148 @default.
- W2892006385 hasConceptScore W2892006385C62460635 @default.
- W2892006385 hasConceptScore W2892006385C75606506 @default.
- W2892006385 hasConceptScore W2892006385C75949130 @default.
- W2892006385 hasConceptScore W2892006385C80444323 @default.
- W2892006385 hasConceptScore W2892006385C85345410 @default.
- W2892006385 hasConceptScore W2892006385C96654402 @default.
- W2892006385 hasLocation W28920063851 @default.
- W2892006385 hasOpenAccess W2892006385 @default.
- W2892006385 hasPrimaryLocation W28920063851 @default.
- W2892006385 hasRelatedWork W1522734007 @default.
- W2892006385 hasRelatedWork W2034695828 @default.
- W2892006385 hasRelatedWork W2084069859 @default.
- W2892006385 hasRelatedWork W2103094862 @default.
- W2892006385 hasRelatedWork W2115968267 @default.
- W2892006385 hasRelatedWork W2126407141 @default.
- W2892006385 hasRelatedWork W2152752131 @default.
- W2892006385 hasRelatedWork W2401075618 @default.
- W2892006385 hasRelatedWork W2892006385 @default.
- W2892006385 hasRelatedWork W2096723742 @default.
- W2892006385 isParatext "false" @default.
- W2892006385 isRetracted "false" @default.
- W2892006385 magId "2892006385" @default.
- W2892006385 workType "article" @default.