Matches in SemOpenAlex for { <https://semopenalex.org/work/W1505409659> ?p ?o ?g. }
- W1505409659 abstract "Service-oriented engineering is an emerging software development paradigm for distributed collaborative applications. Such an application is made up of several entities abstracted as services, each of them being for example a Web application, a Web service, or even a human. The services can be developed independently and are composed to achieve common requirements through interactions among them. Service choreographies define such requirements from a global perspective, based on interactions among a set of participants. This thesis aims to formalize the problems and attempts to develop a framework by which service choreographies can be developed correctly for both top-down and bottom-up approaches. It consists in analyzing the relation between a choreography specification and a choreography implementation at both model level and real implementation level. Particularly, it concerns the composition/decomposition service design, the verification, and the testing of choreography implementation. The first key point of our framework is to support value-passing among services by using symbolic technique and SMT solver. It overcomes false negatives or state space explosion issues due by abstracting or limiting the data domain of value-passing in existing approaches. The second key point is the black-box passive testing of choreography implementation. It does not require neither to access to source codes nor to make the implementation unavailable during the testing process. Our framework is fully implemented in our toolchains, which can be downloaded or used online at address: http://schora.lri.fr." @default.
- W1505409659 created "2016-06-24" @default.
- W1505409659 creator A5045448070 @default.
- W1505409659 date "2013-10-31" @default.
- W1505409659 modified "2023-09-26" @default.
- W1505409659 title "A symbolic approach for the verification and the test of service choreographies" @default.
- W1505409659 cites W113612102 @default.
- W1505409659 cites W1484700963 @default.
- W1505409659 cites W1497524189 @default.
- W1505409659 cites W1501146698 @default.
- W1505409659 cites W1515898625 @default.
- W1505409659 cites W1522645051 @default.
- W1505409659 cites W1541187842 @default.
- W1505409659 cites W1541518980 @default.
- W1505409659 cites W1550303638 @default.
- W1505409659 cites W1583751030 @default.
- W1505409659 cites W1606502467 @default.
- W1505409659 cites W1762199393 @default.
- W1505409659 cites W178318777 @default.
- W1505409659 cites W1847546433 @default.
- W1505409659 cites W1863244539 @default.
- W1505409659 cites W1890877299 @default.
- W1505409659 cites W1964201869 @default.
- W1505409659 cites W1981885734 @default.
- W1505409659 cites W1984691967 @default.
- W1505409659 cites W1985161650 @default.
- W1505409659 cites W1999677539 @default.
- W1505409659 cites W2005348843 @default.
- W1505409659 cites W2007146960 @default.
- W1505409659 cites W2010116559 @default.
- W1505409659 cites W2021418918 @default.
- W1505409659 cites W2026578398 @default.
- W1505409659 cites W2026774266 @default.
- W1505409659 cites W2027021671 @default.
- W1505409659 cites W2027901440 @default.
- W1505409659 cites W2033368298 @default.
- W1505409659 cites W2038408649 @default.
- W1505409659 cites W2041055242 @default.
- W1505409659 cites W2049360899 @default.
- W1505409659 cites W2053835825 @default.
- W1505409659 cites W2059243982 @default.
- W1505409659 cites W2062249491 @default.
- W1505409659 cites W207712176 @default.
- W1505409659 cites W2082147689 @default.
- W1505409659 cites W2082707656 @default.
- W1505409659 cites W2089188398 @default.
- W1505409659 cites W2098806043 @default.
- W1505409659 cites W2101691918 @default.
- W1505409659 cites W2105191851 @default.
- W1505409659 cites W2105658676 @default.
- W1505409659 cites W2111116625 @default.
- W1505409659 cites W2115920222 @default.
- W1505409659 cites W2116745084 @default.
- W1505409659 cites W2121520889 @default.
- W1505409659 cites W2131142971 @default.
- W1505409659 cites W2132936953 @default.
- W1505409659 cites W2137348535 @default.
- W1505409659 cites W2137395933 @default.
- W1505409659 cites W2137999622 @default.
- W1505409659 cites W2138230689 @default.
- W1505409659 cites W2139204893 @default.
- W1505409659 cites W2139842876 @default.
- W1505409659 cites W2144531585 @default.
- W1505409659 cites W2145549849 @default.
- W1505409659 cites W2147810963 @default.
- W1505409659 cites W2147841033 @default.
- W1505409659 cites W2148254432 @default.
- W1505409659 cites W2158475018 @default.
- W1505409659 cites W2158774469 @default.
- W1505409659 cites W2162021078 @default.
- W1505409659 cites W2166432511 @default.
- W1505409659 cites W2167576191 @default.
- W1505409659 cites W2395983067 @default.
- W1505409659 cites W2741212783 @default.
- W1505409659 cites W2913663755 @default.
- W1505409659 cites W3010856131 @default.
- W1505409659 cites W3115935037 @default.
- W1505409659 cites W43349300 @default.
- W1505409659 cites W57292747 @default.
- W1505409659 cites W2007743900 @default.
- W1505409659 cites W2518030456 @default.
- W1505409659 cites W2610897936 @default.
- W1505409659 hasPublicationYear "2013" @default.
- W1505409659 type Work @default.
- W1505409659 sameAs 1505409659 @default.
- W1505409659 citedByCount "0" @default.
- W1505409659 crossrefType "dissertation" @default.
- W1505409659 hasAuthorship W1505409659A5045448070 @default.
- W1505409659 hasConcept C115903868 @default.
- W1505409659 hasConcept C124952713 @default.
- W1505409659 hasConcept C136264566 @default.
- W1505409659 hasConcept C136764020 @default.
- W1505409659 hasConcept C142362112 @default.
- W1505409659 hasConcept C147446459 @default.
- W1505409659 hasConcept C162324750 @default.
- W1505409659 hasConcept C183920142 @default.
- W1505409659 hasConcept C199360897 @default.
- W1505409659 hasConcept C26517878 @default.
- W1505409659 hasConcept C2778770139 @default.
- W1505409659 hasConcept C2780378061 @default.