Application and Theory of Petri Nets 1995
16th International Conference Turin, Italy, June 26–30, 1995 Proceedings
Page
%P
-
Chapter and Conference Paper
Petri net based models for the specification and validation of protocols
The main interest which comes from the use of state based approaches is their easy acceptance by users. People understand and become able to use them in a rather short time, beginning with problems or parts of...
-
Chapter
Design, specification and validation of hierarchies of protocols in distributed systems
This paper addresses the design, specification and validation of the hierarchy of software which is needed when develo** complex distributed systems. The main specificities of the design are emphasized and r...
-
Chapter and Conference Paper
Petri net based models in the specification and verification of protocols
Many approaches exist for the formal description of communication and cooperation protocols, as for instance Petri nets and their extensions, abstract data types, temporal logic, process algebras and high leve...
-
Chapter
Applying Petri Net Based Models in the Design of Systems
Many approaches are being developed for handling the different phases in the design of complex information systems, namely specification, verification, evaluation, implementation and testing. These approaches ...
-
Chapter and Conference Paper
Time Stream Petri Nets a model for timed multimedia information
This paper introduces a model for specifying synchronization constraints in distributed asynchronous multimedia systems and applications. The consistency and semantics of multimedia systems depend on the tempo...
-
Article
The Cesame project: formal design of high speed multimedia cooperative systems
The project Cesame, a collaborativeCnet andCnrs project, aims to develop an adequate methodology, supported by formal techniques and tools, for designing and implementing high speed multimedia cooperative systems...
-
Article
Partial order connections : a new concept for high speed and multimedia services and protocols
This paper presents a new concept that has been developed to define high performance multimedia data transfers between communicating entities. All current protocols use either connectionless (Cl) or connection...
-
Article
Transport layer for cooperative multimedia applications
This paper presents work carried out within the Cesame project for the design of a multimedia highspeed distributed transport provider. The term transport provider is used to target a reference framework but d...
-
Book and Conference Proceedings
-
Article
Multimedia and cooperation
-
Article
Validated design of dynamic membership services and protocols for cooperative groups
This paper first presents a groupware service and an associated protocol that manage the dynamic membership of agents inside cooperative groups and second gives the design methodology that has been used for de...
-
Chapter
Formal Design of Cooperative Systems
This paper starts with a formal definition of the concept of cooperation in distributed systems. The proposed model is based on the use of graphs and of logic, where logic expresses contradiction and pragmatis...
-
Chapter and Conference Paper
Service definition of a multimedia partial order connection
Starting from a new concept of connection, the partial order connection (POC), we introduce the design principles of a multimedia partial order Transport connection (MM-POC), that allows one to define a multim...
-
Chapter and Conference Paper
An integrated platform for cooperative teleteaching
This paper presents the architecture and the design of a distributed teleteaching platform adapted to the professional education of Airbus air-plane pilots and maintenance agents. Starting from the studies of ...
-
Chapter and Conference Paper
Dynamic QoS renegotiation in the PNSVS videoconferencing application
This paper aims to study the dynamic QoS renegotiation in a particular case, a videoconferencing application: PNSVS (Petri Net Synchronized Videoconferencing System). In the paper, we present first the QoS mod...
-
Book
-
Book and Conference Proceedings
Interactive Distributed Multimedia Systems and Telecommunication Services
6th International Workshop, IDMS’99 Toulouse, France, October 12–15, 1999 Proceedings
-
Chapter and Conference Paper
Design and Implementation of Coordination Protocols for Distributed Cooperating Objects — A General Graph-Based Technique Applied to Corba
This paper introduces a technique for the design and the implementation of coordination protocols in distributed cooperative applications using distributed objects and CORBA. An application architecture is des...
-
Chapter and Conference Paper
A Cooperation Service for CORBA Objects. From the Model to the Applications⋆
This paper introduces a CORBA-based cooperation service for distributed applications and its underlying design model distinguishing coordination and communication. The communication service provides a group co...
-
Article
New architecture for enforcing multimedia synchronization in videoconferencing applications
This paper presents a formally defined architecture allowing the design and the corresponding implementation of a set of modules that fulfill the quality of service requirements of PNSVS (Petri Net Synchronize...
