PerDiS ―- a Persistent Distributed Store for Cooperative Applications

International audiencethis paper we give an overview of the project, its motivation and the PerDiS platform architecture. We also address some expected problems and related wor

PerDiS: design, implementation, and use of a PERsistent DIstributed Store

International audienceThe PerDiS (Persistent Distributed Store) project addresses the issue of providing support for distributed collaborative engineering applications. We describe the design and implementation of the PerDiS platform, and its support for such applications. Collaborative engineering raises system issues related to the sharing of large volumes of fine-grain, complex objects across wide-area networks and administrative boundaries. PerDiS manages all these aspects in a well defined, integrated, and automatic way. Distributed application programming is simplified because it uses the same memory abstraction as in the centralized case. Porting an existing centralized program written in C or C++ is usually a matter of a few, well-isolated changes. We present some performance results from a proof-of-concept platform that runs a number of small, but real, distributed applications on Unix and Windows NT. These confirm that the PerDiS abstraction is well adapted to the targeted application area and that the overall performance is promising compared to alternative approache

An Executor for KBSSF

During the last years several formal development methodologies became available in the area of software engineering. However, only recently formal methods entered the field of knowledgebased system development. Some of these methods support a formal functional specification of knowledge-based systems. In order to make an effective and efficient use of formal functional models, we believe a simulation tool is needed which displays the specified functionality. We present a formal development methodology for knowledge-based systems called VITAL, and we describe the design and implementation of a simulator for K BS SF, the formal functional specification language of VITAL. In the design and implementation of the K BS SF simulator we took a transformational approach which makes use of existing programming languages (C ++ and Prolog) and a transformator generator. Keywords: knowledge-based systems, formal development methodologies, system validation, simulation. 1 Introduction K BS SF is ..

Federating Databases using DOOD Technology to Support Provisioning of Telecommunication Services

This paper addresses the problem of federated database support for provisioning of telecommunication services. Provisioning telecommunication services means dealing with various heterogeneous data sources such as service data, product data, billing data, usage data etc. The paper reports our approach towards the use of federated database technology to provide uniform access to the various data sources. Apart from validating the usefullness of federated databases for service provisioning in general, we evaluated the suitability of a deductive and object oriented data model (DOOD) for database federation. Our approach is illustrated by the use of federated database technology for offering uniform access to a heterogeneous collection of network registration databases. These databases form the core databases on which most of the information systems supporting service provisioning are based. As an example we present leased lines provisioning. 1 Introduction The growing competition in the t..

PerDiS: design, implementation, and use of a PERsistent DIstributed Store

The PerDiS (Persistent Distributed Store) project addresses the issue of providing support for distributed collaborative engineering applications. We describe the design and implementation of the PerDiS platform, and its support for such applications. Collaborative engineering raises system issues related to the sharing of large volumes of ne-grain, complex objects across wide-area networks and administrative boundaries. PerDiS manages all these aspects in a well dened, integrated, and automatic way. Distributed application programming is simplied because it uses the same memory abstraction as in the centralized case. Porting an existing centralized program written in C or C++ is usually a matter of a few, well-isolated changes. We present some performance results from a proof-of-concept platform that runs a number of small, but real, distributed applications on Unix ? This work was supported by Esprit under the PerDiS project (n o 22533), http://www.perdis.esprit.ec..

PerDiS: design, implementation, and use of a PERsistent DIstributed Store

: The PerDiS #Persistent Distributed Store# project addresses the issue of providing support for distributed collaborative engineering applications. We describe the design and implementation of the PerDiS platform, and its support for such applications. Collaborative engineering raises systems issues related to the sharing of large volumes of #ne-grain, complex objects across wide-area networks and administrative boundaries. PerDiS automatically manages all these aspects in a well de#ned, integrated, and automatic way. Distributed application programming is simpli#ed because it uses the same memory abstraction as in the centralized case. Porting an existing centralized program is usually a matter of a few, well-isolated changes. We present some performance results from a proof-of-concept platform that runs a number of small, but real, distributed applications on Unix and Windows NT. These con#rm that the PerDiS abstraction is well adapted to the targeted application area and that the..