Scheduled System Maintenance:
On May 6th, single article purchases and IEEE account management will be unavailable from 8:00 AM - 5:00 PM ET (12:00 - 21:00 UTC). We apologize for the inconvenience.
By Topic

Technology of Object-Oriented Languages, 1998. TOOLS 27. Proceedings

Date 22-25 Sept. 1998

Filter Results

Displaying Results 1 - 25 of 43
  • Proceedings Technology of Object-Oriented Languages. TOOLS 27 (Cat. No.98EX224)

    Publication Year: 1998
    Save to Project icon | Request Permissions | PDF file iconPDF (373 KB)  
    Freely Available from IEEE
  • Author index

    Publication Year: 1998 , Page(s): 387
    Save to Project icon | Request Permissions | PDF file iconPDF (168 KB)  
    Freely Available from IEEE
  • A multiparadigm language for developing agent-oriented applications

    Publication Year: 1998 , Page(s): 18 - 26
    Save to Project icon | Request Permissions | Click to expandQuick Abstract | PDF file iconPDF (156 KB)  

    I+ is a multiparadigm language for object oriented declarative programming as well as parallel programming. If is an integration of three major programming paradigms: object oriented, logic and functional with salient features for modelling distributed applications, however, I+ has a number of limitations in developing multi agent applications as well as programming mobile agents. We introduce a dedicated set of primitives necessary for communication among agents and an HTTP based infrastructure to serve mobile agents to I+. The resultant language is called I* and we argue that I* is a language suitable for the development of agent oriented applications View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Models, domains and abstraction in software development

    Publication Year: 1998 , Page(s): 28 - 42
    Cited by:  Papers (1)
    Save to Project icon | Request Permissions | Click to expandQuick Abstract | PDF file iconPDF (160 KB)  

    Any software development technology has an underlying model-explicit or implicit-of the development process. In order to understand more about the development process and the methodologies, we abstract from these. The perspective chosen for the abstraction includes domains, models developed during the process and the kind of abstraction involved in the phases of the process. A supplementary perspective includes the phases in the process, the actors during the development, and the influencing forces of the quality of the resulting models and systems. In general, the perspective controls the nature of the knowledge achieved by means of abstraction. The nature of our result from the abstraction over processes and methodologies is the structure and the interaction of the development process-corresponding to the two chosen perspectives View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • C++ program information database for analysis tools

    Publication Year: 1998 , Page(s): 173 - 180
    Save to Project icon | Request Permissions | Click to expandQuick Abstract | PDF file iconPDF (52 KB)  

    Program information extracted from source codes is valuable for research in many software engineering fields. Many program analysis tools in these fields usually share some common program information. To support multiple analysis tools based on common program information, it is practical and feasible to store information in a database. This paper describes a C++ program information database, which is comprehensive enough to support many analysis tools. To employ the idea of incremental parsing, the C++ program information database is linked by multiple incremental databases, which, in turn, are built by extracting information from source codes according to a C++ program conceptual model View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • An automatically dynamic checking tool for Java Beans semantic constraints

    Publication Year: 1998 , Page(s): 164 - 172
    Save to Project icon | Request Permissions | Click to expandQuick Abstract | PDF file iconPDF (96 KB)  

    With the development of network technology, the scale of the information system is becoming larger. Component software engineering is the hot point method supporting the development of such kinds of application based on the network computing model. Java Beans is a standard for software components. For the development of high quality components, this paper proposes a toolkit-MChecker for checking the consistency between the Java Beans semantic constraints and its implementation. MChecker uses a logic-based language-Java Beans Description Language for describing the bean's semantic constraints. Consistency checking is based on a dynamic model checking approach. A generator is used to generate the checker automatically for a source bean. A wrapper is used to make the source support the check process. We illustrate the system architecture, the key technology and the core algorithm. Some experimental results are shown by examples View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Implementation of a geospatial imagery digital library using Java and CORBA

    Publication Year: 1998 , Page(s): 280 - 289
    Cited by:  Papers (2)
    Save to Project icon | Request Permissions | Click to expandQuick Abstract | PDF file iconPDF (420 KB)  

    We have implemented a prototype distributed system for managing and accessing a digital library of geospatial imagery over a wide-area network. The system conforms to a subset of the Geospatial and Imagery Access Services (GIAS) specification from the U.S. National Imagery and Mapping Agency (NIMA), which defines an object-oriented application programming interface (API) using the Common Object Request Broker Architecture (CORBA) for remote access to the image server. The GIAS specification is being explored by the military in both the U.S. and Australia as a means for creating widely accessible imagery repositories, and also provides a convenient API for interfacing to repositories of geospatial images, such as satellite data archives, for a variety of commercial and research applications. Our prototype GIAS implementation was developed using StudioCentral from Silicon Graphics Inc., which provides a set of C++ class libraries for building digital multimedia repositories. We discuss the issues and problems involved in developing this system using CORBA, Java and C++ native methods, within the constraints of the GIAS specification View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • An O.O. software engineering training experience within a collaboration project between academia and industry

    Publication Year: 1998 , Page(s): 290 - 294
    Save to Project icon | Request Permissions | Click to expandQuick Abstract | PDF file iconPDF (96 KB)  

    This paper describes an object-oriented (O.O.) software engineering training experience, within a collaboration project between academia and industry. This experience involves the academia-industry exchange both for training and technology transfer. The project and team characteristics are described as well as the performed work and obtained results View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Adding contracts to Java

    Publication Year: 1998 , Page(s): 2 - 7
    Cited by:  Papers (1)
    Save to Project icon | Request Permissions | Click to expandQuick Abstract | PDF file iconPDF (24 KB)  

    Design by contract is a technique for specifying the requirements and deliverables between clients and suppliers in an OO system. Contracts have been implemented in Eiffel. The paper examines the possible ways that contracts can be added to Java, and explores in detail one particular mechanism based on reflection. The advantages and disadvantages of this mechanism are discussed View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A compositional approach to concurrent objects

    Publication Year: 1998 , Page(s): 116 - 126
    Save to Project icon | Request Permissions | Click to expandQuick Abstract | PDF file iconPDF (720 KB)  

    This paper presents an approach to modelling concurrent objects in the π-calculus, in which the behaviour of a concurrent object is described by the composition of a process representing its functionality that allows maximum concurrency amongst method invocations, and a controller process constraining the permissible concurrency for the object. The ability to separately specify concurrent and functional behaviours will enable us to isolate and solve problems and difficulties involved with concurrency. The π-calculus provides a reason foundation to analyse and identify the principle and properties of the separation and composition. For a particular form of controller, the normalised control process, the result of the composition is bisimilar to a process with the same pattern of control structure as the controller. Issues and examples for non-normalised control process are also discussed View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Bridging the gap between object oriented design and implementation

    Publication Year: 1998 , Page(s): 53 - 63
    Save to Project icon | Request Permissions | Click to expandQuick Abstract | PDF file iconPDF (188 KB)  

    In object oriented system development, the typical practice is to move from some dominantly graphical design model directly to coding. Though such practice is generally accepted, we argue that the gap is still too big, and demonstrate that it can be effectively reduced by exploiting the system operations: formal specification and prototyping View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Compile time recursive objects in C++

    Publication Year: 1998 , Page(s): 66 - 77
    Cited by:  Patents (2)
    Save to Project icon | Request Permissions | Click to expandQuick Abstract | PDF file iconPDF (192 KB)  

    The article explores the possibilities of generic programming offered by the template features of C++. We define compile time recursive objects as instances of class templates which contain other instances of the same template as member variables. With such templates we can define containers that contain objects of arbitrary types, but where the type of each element is known at compile time. The structure of the container is therefore fixed. The technique mimics the polymorphism achieved with dynamic binding and inheritance using static binding and template specialisation. It is obviously less flexible but offers considerable performance gains at runtime. We give the template definitions for compile time recursive lists and explain how to perform operations on these lists. As an example application, we use compile time lists in the definition of templates for special sparse vectors and matrices. In these vectors and matrices, the sparseness pattern can be arbitrary but must be known at compile time. The tracking of zero and nonzero elements is performed at compile time. This allows the programmer to use abstract vector and matrix expressions and still reach performance equal to hand coded operations. This is possible since the compiler can locate the elementary expressions between zero entries and discard them entirely from the resulting code View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Downsizing the estimation of software quality: a small object-oriented case study

    Publication Year: 1998 , Page(s): 308 - 317
    Cited by:  Papers (2)
    Save to Project icon | Request Permissions | Click to expandQuick Abstract | PDF file iconPDF (112 KB)  

    It would be beneficial if the quality of a software system could be estimated early in its lifecycle. Although many estimation methods exist, it is questionable whether the experiences gained in large software projects can successfully be transferred to small scale software development. The paper presents results obtained from a number of projects developed in a small company with limited resources. The projects were analyzed in order to find out metrics which would be suitable for early estimation of quality. A number of possible models were evaluated and discussed View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Research and implementation of distributed time service in distributed object environment

    Publication Year: 1998 , Page(s): 340 - 345
    Save to Project icon | Request Permissions | Click to expandQuick Abstract | PDF file iconPDF (8 KB)  

    Distributed time service is a basic object service in distributed computing environment based on CORBA. We present a clock synchronization method based on clock groups. We divide machines in a system into groups, while nodes in a group are in the same LAN. There is a master clock and several slave clocks in a group, which carry out intra-group synchronization. Master clocks of all groups together accomplish inter-group synchronization. Such a dividing-to-group synchronization method makes the system scalable and flexible. At the same time, it reduces machines spanning LANs to attend synchronization, thus synchronization overhead is reduced. We have implemented clock synchronization based on clock groups in our experimental distributed object environment View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • An object-oriented reference model with frameworks and libraries

    Publication Year: 1998 , Page(s): 346 - 350
    Save to Project icon | Request Permissions | Click to expandQuick Abstract | PDF file iconPDF (100 KB)  

    We propose an object oriented reference model with several middleware tools, which includes OODB, GUI libraries, and CORBA. It is approved that a software structure with a framework brings various advantages. However unplanned combinations of the different frameworks often cause the problem, which greatly decrease their expected effectiveness. We therefore propose MVIm (Model-View-Interface manager) model to escape from this problem. Since the interface manager indirectly combines between middleware, we can effectively use the middleware without bad interference View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Using persistent objects to encapsulate multi-dimension data entities in a warehousing environment

    Publication Year: 1998 , Page(s): 362 - 371
    Save to Project icon | Request Permissions | Click to expandQuick Abstract | PDF file iconPDF (484 KB)  

    A framework is explored for using persistent objects to encapsulate multidimensional entities in a data warehousing environment so that programmability can be promoted. An extension of ODL and OQL are used to support object oriented OLAP and meta business knowledge expression. This framework is applied to WEIR, a prototype project of data warehousing and knowledge discovery in data warehousing in our laboratory View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • The Concurrent Objects Calculus

    Publication Year: 1998 , Page(s): 381 - 386
    Save to Project icon | Request Permissions | Click to expandQuick Abstract | PDF file iconPDF (44 KB)  

    Research in concurrent object-oriented programming languages has suffered from the lack of a widely accepted formal foundation for describing the semantics of concurrent object systems. Based on the π-calculus and the actor model respectively, people have tried to define a common semantic framework for concurrent object-oriented programming. In this paper, we try to compromise these two approaches. We define a formalism that enjoys a clean formal definition which allows the reuse of standard results of the theory of concurrency while preserving a high-level object-oriented programming style. We propose an actor algebra and a concurrent object calculus, and then we give the translation relationship between the two View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Enhancing object communication mechanisms

    Publication Year: 1998 , Page(s): 232 - 244
    Save to Project icon | Request Permissions | Click to expandQuick Abstract | PDF file iconPDF (276 KB)  

    The paper elaborates on the object communication mechanisms as defined in the Fuzzy Object and Behavior Modeling (FOBM) technique. In traditional object oriented systems communication between objects is achieved by applying operations on objects as an analogy to message sending. FOBM enhances inter-object communication by emphasizing messages and events and supporting broader message dispatch and resolution mechanisms, message and event weighing and attenuation, sensors, indicators, emitters, and constraints to form a powerful set of mechanisms for object interaction and manipulation. Using these mechanisms new generation systems such as virtual reality environments, complex 3D modeling and animation, and non-linear systems can be represented and implemented with significantly less effort than traditional object oriented approaches. A simple FOBM construct is used to illustrate some of these concepts View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • All-purpose quantifiers in an OO language

    Publication Year: 1998 , Page(s): 8 - 17
    Save to Project icon | Request Permissions | Click to expandQuick Abstract | PDF file iconPDF (76 KB)  

    The paper describes the introduction of quantifiers in a third generation language (YAFL) in order to reduce the semantic gap between specifications and code. Some extensions of the quantifier's mechanism beyond the pure mathematical formalism are presented, as well as implementation issues. YAFL has the following properties: it is an object oriented language that advocates strictness; it includes an automatic garbage collector; it generates C as intermediate language; it supports assertions (even if in a limited form); it supports genericity; it supports single inheritance only; it segregates the module structure from the class structure of a project; it segregates between predefined types from user defined classes; and YAFL supports arrays as first class citizen of the language, for the convenience of the ad hoc notation and the resulting performance View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Deriving scenarios of object interaction through Petri net

    Publication Year: 1998 , Page(s): 104 - 113
    Save to Project icon | Request Permissions | Click to expandQuick Abstract | PDF file iconPDF (1300 KB)  

    In object-oriented systems development, a lifecycle model and an interaction model are generally adopted in the specification of object behaviour. This specification by two separate models is liable to the problem of inconsistent specification between object lifecycle and interaction. We propose an approach to deriving scenarios of object interaction through a Petri net which is directly constructed from the lifecycle models of the interacting objects. The proposed approach offers an effective mechanism for deriving scenarios of object interaction without separately constructing an interaction model, and more important, encourages consistent specification between object lifecycle and interaction View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A visual programming tool for user interface and Web page generation

    Publication Year: 1998 , Page(s): 181 - 185
    Cited by:  Patents (1)
    Save to Project icon | Request Permissions | Click to expandQuick Abstract | PDF file iconPDF (60 KB)  

    This paper describes a visual programming tool for building graphical user interfaces, that allows GUI designers to create interactive, graphical, and direct-manipulated user interfaces through graphical interaction without conventional textual programming. The tool, known as Visual VanGogh, combines the visual programming paradigm with the Java technology needed for sophisticated Web-based applications. This feature makes Visual VanGogh superior to most existing GUI builders that only develop GUIs for standalone applications, rather than for Web-based applications, and enable the customers to bridge the gap between the enterprise and the Internet View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • OSNET-a language for domain modeling

    Publication Year: 1998 , Page(s): 83 - 92
    Save to Project icon | Request Permissions | Click to expandQuick Abstract | PDF file iconPDF (484 KB)  

    Domain analysis and domain modeling has been proved to be an important technique for accelerating application development. The major step in this process is to convert requirement specification into an appropriate conceptual model of the wanted application software. The former is usually given in some form of natural language or pseudo natural language. The latter can be represented in one of various conceptual modeling languages, either graphic or symbolic. One of the major problems one encounters in this process is the big gap between the format of requirement specification and that of conceptual modeling. In order to easy this transform process, we propose a new type of conceptual modeling language OSNET which combines the semantic network representation with the object oriented paradigm. Thus it has both advantages of representing natural language style specification and object oriented style implementation. OSNET has been implemented and used in our projects for developing knowledge based software prototyping tools View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • RTFrame: an object-oriented application framework for real-time applications

    Publication Year: 1998 , Page(s): 138 - 147
    Cited by:  Papers (2)
    Save to Project icon | Request Permissions | Click to expandQuick Abstract | PDF file iconPDF (88 KB)  

    Real-time systems and applications impose stringent timing constraints on critical tasks. The design of such systems are more complex than that of conventional systems, because correctness and performance, besides being key system design issues, are directly related to system feasiblility. Object-oriented application frameworks have been proposed for communication systems, distributed applications, medical imaging, and financial engineering. On the contrary, there has been relatively little work on an application framework for the design of a general real-time system. Facing the growing need for such systems, we propose a novel framework, called RTFrame, especially for real-time systems. RTFrame consists of five components: Specifier, Extractor, Schedules, Allocator, and Generator. Within RTFrame, several design patterns have been proposed for real-time systems. Experiences of using RTFrame show a significant increase in design productivity through design reuse and a significant decrease in design time and effort View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • On the computer aided introduction of design patterns into object-oriented systems

    Publication Year: 1998 , Page(s): 258 - 267
    Cited by:  Papers (4)
    Save to Project icon | Request Permissions | Click to expandQuick Abstract | PDF file iconPDF (212 KB)  

    The authors present a new approach to the reorganization of object-oriented systems using design patterns. Instead of looking at design patterns as building blocks, they consider them to be operators, whose application transforms an existing design into an improved target design. For this purpose, an algorithmic process of design pattern application is presented. Furthermore they show that design pattern operators can be implemented in terms of refactorings in a behavior preserving way. Afterwards they demonstrate the applicability of the approach by delineating their experiences with a tool prototype, which they implemented in order to reorganize a large C++ system by using design pattern operators View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Parallel object-oriented synthesis environment based on message-passing

    Publication Year: 1998 , Page(s): 251 - 255
    Save to Project icon | Request Permissions | Click to expandQuick Abstract | PDF file iconPDF (84 KB)  

    A system-level computer design environment is proposed by integrating parallel design techniques and object-oriented technology. The system parts are modeled using object-oriented technology, such that not only are the static features of the components encapsulated, but also are the dynamic design states. A system is designed by empowering each object class with design autonomy, thus leading to a distributed-controlled environment where objects actively seek to synthesize themselves in parallel using messages. System synthesis is accomplished and related problems are solved by eight different kinds of messages passed among the objects. Problems inherent to parallel design, such as emptiness and deadlock are also solved View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.