In this paper we describe our experience with how mozart-oz facilitates the introduction of distributed computing to students of limited programming background and how the application of a few basic programming concep...
详细信息
ISBN:
(纸本)3540250794
In this paper we describe our experience with how mozart-oz facilitates the introduction of distributed computing to students of limited programming background and how the application of a few basic programming concepts can increase the students' comprehension of how distributed computations actually happen.
In this paper we describe two architectures and a methodology for building mozart applications using Web technologies and tools. The first architecture is for standalone applications and the second is for web applicat...
详细信息
ISBN:
(纸本)3540250794
In this paper we describe two architectures and a methodology for building mozart applications using Web technologies and tools. The first architecture is for standalone applications and the second is for web applications. An implemented example is described.
In this talk I will review the development of the programming language oz and the programming system mozart. I will discuss where in hindsight I see the strong and the weak points of the language. Moreover, I will com...
详细信息
The design and implementation of a capability secure multiparadigm language should be guided from its conception by proven principles of secure language design. In this position paper we present the oz-E project, aime...
详细信息
ISBN:
(纸本)3540250794
The design and implementation of a capability secure multiparadigm language should be guided from its conception by proven principles of secure language design. In this position paper we present the oz-E project, aimed at building an oz-like secure language, named in tribute of E [MMF00] and its designers and users who contributed greatly to the ideas presented here. We synthesize the principles for secure language design from the experiences with the capability-secure languages E and the W7-kernel for Scheme 48 [Ree96]. These principles will be used as primary guidelines during the project. We propose a layered structure for oz-E and discuss some important security concerns, without aiming for completeness at this early stage.
This paper presents a method to solve constraint satisfaction problems including a universally quantified variable with finite domain. Similar problems appear in the field of bounded model checking. The presented meth...
详细信息
ISBN:
(纸本)3540250794
This paper presents a method to solve constraint satisfaction problems including a universally quantified variable with finite domain. Similar problems appear in the field of bounded model checking. The presented method is built on top of the mozart constraint programming platform. The main principle of the algorithm is to consider only representative values in the domain of the quantified variable. The presented algorithm is similar to a branch and bound search. Significant improvements have been achieved both in memory consumption and execution time compared to a naive approach.
The analysis of biochemical networks consists in studying the interactions between biological entities cooperating in complex cellular processes. To facilitate the expression of analyses and their computation, we intr...
详细信息
ISBN:
(纸本)3540250794
The analysis of biochemical networks consists in studying the interactions between biological entities cooperating in complex cellular processes. To facilitate the expression of analyses and their computation, we introduced CP(BioNet), a constraint programming framework for the analysis of biochemical networks. An oz-mozart prototype of CP(BioNet) is described. This prototype consists of the implementation of a new kind of domain variables, graph domain variables, and the implementation of constraint propagators for constraints over graph-domain variables. These new variables and constraints are implemented in oz and they can then be used like other domain variables in the oz-mozart platform. An implementation of a path constraint propagator is described in depth and constrained path finding tests are analysed to assess the tractability of our approach. Finally, an alternative oz-mozart data-structure for the graph-domain variables is presented and compared to the first one.
Although formal methods have the potential to greatly enhance software development, they have not been widely used in industry (particularly in the United States). We have developed a system for executing specificatio...
详细信息
ISBN:
(纸本)3540250794
Although formal methods have the potential to greatly enhance software development, they have not been widely used in industry (particularly in the United States). We have developed a system for executing specifications by compiling them to oz programs. Executability is a great aid in developing specifications, and also increases the usefulness of specifications by allowing them to serve as prototypes and test oracles. In this work, we describe how we have used the oz language both as a translation target and in implementing a library of procedures used by the generated programs. oz is ideal for our purposes, as it has allowed us to easily use declarative, concurrent constraint and graphical user interface programming together within a single framework.
Extensible Dependency Grammar (XDG) is a graph description language whose formulas can be solved by constraint programming. XDG is designed so as to yield a declarative approach to natural language processing, in part...
详细信息
ISBN:
(纸本)3540250794
Extensible Dependency Grammar (XDG) is a graph description language whose formulas can be solved by constraint programming. XDG is designed so as to yield a declarative approach to natural language processing, in particular to parsing and generation. In this paper, we present the XDG Development Kit (XDK), the first XDG-based grammar development system, which we have implemented in mozart/oz, thereby making full use of its multi-paradigmatic nature. The XDK supports an expressive lexicon specification language which which has not been published previously.
This paper introduces a network fault model for distributed applications developed with the mozartprogramming platform. First, it describes the fault model currently offered by mozart, and the issues that make this m...
详细信息
ISBN:
(纸本)3540250794
This paper introduces a network fault model for distributed applications developed with the mozartprogramming platform. First, it describes the fault model currently offered by mozart, and the issues that make this model inconvenient for building fault-tolerant applications. Second, it introduces a novel fault model that addresses these issues. This model is based on a localization operation for distributed entities, and on an event-based mechanism to manage network faults. We claim that this model 1) is much better than the current one in all aspects, and2) simplifies the development of fault-tolerant distributed applications by making the fault-tolerant aspect (largely) separate from the application logic. A prototype of this model has been developed on the existing mozart platform. This prototype has been used on real applications to validate the aforementioned claims.
Scientists from various domains resort to agent-based simulation for a more thorough understanding of complex real-world systems. We developed the Agent Visualization System;a generic system that can be added to a sim...
详细信息
ISBN:
(纸本)3540250794
Scientists from various domains resort to agent-based simulation for a more thorough understanding of complex real-world systems. We developed the Agent Visualization System;a generic system that can be added to a simulation environment to enrich it with a variety of browsers allowing the modeler to gain insight into his simulation scenario. In this paper we discuss how the various features of the oz language and the mozart platform aided us in the development of our system. Of particular importance were dataflow variables, high-orderness, the support for distribution and concurrency, the flexibility offered by QTk which was crucial in generating browsers whose structure is only known at run-time, in addition to a miscellany of features that were conductive to our work. We also highlight some of the implementation difficulties we faced and explain the techniques we utilized in overcoming them.
暂无评论