Non-Functional Aspects of Wide Area Network Programming

Wide-Area Network (WAN) applications have become one of the most popular ap-plications in current distributed computing. Internet and the World Wide Web are now the primary environment for designing, developing and distributing appli-cations. This scenario imposes different programming metaphors with respect to traditional applications. Theoretical models for formally reasoning on WAN applications must consider many crucial aspects and their mutual relationships, e.g. mobility, network aware-ness, security, service level agreement, etc. This dissertation attempts to formally define declarative approaches for dealing with various facets of actual WAN programming and verification issues. We propose a declarative approach based on hypergraphs that provide founda-tional framework for “declaring ” components ’ behaviours of a distributed system. It is exercised with two well-known models for distributed computations as Ambient and Klaim. Moreover, we extend Klaim with constructs for specifying, at applica