M. Bastien Chopard, Professeur Adjoint, Giovanna Di, Marzo Serugendo, M. Dimitri Konstantas, ...
TH `ESE pr'esent'ee `a la Facult'e des sciences 'economiques et sociales de l'Universit'e de Gen`eve par
Formal Development ofJava Based Web Parallel Applications � (2008)
Giovanna Di, Marzo Serugendo, Nicolas Guel
The Java object-oriented programming language has been the subject of an important involvement from programmers and the industry. Especially for applications related to the Web. The problem of such a...
Hovering Information- Self-Organising Information that Finds its Own Storage (2008)
Dimitri Konstantas, Giovanna Di, Marzo Serugendo
A piece of Hovering Information is a geo-localized information residing in a highly dynamic environment such as a mobile ad hoc network. This information is attached to a geographical point, called...
Giovanna Di, Marzo Serugendo, ...
– Large scale open distributed systems – Autonomous and heterogeneous entities – Decentralised control – Large number of components
AUTONOMOUS SYSTEMS WITH EMERGENT BEHAVIOUR (2008)
This chapter presents the notion of autonomous engineered systems working without central control, through self-organisation and emergent behaviour. It argues that future large scale applications...
Specification-Carrying Code for Self-Managed Systems (2008)
Giovanna Di, Marzo Serugendo, Michel Deriaz
Abstract. This paper proposes the notion of Specification-Carrying Code as an interaction mechanism for self-assembly of autonomous decentralised software components. Each autonomous software entity...
Self-Organisation: Paradigms and Applications (2008)
Giovanna Di, Marzo Serugendo, Noria Foukia, Salima Hassas, Anthony Karageorgos, Soraya Kouadri Mostéfaoui, ...
Abstract. A self-organising system functions without central control, and through contextual local interactions. Components achieve a simple task individually, but a complex collective behaviour...
On the Use of Formal Specifications as Part of Running Programs (2008)
Abstract. Issues related to large scale systems made of autonomous components encompass interoperability among independently developed software and adaptability to changing environmental conditions....
Dependable Self-organising Software Architectures- An Approach for Self-Managing Systems (2008)
Giovanna Di, Marzo Serugendo, John Fitzgerald, Er Romanovsky, Nicolas Guelfi
Abstract. We argue that principles from the design of dependable software, especially separation of concerns and the use of formality, can be applied beneficially in the construction of self-managing...
Designing Fault-Tolerant Mobile Systems (2007)
Giovanna Di, Marzo Serugendo, Alexander Romanovsky
Abstract. The purpose of this paper is to investigate how several innovative techniques, not all initially intended for fault-tolerance, can be applied in providing fault tolerance of complex mobile...
Giovanna Di, Marzo Serugendo, Nicolas Guelfi, Alexander Romanovsky, Avelino Zorzo
The objectives of this paper are twofold. On the one hand, it aims to show the advantages of Coordinated Atomic actions (CA actions) as a design concept for dependable distributed system development,...
Giovanna Di, Marzo Serugendo, Dino Mandrioli, Didier Buchs, Nicolas Guelfi
This report defines synchronised Petri nets with inhibitor arcs and an extension of these nets that integrates real-time constraints. The semantics of these nets is given by a transition system built...
This paper presents first a formal development methodology that enables a specifier to add complexity progressively into the system design, and to formally validate each step wrt client's...
A Formal Development and Validation Methodology for System Design (2007)
This paper presents first a formal development methodology that enables the validation of formal specifications as well as program codes wrt client’s requirements. The methodology is based on the...
A Formal Development and Validation Methodology for System Design (2007)
This paper presents first a formal development methodology that enables the validation of formal specifications as well as program codes wrt client's requirements. The methodology is based on...
A Formal Development and Validation Methodology Applied to Agent-Based Systems (2007)
Abstract. This paper presents first a formal development methodology that enables a specifier to add complexity progressively into the system design, and to formally validate each step wrt...
Dependable requirements for hovering information (2007)
Hovering information is a new concept denoting information that stays attached to a specific geographical location rather than to a specific host. As a result, when deployed over a mobile set of...
Self-organisation and emergence in mas: An overview (2006)
Giovanna Di, Marzo Serugendo, Marie-pierre Gleizes, Anthony Karageorgos
The spread of the Internet and the evolution of mobile communication, have created new possibilities for software applications such as ubiquitous computing, dynamic supply chains and medical home...
Self-organisation and emergence in mas: An overview (2006)
Giovanna Di, Marzo Serugendo, Marie-pierre Gleizes, Anthony Karageorgos
The spread of the Internet and the evolution of mobile communication, have created new possibilities for software applications such as ubiquitous computing, dynamic supply chains and medical home...
Towards a Secure and Efficient Model for Grid Computing using Mobile Code (2002)
Walter Binder, Giovanna Di, Marzo Serugendo, Jarle Hulaas
Abstract. Mobile code has often been mentioned as an attractive technol-ogy for distributing computations inside a Grid consisting of heterogeneous nodes interconnected by a large-scale network. We...
Abstract — This paper provides a unifying view for the engineering of self-adaptive (SA) and self-organising (SO) systems. We first identify requirements for designing and building trustworthy...
Formal Development and Validation of Java Dependable Distributed Systems (1999)
Giovanna Di, Nicolas Guelfi, Alexander Romanovsky, Avelino Francisco Zorzo
The rapid expansion of Java programs into software market is often not supported by a proper development methodology. Here, we present a formal development methodology well-suited for Java dependable...
Formal Development of Java Based Web Parallel Applications (1998)
The Java object-oriented programming language has been the subject of an important involvement from programmers and the industry. Especially for applications related to the Web. The problem of such a...
CO-OPN/2 Specification of the DSGamma System Designed Using Coordinated Atomic Actions (1998)
Giovanna Di, Nicolas Guelfi, Alexander Romanovsky, Avelino Zorzo
The objectives of this paper are twofold. On the one hand, it aims to show the advantages of Coordinated Atomic actions (CA actions) as a design concept for dependable distributed system development,...
The problem addressed in this paper is the following: "How to use high-level Petri nets for the reverse engineering of implemented distributed applications ?". We present a reverse...
Formal Development of Java Based Web Parallel Applications (1998)
The Java object-oriented programming language has been the subject of an important involvement from programmers and the industry. Especially for applications related to the Web. The problem of such a...
Giovanna Di, Nicolas Guelfi, Alexander Romanovsky, Avelino Zorzo
The objectives of this research are twofold. On the first hand, it aims to show the interest of Coordinated Atomic actions (CA actions) as a design concept and, on the other hand it explains how the...
The problem addressed in this paper is the following: `How to use high-level Petri nets for the reverse engineering of a Java applet based client/server application ?'. We present a reverse...
COALA - A Formal Language for Coordinated Atomic Actions (1998)
Julie Vachon, Didier Buchs, Mathieu Bu O, Giovanna Di, Marzo Serugendo, Brian R, ...
A Coordinated Atomic Action (CA action) is a uni ed scheme for coordinating complex concurrent activities and supporting error recovery between multiple interacting objects in distributed...
Formal Development of Java Programs (1997)
The Java object-oriented programming language has been the subject of an important involvement from programmers and industry. Especially for applications related to the Web. The problem of such rapid...
Survey of Theories for Mobile Agents (1996)
Giovanna Di, Murhimanya Muhugusa, Christian Tschudin, Jürgen Harms
This paper investigates existing formalisms related to one or more features of the messenger paradigm: mobile processes, distributed processes, agents, communication through shared memory. A summary...
Formalization of Agents and Multi-Agent Systems. The Special Case of Category Theory (1996)
Giovanna Di, Murhimanya Muhugusa, Christian Tschudin, Jürgen Harms
This working paper lists some ideas on how to apply category theory to agents, and multi-agent systems. It focuses more on the distributivity and compositionality of agents, as well as on the...
A Survey of Theories for Mobile Agents (1995)
Giovanna Di, Murhimanya Muhugusa, Christian F. Tschudin
This paper presents a comparative survey of formalisms related to mobile agents. It describes the -calculus and its extensions, the Ambient calculus, Petri nets, Actors, and the family of generative...
Survey of Theories for Mobile Agents (1995)
Giovanna Di Marzo, Giovanna Di, Marzo Serugendo, Murhimanya Muhugusa, Christian Tschudin, Jurgen Harms, ...
This paper investigates existing formalisms related to one or more features of the messenger paradigm: mobile processes, distributed processes, agents, communication through shared memory. A summary...
G. Di, Marzo Serugendo, J. S. Fitzgerald, A. Romanovsky, N. Guelfi, Giovanna Di, ...
This paper provides a unifying view for the engineering of self-adaptive (SA) and self-organising (SO) systems. We first identify requirements for designing and building trustworthy self-adaptive and...