FRINK Linked Data Fragments server

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

• W3100170303 abstract "Programming distributed applications free from communication deadlocks and race conditions is complex. Preserving these properties when applications are updated at runtime is even harder. We present a choreographic approach for programming updatable, distributed applications. We define a choreography language, called Dynamic Interaction-Oriented Choreography (AIOC), that allows the programmer to specify, from a global viewpoint, which parts of the application can be updated. At runtime, these parts may be replaced by new AIOC fragments from outside the application. AIOC programs are compiled, generating code for each participant in a process-level language called Dynamic Process-Oriented Choreographies (APOC). We prove that APOC distributed applications generated from AIOC specifications are deadlock free and race free and that these properties hold also after any runtime update. We instantiate the theoretical model above into a programming framework called Adaptable Interaction-Oriented Choreographies in Jolie (AIOCJ) that comprises an integrated development environment, a compiler from an extension of AIOCs to distributed Jolie programs, and a runtime environment to support their execution." @default.
• W3100170303 created "2020-11-23" @default.
• W3100170303 creator A5005632682 @default.
• W3100170303 creator A5025039355 @default.
• W3100170303 creator A5030878839 @default.
• W3100170303 creator A5035838492 @default.
• W3100170303 creator A5058872144 @default.
• W3100170303 date "2016-11-28" @default.
• W3100170303 modified "2023-09-27" @default.
• W3100170303 title "Dynamic Choreographies: Theory And Implementation" @default.
• W3100170303 cites W122332163 @default.
• W3100170303 cites W131352529 @default.
• W3100170303 cites W1547991054 @default.
• W3100170303 cites W1554605283 @default.
• W3100170303 cites W1585111997 @default.
• W3100170303 cites W1738815643 @default.
• W3100170303 cites W1780016311 @default.
• W3100170303 cites W1927670981 @default.
• W3100170303 cites W1970654924 @default.
• W3100170303 cites W1979914341 @default.
• W3100170303 cites W1986228550 @default.
• W3100170303 cites W1990911977 @default.
• W3100170303 cites W1991621238 @default.
• W3100170303 cites W2009207073 @default.
• W3100170303 cites W2023450657 @default.
• W3100170303 cites W2040105559 @default.
• W3100170303 cites W2046473642 @default.
• W3100170303 cites W2054175778 @default.
• W3100170303 cites W2062901430 @default.
• W3100170303 cites W2106694164 @default.
• W3100170303 cites W2114146397 @default.
• W3100170303 cites W2114877704 @default.
• W3100170303 cites W2122750471 @default.
• W3100170303 cites W2136327713 @default.
• W3100170303 cites W2139204893 @default.
• W3100170303 cites W2147841033 @default.
• W3100170303 cites W2150275961 @default.
• W3100170303 cites W2157587610 @default.
• W3100170303 cites W2157790935 @default.
• W3100170303 cites W2159128481 @default.
• W3100170303 cites W2181687669 @default.
• W3100170303 cites W2329205359 @default.
• W3100170303 cites W2342200509 @default.
• W3100170303 cites W2949749421 @default.
• W3100170303 cites W2952815541 @default.
• W3100170303 cites W2963418352 @default.
• W3100170303 cites W3023060607 @default.
• W3100170303 cites W3037395439 @default.
• W3100170303 hasPublicationYear "2016" @default.
• W3100170303 type Work @default.
• W3100170303 sameAs 3100170303 @default.
• W3100170303 citedByCount "0" @default.
• W3100170303 crossrefType "posted-content" @default.
• W3100170303 hasAuthorship W3100170303A5005632682 @default.
• W3100170303 hasAuthorship W3100170303A5025039355 @default.
• W3100170303 hasAuthorship W3100170303A5030878839 @default.
• W3100170303 hasAuthorship W3100170303A5035838492 @default.
• W3100170303 hasAuthorship W3100170303A5058872144 @default.
• W3100170303 hasConcept C120314980 @default.
• W3100170303 hasConcept C124952713 @default.
• W3100170303 hasConcept C142362112 @default.
• W3100170303 hasConcept C147446459 @default.
• W3100170303 hasConcept C159023740 @default.
• W3100170303 hasConcept C169590947 @default.
• W3100170303 hasConcept C177264268 @default.
• W3100170303 hasConcept C183920142 @default.
• W3100170303 hasConcept C199360897 @default.
• W3100170303 hasConcept C2776760102 @default.
• W3100170303 hasConcept C2778514511 @default.
• W3100170303 hasConcept C2780870223 @default.
• W3100170303 hasConcept C41008148 @default.
• W3100170303 hasConcept C98045186 @default.
• W3100170303 hasConceptScore W3100170303C120314980 @default.
• W3100170303 hasConceptScore W3100170303C124952713 @default.
• W3100170303 hasConceptScore W3100170303C142362112 @default.
• W3100170303 hasConceptScore W3100170303C147446459 @default.
• W3100170303 hasConceptScore W3100170303C159023740 @default.
• W3100170303 hasConceptScore W3100170303C169590947 @default.
• W3100170303 hasConceptScore W3100170303C177264268 @default.
• W3100170303 hasConceptScore W3100170303C183920142 @default.
• W3100170303 hasConceptScore W3100170303C199360897 @default.
• W3100170303 hasConceptScore W3100170303C2776760102 @default.
• W3100170303 hasConceptScore W3100170303C2778514511 @default.
• W3100170303 hasConceptScore W3100170303C2780870223 @default.
• W3100170303 hasConceptScore W3100170303C41008148 @default.
• W3100170303 hasConceptScore W3100170303C98045186 @default.
• W3100170303 hasLocation W31001703031 @default.
• W3100170303 hasOpenAccess W3100170303 @default.
• W3100170303 hasPrimaryLocation W31001703031 @default.
• W3100170303 hasRelatedWork W1525569619 @default.
• W3100170303 hasRelatedWork W1827599051 @default.
• W3100170303 hasRelatedWork W1998596609 @default.
• W3100170303 hasRelatedWork W2089904682 @default.
• W3100170303 hasRelatedWork W2100327319 @default.
• W3100170303 hasRelatedWork W2132267530 @default.
• W3100170303 hasRelatedWork W2139590681 @default.
• W3100170303 hasRelatedWork W2139601508 @default.
• W3100170303 hasRelatedWork W2171464754 @default.
• W3100170303 hasRelatedWork W2203630088 @default.
• W3100170303 hasRelatedWork W2242800645 @default.

• next