Citation Context

...ully be formalized using process calculi. There are other process calculi with operators to snapshot, restore, and duplicate running locations, including the Kell Calculus [Schmitt and Stefani, 2005, =-=Lienhardt et al., 2007-=-] and the Seal Calculus [Castagna et al., 2005]. A great many formalisms—see Lapadula et al. [2007], for example, and its bibliography—have been developed to represent orchestration, choreography, and...

Citation Context

...us. We have defined an operational semantics for the language, and worked out several examples to illustrate how Oz/K supports open distributed programming. A first version of Oz/K has been published =-=[26]-=-, [31], with proofs of basic security properties. 6.3.2. A Type System for the Dream Framework Building complex component-based software architectures can lead to assemblage errors that are not captur...

Citation Context

...tation, bibliothèques de communication, intergiciels à messages, systèmes de gestion de persistance, etc). L’équipe-projet Sardes développe actuellement un langage de programmation, appelé Oz/K =-=[1]-=-, dérivé du langage Oz (http://www.mozart-oz.org), qui incorpore des concepts clés du modèle Fractal. Le stage proposé participe de l’effort de recherche autour de Oz/K. Objectifs du stage Le lan...

Citation Context

...program into a tree hierarchy. Moreover, some of these calculi use this structure to control communication and to enable adaptation through the modification of the program structure. Finally, in Oz/K =-=[37]-=-, the authors propose a core programming language with components as a main feature. These component models, being formally defined, are a better fit for ABS than the previous ones, but still have sev...

Citation Context

...me and to add new components; still, it is difficult for the programmers to ensure that reconfigurations will not create state inconsistencies. Formal approaches to component models have been studied =-=[16, 55, 83, 68, 62, 60]-=-. These models have the advantage of having a precise semantics, which clearly defines what components, ports and bindings are (when such constructs are included). This helps understanding how dynamic...