FRINK Linked Data Fragments server

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

• W3153961292 endingPage "2525" @default.
• W3153961292 startingPage "2511" @default.
• W3153961292 abstract "Reusability is a central concept of Web services as it allows for the construction of composite Web services at a lower cost/effort. Web services offer diverse functional capabilities (e.g., ticket purchase, hotel booking) and inherent transactional properties. However, due to the lack of an explicit and formal description of these functional and transactional perspectives, the correctness of the transactional reliability and functional properties cannot be verified. The composite Web service reliability is computed using a set of transactional requirements defined by designers throughout the Accepted Termination States (ATS) concept. The main objective of this article is to introduce a formal model of the Web service configuration and its correctness requirements that permit to ensure the correct Web service execution from functional and transactional points of view. For that purpose, we developed a Correct Configuration Model for Transactional Composite Services (CCM4TCS) using the <sc xmlns:mml=http://www.w3.org/1998/Math/MathML xmlns:xlink=http://www.w3.org/1999/xlink>Event-B</small> method. This model is used to formally validate the consistency of composite Web service configuration’s properties and requirements. It allows also to check the correctness of ATS constraints that we use as reliability parameters. The correctness and the validation of our model are ensured by discharging proof obligations and by animating the specification using the ProB model-checker." @default.
• W3153961292 created "2021-04-26" @default.
• W3153961292 creator A5061166635 @default.
• W3153961292 creator A5067480635 @default.
• W3153961292 creator A5075846670 @default.
• W3153961292 date "2022-09-01" @default.
• W3153961292 modified "2023-09-26" @default.
• W3153961292 title "A Correct-by-Construction Model for Verifying Transactional Composite Services Configuration" @default.
• W3153961292 cites W123147048 @default.
• W3153961292 cites W1491858474 @default.
• W3153961292 cites W1534852284 @default.
• W3153961292 cites W1544621933 @default.
• W3153961292 cites W1563841124 @default.
• W3153961292 cites W160103174 @default.
• W3153961292 cites W1824356224 @default.
• W3153961292 cites W1965792702 @default.
• W3153961292 cites W1975613046 @default.
• W3153961292 cites W1981626968 @default.
• W3153961292 cites W1986348008 @default.
• W3153961292 cites W2011762419 @default.
• W3153961292 cites W2012024302 @default.
• W3153961292 cites W2025318099 @default.
• W3153961292 cites W2036655999 @default.
• W3153961292 cites W2038280282 @default.
• W3153961292 cites W2073892927 @default.
• W3153961292 cites W2078865395 @default.
• W3153961292 cites W2097838240 @default.
• W3153961292 cites W2104970573 @default.
• W3153961292 cites W2114462967 @default.
• W3153961292 cites W2135555234 @default.
• W3153961292 cites W2147405025 @default.
• W3153961292 cites W2148175243 @default.
• W3153961292 cites W2161484642 @default.
• W3153961292 cites W2169803829 @default.
• W3153961292 cites W2171500111 @default.
• W3153961292 cites W2171601419 @default.
• W3153961292 cites W2304000253 @default.
• W3153961292 cites W2395071766 @default.
• W3153961292 cites W2486740635 @default.
• W3153961292 cites W2533907236 @default.
• W3153961292 cites W2777718366 @default.
• W3153961292 cites W2887816000 @default.
• W3153961292 cites W2901708176 @default.
• W3153961292 cites W3036698088 @default.
• W3153961292 cites W3136509408 @default.
• W3153961292 cites W4244181666 @default.
• W3153961292 cites W4244819751 @default.
• W3153961292 doi "https://doi.org/10.1109/tsc.2021.3072327" @default.
• W3153961292 hasPublicationYear "2022" @default.
• W3153961292 type Work @default.
• W3153961292 sameAs 3153961292 @default.
• W3153961292 citedByCount "0" @default.
• W3153961292 crossrefType "journal-article" @default.
• W3153961292 hasAuthorship W3153961292A5061166635 @default.
• W3153961292 hasAuthorship W3153961292A5067480635 @default.
• W3153961292 hasAuthorship W3153961292A5075846670 @default.
• W3153961292 hasConcept C110251889 @default.
• W3153961292 hasConcept C115903868 @default.
• W3153961292 hasConcept C120314980 @default.
• W3153961292 hasConcept C130436687 @default.
• W3153961292 hasConcept C154945302 @default.
• W3153961292 hasConcept C15744967 @default.
• W3153961292 hasConcept C199360897 @default.
• W3153961292 hasConcept C2776436953 @default.
• W3153961292 hasConcept C2776540713 @default.
• W3153961292 hasConcept C35578498 @default.
• W3153961292 hasConcept C38652104 @default.
• W3153961292 hasConcept C41008148 @default.
• W3153961292 hasConcept C4927394 @default.
• W3153961292 hasConcept C55439883 @default.
• W3153961292 hasConcept C68489960 @default.
• W3153961292 hasConcept C77088390 @default.
• W3153961292 hasConcept C77805123 @default.
• W3153961292 hasConceptScore W3153961292C110251889 @default.
• W3153961292 hasConceptScore W3153961292C115903868 @default.
• W3153961292 hasConceptScore W3153961292C120314980 @default.
• W3153961292 hasConceptScore W3153961292C130436687 @default.
• W3153961292 hasConceptScore W3153961292C154945302 @default.
• W3153961292 hasConceptScore W3153961292C15744967 @default.
• W3153961292 hasConceptScore W3153961292C199360897 @default.
• W3153961292 hasConceptScore W3153961292C2776436953 @default.
• W3153961292 hasConceptScore W3153961292C2776540713 @default.
• W3153961292 hasConceptScore W3153961292C35578498 @default.
• W3153961292 hasConceptScore W3153961292C38652104 @default.
• W3153961292 hasConceptScore W3153961292C41008148 @default.
• W3153961292 hasConceptScore W3153961292C4927394 @default.
• W3153961292 hasConceptScore W3153961292C55439883 @default.
• W3153961292 hasConceptScore W3153961292C68489960 @default.
• W3153961292 hasConceptScore W3153961292C77088390 @default.
• W3153961292 hasConceptScore W3153961292C77805123 @default.
• W3153961292 hasIssue "5" @default.
• W3153961292 hasLocation W31539612921 @default.
• W3153961292 hasLocation W31539612922 @default.
• W3153961292 hasOpenAccess W3153961292 @default.
• W3153961292 hasPrimaryLocation W31539612921 @default.
• W3153961292 hasRelatedWork W2146338308 @default.
• W3153961292 hasRelatedWork W2155795235 @default.
• W3153961292 hasRelatedWork W2350273534 @default.

• next