By Topic

Proceedings Technology of Object-Oriented Languages and Systems. TOOLS 32

22-25 Nov. 1999

Filter Results

Displaying Results 1 - 25 of 28
  • Proceedings Technology of Object-Oriented Languages and Systems. TOOLS 32

    Publication Year: 1999
    Request permission for commercial reuse | PDF file iconPDF (795 KB)
    Freely Available from IEEE
  • Table of contents

    Publication Year: 1999, Page(s):v - vi
    Request permission for commercial reuse | PDF file iconPDF (181 KB)
    Freely Available from IEEE
  • Author index

    Publication Year: 1999, Page(s): 305
    Request permission for commercial reuse | PDF file iconPDF (7 KB)
    Freely Available from IEEE
  • Natural Creation-a composite pattern for creating objects

    Publication Year: 1999, Page(s):78 - 88
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (192 KB)

    Objects must be created throughout object-oriented programs. Programming languages provide special facilities to create and initialise objects, and creational design patterns allow these facilities to be used more flexibly. The Natural Creation pattern describes how these facilities can be used to create objects in ways that model the natural semantics of the program's underlying domain. By applyi... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Classifying component interaction in product-line architectures

    Publication Year: 1999, Page(s):66 - 77
    Cited by:  Papers (1)  |  Patents (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (72 KB)

    This paper describes a set of interaction patterns that were used to facilitate the composition of components in the product-line architecture of a robot control system. The primary purpose of supporting a common set of component interaction patterns in a product-line architecture is to reduce the learning curve of the inner working of the architecture. Interaction patterns provide the means for i... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A C++ framework for active objects in embedded real-time systems-bridging the gap between modeling and implementation

    Publication Year: 1999, Page(s):52 - 65
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (72 KB)

    In research communities it is now well-accepted that the object paradigm provides a good foundation for the challenges of concurrent and distributed computing. For practitioners, however, it is not without problems to combine the concepts of processes and objects. A major reason for this is that the predominant object-oriented programming language in industry, C++, does not support concurrency. In... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Using design patterns to derive PAC architectures from Object-Z specifications

    Publication Year: 1999, Page(s):40 - 51
    Cited by:  Papers (2)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (112 KB)

    Interactor-based architectures for Graphical User Interfaces (GUIs) model an interface as a composition of interacting objects that each present internal state to the user and provide operations on that state. One such architecture is Presentation-Abstraction-Control (PAC). Architectures such as PAC can be described as a combination of design patterns. We use the patterns to derive a PAC architect... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Extending a method of devising software contracts

    Publication Year: 1999, Page(s):234 - 251
    Cited by:  Papers (4)  |  Patents (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (96 KB)

    Classes in object-oriented programs can be specified using assertions, specifically, preconditions and postconditions on individual methods and invariants on whole classes. Such assertions can be seen as forming a contract between a class and its client classes and, by extension, between the developers of class and the developers of client classes. In some programming environments, the contracts c... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Object ownership for dynamic alias protection

    Publication Year: 1999, Page(s):176 - 187
    Cited by:  Papers (6)  |  Patents (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (244 KB)

    Interobject references in object-oriented programs allow arbitrary aliases between objects. By breaching objects' encapsulation boundaries, these aliases can make programs hard to understand and especially hard to debug. We propose using an explicit, run-time notion of object ownership to control aliases between objects in dynamically typed languages. Dynamically checking object ownership as a pro... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Design and evolution of software architecture in practice

    Publication Year: 1999, Page(s):2 - 15
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (196 KB)

    With special focus on software architectural issues, we report from the first two major phases of a software development project. Our experience suggests that explicit focus on software architecture in these phases was an important key to success. More specifically: Demands for stability, flexibility and proper work organisation in an initial prototyping phase of a project are facilitated by havin... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • How can covariance in pragmatical class methods be made statically type-safe?

    Publication Year: 1999, Page(s):200 - 209
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (136 KB)

    Binary class methods are often more suitable for modelling binary operations than binary instance methods. Allowing covariant parameter type adaptations in class methods can make them even more attractive. We discuss the implications of covariant class methods on type safety. We discuss two examples, one type-safe at run-time and the other not, and formulate type rules that make it possible to ide... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Handling multiple domain objects with Model-View-Controller

    Publication Year: 1999, Page(s):28 - 39
    Cited by:  Papers (5)  |  Patents (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (128 KB)

    The Model-View-Controller (MVC) architecture style separates software into models representing core functionality, views which display the models to the user, and controllers which let the user change the models. Although more sophisticated architectures have since been developed, MVC is interesting to explore because its simplicity makes it more acceptable to practitioners and it is beginning to ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • TinMan-a test derivation and management tool for specification-based class testing

    Publication Year: 1999, Page(s):222 - 233
    Cited by:  Papers (2)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (264 KB)

    Even with increasing use of formal methods for software development, software testing continues to be a dominant technique for verification and validation. With specification-based testing, the precision of formal specifications can make the testing more systematic. This paper describes a tool to assist the derivation of test cases from Object-Z specifications. The tool supports the Test Template ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Extending the Unified Modeling Language to support spatiotemporal applications

    Publication Year: 1999, Page(s):163 - 174
    Cited by:  Papers (3)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (48 KB)

    Recent interest in spatiotemporal data modeling has been primarily on data structures and access mechanisms, content based description and query, or extensions of existing data models to satisfy the requirements of a specific representation of space and time. However, there is a need for a general conceptual data modeling language suitable for specification and analysis of applications based on di... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Constructing interoperable components in distributed systems

    Publication Year: 1999, Page(s):274 - 284
    Cited by:  Papers (1)  |  Patents (3)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (88 KB)

    The separation of architecture definition language (ADL) and interface definition language (IDL) is widely accepted in the distributed system community. It separates issues of hierarchical composition and configuration from those of services, communication and synchronisation and thus eases reconfiguration without changing the interfaces and implementation and allows the change of services within ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Aggregation from multiple perspectives by roles

    Publication Year: 1999, Page(s):139 - 150
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (216 KB)

    A whole is aggregated from parts, where a part can be aggregated itself or be atomic. The structure forms an aggregation (or part-whole) hierarchy. The whole can be modeled from multiple perspectives, where a perspective introduces its own aggregation hierarchy as well as dedicated properties for the whole and parts. Different perspectives share the same atomic parts. Role classes and objects supp... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Architecture=abstractions over software

    Publication Year: 1999, Page(s):89 - 99
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (388 KB)

    Design of software architecture is seen as abstraction over the software domain, and describing architecture is considered to be a modeling process. A general view of a modeling process is presented and illustrated in the context of application domain modeling and of software domain modeling. The implications of this perspective are investigated in order to capture objectives and concrete forms of... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Dynamic geospatial image mosaics using JAVA, JAI, RMI and CORBA

    Publication Year: 1999, Page(s):254 - 264
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (108 KB)

    Command Control, Computers, Communications, Intelligence, and Surveillance (C4ISR) systems make extensive use of geospatial and image based information. Map displays and aerial photography are often used as the backdrop for the display of other information in systems to assist in providing situation awareness. Given the desire to have high-resolution information, the volume and variety of geospati... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Adding external iterators to an existing Eiffel class library

    Publication Year: 1999, Page(s):188 - 199
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (256 KB)

    This paper discusses common iteration schemes and highlights the interest of using explicit iterators. The advantages of external iterators are compared to those of internalized iterators. The integration of an iterator class hierarchy to an existing library without modifying the latter is detailed. This integration brings an extra level of abstraction to the library, which thus becomes more flexi... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Application level user interfaces for various media

    Publication Year: 1999, Page(s):16 - 27
    Cited by:  Patents (2)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (96 KB)

    Applications are increasingly being written with the user interface being implemented in differing media. In this paper we show how a variety of business-oriented applications can be developed so that the user interface can easily be changed from one medium to another. We abstract out the user interface requirements, show how they can be met by CUA panels and how the panels can be implemented in v... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • On creation, equality and the object model

    Publication Year: 1999, Page(s):210 - 220
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (140 KB)

    In designing languages, we strive for consistency and elegance. In object-oriented languages, simple data types have always been a problem in that they do not quite fit in with the object model. In some respects they seem to be objects, in others they are not. This typically creates the need to introduce special cases into the language definition. This paper discusses the problems involved and pro... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • The benefits of object technology in a Greenfields site

    Publication Year: 1999, Page(s):286 - 294
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (44 KB)

    This paper examines the experience of a large telecommunications and engineering company that adopted object technology for use throughout the whole of the software development lifecycle. The research reported on here is part of a larger on-going program of research into the benefits of Object Technology. The company was in the position of being able to establish its software development group fro... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Integrating UML and algebraic specification techniques

    Publication Year: 1999, Page(s):151 - 162
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (156 KB)

    Informal and formal methods can play complementary roles in object oriented software development. We present our work on integrating UML static models with the algebraic specification style. In previous work, a model for the definition of reusable components and a rigorous method for object oriented software reusability have been introduced. Our current goal is to map design artifacts to object or... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Defining UML family members using prefaces

    Publication Year: 1999, Page(s):102 - 114
    Cited by:  Papers (4)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (72 KB)

    The Unified Modeling Language is extensible, and so can be regarded as a family of languages. Implicitly or explicitly, any particular UML model should be accompanied by a definition of the particular UML family member used for the model. The definition should cover syntactic and semantic issues. This paper proposes a mechanism for associating models with such definitions. Any particular definitio... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Coupling multiagent systems and environmental data

    Publication Year: 1999, Page(s):265 - 273
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (204 KB)

    Nowadays, multiagent systems are very often used to run environmental simulations. These simulations need to use real environmental information. Unfortunately organizations (or companies), which can be everywhere in the world, very often hold these information. This fact has brought us to build a generic multiagent platform that is able to dynamically get distributed information throughout Interne... View full abstract»

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