An Object-Z formal speciication of the ODP Trader is presented which concisely captures the hierarchical context structure, the distribution of information and the communication aspects of the Trader. Particular use is made of generic classes, class inheritance and object aggregation (i.e. the instantiation of collections of similar objects) to give a structured speciication that can be readily...

This essay compares the popular distributed object models/middleware standards; CORBA, DCOM and Java/RMI. These models are to a certain degree competing and have strengths and weaknesses with respect to portability, programming language and hardware support, ease of use and availability. The models are all promoting reuse through component interfaces and distributed object services. All three s...

Mobile Object-Z (MobiOZ) is an extended notation of Object-Z with mobile and communication primitives required for mobile agent applications. In this paper, we will give an overview of the MobiOZ language features and present its semantic foundation. We also demonstrate expressiveness of the notation through a number of examples.

We present a completeness proof of the inductive assertion method for object-oriented programs extended with auxiliary variables. The class of programs considered are assumed to compute over structures which include the standard interpretation of Presburger arithmetic. Further, the assertion language is first-order, i.e., quantification only ranges over basic types like that of the natural numb...

The modal "elds, generalized scattering matrix (GSM) theory and dyadic Green's functions relating to a general uniform hollow waveguide are brie#y reviewed in a mutually consistent normalization. By means of an analysis linking these three concepts, an extended version of the mathematical expression of Huygens' principle is derived, applying to scattering from an arbitrary object within a hollo...

This paper discusses machine learning of grammars and compilers of programming languages from samples of translation from source programs into object codes. This work is an application of incremental learning of definite clause grammars (DCGs) and syntax directed translation schema (SDTS), which is implemented in the Synapse system. The main experimental result is that Synapse synthesized a set...

We propose the icon-based animation of the software requirement specifications by using the object and dynamic models of the OMT methodology. In order to produce the icon-based animation, we use “graphical classes” and “icon transformations.” In general, the graphical classes are defined for each class of the object diagram. The icon transformations which show the activities of the application ...

In this work we address the extended interaction with video in virtual walkthrough. We present an algorithm for automatic extraction of camera positions during the video recording. The algorithm creates a b-spline curve, which represents the camera movement. We propose using this curve as an interactive element. The user can with help of this element change his position in video file according ...

The mirror puzzle related to the perception of mirror images as left-right reversed can be more fully understood by considering an extended problem that includes also the perception of mirror images that are not left-right reversed. The purpose of the present study is to clarify the physical aspect of this extended problem logically and parsimoniously. Separate use of the intrinsic frame of ref...

This paper presents a conceptual modeling language for spatiotemporal applications that offers built-in support for capturing geo-referenced, time-varying information. More specifically, the well-known object-oriented Unified Modeling Language (UML) is extended to capture the semantics of space and time as they appear in spatiotemporal applications. Language clarity and simplicity is maintained...