Proceedings. Technology of Object-Oriented Languages and Systems, TOOLS 25 (Cat. No.97TB100239)

28-28 Nov. 1997

Filter Results

Displaying Results 1 - 25 of 41
  • Proceedings. Technology of Object-Oriented Languages and Systems, TOOLS 25 (Cat. No.97TB100239)

    Publication Year: 1997
    Request permission for reuse | PDF file iconPDF (299 KB)
    Freely Available from IEEE
  • Aspects of synchronisation

    Publication Year: 1997, Page(s):2 - 14
    Cited by:  Papers (5)
    Request permission for reuse | Click to expandAbstract | PDF file iconPDF (852 KB)

    Aspect oriented programming promotes the separation of the different aspects of a system into their natural form. Synchronisation is an important aspect of concurrent object-oriented systems, but treating synchronisation as a single monolithic aspect leads to inflexibility and limited possibilities for reuse. We suggest that synchronisation has a number of different aspects, and introduce the sync... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Comparisons between CORBA IDL & COM/DCOM MIDL: interfaces for distributed computing

    Publication Year: 1997, Page(s):15 - 32
    Cited by:  Papers (2)  |  Patents (1)
    Request permission for reuse | Click to expandAbstract | PDF file iconPDF (929 KB)

    The adoption of distributed computing has brought with it the problem of interoperability. Today, program developers need to interoperate over large and complex heterogeneous networks. Dealing with the interoperability problems that these networks can provide leads to increasing the complexity of the overall system. This complexity can be significantly reduced through the introduction of an interf... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A CORBA based architecture for heterogeneous information source interoperability

    Publication Year: 1997, Page(s):33 - 49
    Cited by:  Patents (3)
    Request permission for reuse | Click to expandAbstract | PDF file iconPDF (1082 KB)

    Computational environments are characterized by islands of information. Data is spread throughout the computational system nodes and is controlled by several different data management systems. However, application programs require an integrated view of such data. Thus, it is necessary to build bridges to connect these information islands. Heterogeneous database systems, especially those object-ori... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A language for implementing computational mechanics applications

    Publication Year: 1997, Page(s):52 - 67
    Request permission for reuse | Click to expandAbstract | PDF file iconPDF (924 KB)

    Existing computer systems and user interface command languages for application in computational mechanics have been so far mostly developed by applying traditional, non-OO techniques. As a consequence, they are often hampered by severe limitations in code extensibility, reusability, robustness and correctness and require excessive programming efforts in development, testing and maintenance. In ord... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Object-oriented development based on polymorphism patterns and optimization to reduce executable code size

    Publication Year: 1997, Page(s):68 - 78
    Request permission for reuse | Click to expandAbstract | PDF file iconPDF (498 KB)

    This paper describes an object-oriented development method and an optimization method for embedded control systems. In embedded control systems development, specifications are changed frequently and there is strong constraint of memory. We present an object-oriented analysis and design method based on polymorphism patterns. Polymorphism patterns are standard of method interfaces which are shared b... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Design patterns in garbage collection

    Publication Year: 1997, Page(s):80 - 98
    Cited by:  Patents (7)
    Request permission for reuse | Click to expandAbstract | PDF file iconPDF (874 KB)

    We describe several design patterns found in garbage collectors. The patterns we present are divided into two groups. The first group are two new design patterns: Rootset and TriColour that have been used in the garbage collection domain for up to 20 years. The second group of patterns are reported in the GoF book, such as Adapter, Facade, Iterator and Proxy, but we examine their use in the garbag... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A component framework for direct-manipulation editors

    Publication Year: 1997, Page(s):99 - 112
    Cited by:  Papers (1)  |  Patents (4)
    Request permission for reuse | Click to expandAbstract | PDF file iconPDF (988 KB)

    Object-oriented software technology has some significant flaws that are addressed with component technology. The foundations of software component technology and the possible and useful kinds of software composition are still an open issue of ongoing research. After a clarification of important issues of component technology and component composition, we present an object-oriented component framew... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Patterns for finding objects within designs

    Publication Year: 1997, Page(s):113 - 120
    Cited by:  Papers (1)
    Request permission for reuse | Click to expandAbstract | PDF file iconPDF (534 KB)

    To design a program, first find your objects. Unfortunately, the right objects are not easy to find, and as a result most programs are not as well designed as they could be. This paper presents four patterns which describe how objects can be found within the designs of existing programs. By using these patterns, programs and designs can be made more simple, more general, and more easy to change. View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Characterising patterns in framework development

    Publication Year: 1997, Page(s):121 - 142
    Cited by:  Papers (1)
    Request permission for reuse | Click to expandAbstract | PDF file iconPDF (1328 KB)

    Patterns are investigated in relation to the development of applications and frameworks, and characteristics of patterns are presented in the context of analysis, design and implementation. The results are illustrated using a framework for virtual machines. The main conclusion is that different pattern characteristics can be identified in analysis, design, and implementation of applications and fr... View full abstract»

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

    Publication Year: 1997, Page(s):144 - 152
    Cited by:  Papers (2)
    Request permission for reuse | Click to expandAbstract | PDF file iconPDF (591 KB)

    Java is commonly considered the ideal language for implementing software for the Internet. A closer look, however, reveals that distributed programming is poorly supported in Java. This is because the very design of the language rules out distribution-transparent remote invocation. It is shown that Sun's technology for distributed Java programming, RMI, makes things worse by allowing two different... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Modelling multi-threading in Java

    Publication Year: 1997, Page(s):153 - 164
    Cited by:  Patents (1)
    Request permission for reuse | Click to expandAbstract | PDF file iconPDF (659 KB)

    We show how formal methods can be used to model multithreading in Java and provide useful insights into developing programs using multithreaded objects. In particular, we give an example of how deadlock can be avoided. The formalism used is that of action systems. View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Automatic generation of bridging code for accessing C++ from Java

    Publication Year: 1997, Page(s):165 - 180
    Cited by:  Patents (2)
    Request permission for reuse | Click to expandAbstract | PDF file iconPDF (1072 KB)

    Java is becoming increasingly important as a programming language for applications based on the network centric computing paradigm. While more and more applications are written an Java, a large number of working C++ implementations for standard tasks still exist. Based on a domain model for language interoperability, the paper derives the structure of the necessary bridging code between C++ and Ja... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Genja-a new proposal for parameterised types in Java

    Publication Year: 1997, Page(s):181 - 193
    Cited by:  Papers (4)  |  Patents (15)
    Request permission for reuse | Click to expandAbstract | PDF file iconPDF (678 KB)

    Recent proposals for adding parameterised types to Java have left a number of important practical issues undiscussed. We present the language Genja which is a novel generic extension of Java oriented towards practical support for generic collection types. We discuss design alternatives related to extending the power of unconstrained genericity, solving the weaknesses of constrained genericity in o... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Animating formal specifications using Java applets

    Publication Year: 1997, Page(s):196 - 209
    Cited by:  Papers (1)  |  Patents (1)
    Request permission for reuse | Click to expandAbstract | PDF file iconPDF (1216 KB)

    The paper proposes the generation of Java applets from specifications given in an extended Petri Net formalism. The anticipated advantages of this approach are to gain a greater confidence in the correctness of the final product, and to harness the capabilities of Java in a consistent framework. The emphasis of the paper is on the generation of the Java code from the Petri net specification, on th... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • "self"-conscious objects in Object-Z

    Publication Year: 1997, Page(s):210 - 224
    Request permission for reuse | Click to expandAbstract | PDF file iconPDF (893 KB)

    Within the field of object oriented type theory, much attention has been devoted to the notion of self and Self-types. In contrast, relatively little attention has been paid to this topic in studies on object oriented specification language semantics. In the context of language semantics, the notion of self poses two problems. Firstly, it involves an awareness by an object of its own identity, and... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A practical notation for object oriented analysis with a formal meaning

    Publication Year: 1997, Page(s):225 - 236
    Request permission for reuse | Click to expandAbstract | PDF file iconPDF (673 KB)

    A more formal approach to object oriented information modeling (H. Kilov and J. Ross, 1994) is proposed. The five basic associations (dependency, reference, composition, subtyping and symmetric relationship) are defined mathematically, but may still be used in a graphical notation in a user friendly way. In this way, it is possible to obtain an information model with a strict mathematical meaning ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Class-based models in the /spl pi/-calculus

    Publication Year: 1997, Page(s):238 - 251
    Cited by:  Papers (1)
    Request permission for reuse | Click to expandAbstract | PDF file iconPDF (728 KB)

    The /spl pi/-calculus provides a formal foundation for processes with dynamic interaction structures, appropriate for modeling concurrent systems with changing network topologies, and mobile agents. Not surprisingly then, it has attracted the interest of researchers wishing to formalize models for concurrent object systems. To date, most such models have been object based. We present a class based... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Interactive analysis of object architectures

    Publication Year: 1997, Page(s):252 - 266
    Cited by:  Patents (1)
    Request permission for reuse | Click to expandAbstract | PDF file iconPDF (1217 KB)

    Object oriented design notations represent application domains in terms of interacting classes where each class provides well defined services. During implementation of an object oriented design, the focus lies on individual classes rather than on groups of interacting classes. But individual classes usually implement only small, cohesive parts of system tasks. Important parts of algorithms behind... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Towards the formalization of relationships for object modelling

    Publication Year: 1997, Page(s):267 - 283
    Request permission for reuse | Click to expandAbstract | PDF file iconPDF (1073 KB)

    Relationships in object oriented models are evaluated based on a formal metamodelling approach. Various types of association and aggregation are discussed in detail as well as other relationships such as possession, containment and roles. Finally, recommendations on both semantics and notation are made for a modelling language such as OML. View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Method dispatching and type safety for objects with multiple roles

    Publication Year: 1997, Page(s):286 - 296
    Request permission for reuse | Click to expandAbstract | PDF file iconPDF (723 KB)

    The association between an instance and a class is exclusive and permanent in many class based, object oriented database systems. Therefore, these systems have serious difficulties for applications in which objects take on different and multiple roles over time. Recently, some researchers have proposed the use of roles to tackle these problems. Although many of them have realized the importance an... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Upscaling the CLOS inheritance mechanism for multidimensional objects

    Publication Year: 1997, Page(s):297 - 324
    Request permission for reuse | Click to expandAbstract | PDF file iconPDF (1439 KB)

    The paper generalizes the linearization technique known in Lisp-based languages to multidimensional objects. A general principle is defined and applied to memory representations and methods. Linearization is done on a dimension-per-dimension basis. Such application, simplified in the case of representations, has to be complemented in the case of methods, first by a condition verified in practice a... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Attribute types and bracket implementations

    Publication Year: 1997, Page(s):325 - 337
    Cited by:  Papers (1)
    Request permission for reuse | Click to expandAbstract | PDF file iconPDF (692 KB)

    In an object oriented system, different types of objects may have one or more attributes in common. For example different types of objects in a library system might be "loanable" or "catalogued". The first part of the paper introduces a distinction between object types and attribute types, showing that there are advantages in treating them as separate constructs of an object oriented programming l... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Advanced C++ Programming Styles and Idioms

    Publication Year: 1997, Page(s): 352
    Cited by:  Papers (1)
    Request permission for reuse | PDF file iconPDF (61 KB)
    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Introduction to COM

    Publication Year: 1997, Page(s): 353
    Request permission for reuse | PDF file iconPDF (29 KB)
    Full text access may be available. Click article title to sign in or learn about subscription options.