FRINK Linked Data Fragments server

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

• W632304401 abstract "The theories based on session types stand out as effective methodologiesto specify and verify properties of distributed systems. A key result in the area shows thesuitability of choreography languages and session types as a basis for a choreography-drivenmethodology for distributed software development. The methodology it advocatesis as follows: a team of programmers designs a global view of the interactions to beimplemented (i.e., a choreography), then the choreography is projected onto each role.Finally, each program implementing one or more roles in the choreography is validatedagainst its corresponding projection(s).This is an ideal methodology but it may not always be possible to design one set ofchoreographies that will drive the overall development of a distributed system. Indeed,software needs maintenance, specifications may evolve (sometimes also during the development),and issues may arise during the implementation phase. Therefore, there is aneed for an alternative approach whereby it is possible to infer a choreography from localbehavioural specifications (i.e., session types).We tackle the problem of synthesising choreographies from local behavioural specificationsby introducing a type system which assigns – if possible – a choreography toset of session types. We demonstrate the importance of obtaining a choreography fromlocal specifications through two applications. Firstly, we give three algorithms and amethodology to help software designers refine a choreography into a global assertion,i.e., a choreography decorated with logical formulae specifying senders’ obligations andreceivers’ requirements. Secondly, we introduce a formal model for distributed systemswhere each participant advertises its requirements and obligations as behavioural contracts(in the form of session types), and where multiparty sessions are started when a setof contracts allows to synthesise a choreography." @default.
• W632304401 created "2016-06-24" @default.
• W632304401 creator A5018974160 @default.
• W632304401 date "2013-12-01" @default.
• W632304401 modified "2023-09-24" @default.
• W632304401 title "On the synthesis of choreographies" @default.
• W632304401 cites W1261671639 @default.
• W632304401 cites W146875802 @default.
• W632304401 cites W147632993 @default.
• W632304401 cites W1484150644 @default.
• W632304401 cites W1493002227 @default.
• W632304401 cites W1498393124 @default.
• W632304401 cites W1516360493 @default.
• W632304401 cites W1552587784 @default.
• W632304401 cites W1555656963 @default.
• W632304401 cites W1555792332 @default.
• W632304401 cites W156140200 @default.
• W632304401 cites W1573313194 @default.
• W632304401 cites W1595520837 @default.
• W632304401 cites W1599340713 @default.
• W632304401 cites W1603799276 @default.
• W632304401 cites W1607623316 @default.
• W632304401 cites W1611165480 @default.
• W632304401 cites W17260705 @default.
• W632304401 cites W1780016311 @default.
• W632304401 cites W1784055113 @default.
• W632304401 cites W1859947016 @default.
• W632304401 cites W1863982457 @default.
• W632304401 cites W18866292 @default.
• W632304401 cites W1987802238 @default.
• W632304401 cites W1988856107 @default.
• W632304401 cites W1989877393 @default.
• W632304401 cites W2003100195 @default.
• W632304401 cites W2025970201 @default.
• W632304401 cites W2032399648 @default.
• W632304401 cites W2040105559 @default.
• W632304401 cites W2046488919 @default.
• W632304401 cites W2048298926 @default.
• W632304401 cites W2052363833 @default.
• W632304401 cites W2056558793 @default.
• W632304401 cites W2059243982 @default.
• W632304401 cites W2069843743 @default.
• W632304401 cites W2075426808 @default.
• W632304401 cites W2082415475 @default.
• W632304401 cites W2088674899 @default.
• W632304401 cites W2099983610 @default.
• W632304401 cites W2104477831 @default.
• W632304401 cites W2112965682 @default.
• W632304401 cites W2114877704 @default.
• W632304401 cites W2119992090 @default.
• W632304401 cites W2139204893 @default.
• W632304401 cites W2141708104 @default.
• W632304401 cites W2142988323 @default.
• W632304401 cites W2143997593 @default.
• W632304401 cites W2144413529 @default.
• W632304401 cites W2144807091 @default.
• W632304401 cites W2153074919 @default.
• W632304401 cites W2153557668 @default.
• W632304401 cites W2156155209 @default.
• W632304401 cites W2162077931 @default.
• W632304401 cites W2163549752 @default.
• W632304401 cites W2804848512 @default.
• W632304401 cites W2915033835 @default.
• W632304401 cites W3037395439 @default.
• W632304401 cites W3101559033 @default.
• W632304401 hasPublicationYear "2013" @default.
• W632304401 type Work @default.
• W632304401 sameAs 632304401 @default.
• W632304401 citedByCount "0" @default.
• W632304401 crossrefType "dissertation" @default.
• W632304401 hasAuthorship W632304401A5018974160 @default.
• W632304401 hasConcept C115903868 @default.
• W632304401 hasConcept C124952713 @default.
• W632304401 hasConcept C136764020 @default.
• W632304401 hasConcept C142362112 @default.
• W632304401 hasConcept C147446459 @default.
• W632304401 hasConcept C177264268 @default.
• W632304401 hasConcept C183920142 @default.
• W632304401 hasConcept C199360897 @default.
• W632304401 hasConcept C2777904410 @default.
• W632304401 hasConcept C2779182362 @default.
• W632304401 hasConcept C40422974 @default.
• W632304401 hasConcept C41008148 @default.
• W632304401 hasConceptScore W632304401C115903868 @default.
• W632304401 hasConceptScore W632304401C124952713 @default.
• W632304401 hasConceptScore W632304401C136764020 @default.
• W632304401 hasConceptScore W632304401C142362112 @default.
• W632304401 hasConceptScore W632304401C147446459 @default.
• W632304401 hasConceptScore W632304401C177264268 @default.
• W632304401 hasConceptScore W632304401C183920142 @default.
• W632304401 hasConceptScore W632304401C199360897 @default.
• W632304401 hasConceptScore W632304401C2777904410 @default.
• W632304401 hasConceptScore W632304401C2779182362 @default.
• W632304401 hasConceptScore W632304401C40422974 @default.
• W632304401 hasConceptScore W632304401C41008148 @default.
• W632304401 hasLocation W6323044011 @default.
• W632304401 hasOpenAccess W632304401 @default.
• W632304401 hasPrimaryLocation W6323044011 @default.
• W632304401 hasRelatedWork W1494186517 @default.
• W632304401 hasRelatedWork W1529039160 @default.

• next