Fraunhofer Ipsi, Paris Avgeriou, Nicolas Guelfi, Reza Razavi
The process of creating the architecture of a software system results in a documentation, which is recognized as a key artifact for stakeholder communication, early analysis of the system, support...
Table of Contents Table of Contents iii Preface v (2008)
Nicolas Guelfi, Henry Muccini, Patrizio Pelliccione, Alexander Romanovsky
ii
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...
A Generic Framework for the Engineering of Self-Adaptive and Self-Organising Systems (2008)
Di Marzo Serugendo, Giovanna, Fitzgerald, John, Romanovsky, Alexander, Guelfi, Nicolas
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...
Using the COOPN/2 Formal Method for Groupware Systems Engineering (2007)
Olivier Biberstein, Didier Buchs, Nicolas Guelfi
. COOPN/2 (Concurrent Object Oriented Petri Nets) is an object-oriented specification formalism based on Petri Nets and algebraic specifications. It is fully adapted to the specification of complex...
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...
Guelfi, Nicolas, Pruski, Cédric, Reynaud, Chantal
L'utilisation des technologies du Web Sémantique s'est généralisée au cours de ces dernières années. Ceci est vrai, en particulier, pour les langages de définition d'ontologies nécessitant...
Guelfi, Nicolas, Pruski, Cédric, Reynaud, Chantal
L'utilisation des technologies du Web Sémantique s'est généralisée au cours de ces dernières années. Ceci est vrai, en particulier, pour les langages de définition d'ontologies nécessitant...
Understanding and Supporting Ontology Evolution by Observing the (2007)
Nicolas Guelfi, Cédric Pruski, Chantal Reynaud
Abstract. Ontologies which represent domain knowledge in information systems are efficient to enhance information retrieval. However, domain knowledge is evolving over time and thus it should be also...
On the use of ontologies for an optimal representation and exploration of the web (2006)
ABSTRACT: The use and definition of ontology for the representation and the exploration of knowledge are critical issues for approaches dealing with information retrieval. In this paper, we propose a...
Modelling SystemC process behaviour by the UML Method State Machines (2005)
RICCOBENE, ELVINIA MARIA, E. RICCOBENE, P. SCANDURRA, Nicolas Guelfi
Modelling SystemC process behaviour by the UML Method State Machines / E. RICCOBENE, P. SCANDURRA. - (Lecture Notes in Computer Science ; 3475). - In: Rapid integration of software engineering...
O.: Supporting Model-toModel Transformations: The VMT Approach (2003)
Shane Sendall, Gilles Perrouin, Nicolas Guelfi, Olivier Biberstein
The model-driven architecture approach (MDA) promotes software development as driven by a thorough modeling phase where application code is automatically generated from a platform specific UML model...
Barbara Gallina, Nicolas Guelfi, Amel Mammar
Abstract: Engineering complex distributed business processes necessitates an integrated use of modeling, verification and validation techniques. This paper presents a pragmatic approach for such...
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...
Object-oriented nets with algebraic specifications: the CO-OPN/2 formalism (1997)
Olivier Biberstein, Didier Buchs, Nicolas Guelfi
This paper presents and formally defines the CO-OPN/2 formalism (Concurrent Object-Oriented Petri Net) which is devised for the specification of large concurrent systems. We introduce the basic...
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...
Object-Oriented Nets with Algebraic Specifications: The CO-OPN/2 Formalism (1997)
Olivier Biberstein, Didier Buchs, Nicolas Guelfi
. This paper presents and formally defines the CO-OPN/2 formalism (Concurrent Object-Oriented Petri Net) which is devised for the specification of large concurrent systems. We introduce the basic...
Modeling of Cooperative Editors Using COOPN/2 (1996)
Olivier Biberstein, Didier Buchs, Nicolas Guelfi
In this paper we describe how to use the CO-OPN/2 (Concurrent Object-Oriented Petri Net) formalism, by developing a case study on groupware or, more specifically, on a cooperative editor of...
Modeling of Cooperative Editors Using CO-OPN/2 (1996)
Olivier Biberstein, Didier Buchs, Nicolas Guelfi
In this paper we describe how to use the CO-OPN/2 (Concurrent Object-Oriented Petri Net) formalism, by developing a case study on groupware or, more specifically, on a cooperative editor of...
CO-OPN/2 - A Specification Language for Distributed Systems Engineering (1996)
Olivier Biberstein, Didier Buchs, Nicolas Guelfi
In this article we present the concurrent object-oriented specification language CO-OPN/2 which extends the CO-OPN (Concurrent Object Oriented Petri Nets) formalism, destined to support the...
A Specification Language for Distributed Systems (1996)
Olivier Biberstein, Didier Buchs, Nicolas Guelfi
In this article we present the concurrent object-oriented specification language CO-OPN/2 which extends the CO-OPN (Concurrent Object Oriented Petri Nets) formalism, destined to support the...
Formal Treatment of Data Structures in Concurrency Models (1996)
Nicolas Guelfi, Fabrice Mourlin
Data Types). The operational semantics of Lotos is defnied in terms of labelled transition system. Lotos can be used to specify all the allowed behaviour of a system (the set of all behaviours that...
CO-OPN/2 Applied to the Modeling of Cooperative Structured Editors (1996)
Olivier Biberstein Cui, Didier Buchs, Nicolas Guelfi
In this paper we describe how to use the CO-OPN/2 (Concurrent Object-Oriented Petri Net) formalism, by developing a case study on groupware or, more specifically, on a cooperative editor of...
Modeling of Cooperative Editors Using CO-OPN/2 (1996)
Olivier Biberstein Cui, Didier Buchs, Nicolas Guelfi
In this paper we describe how to use the CO-OPN/2 (Concurrent Object-Oriented Petri Net) formalism, by developing a case study on groupware or, more specifically, on a cooperative editor of...
Hierarchical Algebraic Nets (1995)
* This paper presents a specifications formalism, Hierarchical Algebraic Nets (HAN), which allows the specification and design of heterogeneous concurrent distributed systems using hierarchical...
Open Distributed Programming Using The Object Oriented Specification Formalism Co-Opn (1992)
. This paper provides with a description of how to use a formalism called CO-OPN (Concurrent Object Oriented Petri Nets), which incorporates both concurrency and data structuring features, for open...
Comparison of Object-Oriented Formal Methods
Nicolas Guelfi, Olivier Biberstein, Didier Buchs, Ercüment Canver, Marie-Claude Gaudel, Friedrich Von Henke, ...
this document is the classification and comparison of object-oriented formalisms for assessing their suitability within DeVa. Numerous object-oriented formal specification languages are under...