Proceedings 39th International Conference and Exhibition on Technology of Object-Oriented Languages and Systems. TOOLS 39

29 July-3 Aug. 2001

Filter Results

Displaying Results 1 - 25 of 32
  • 39 th International Conference And Exhibition On Technology Of Object-oriented Languages And Systems [front matter]

    Publication Year: 2001, Page(s):i - xi
    Request permission for reuse | PDF file iconPDF (300 KB)
    Freely Available from IEEE
  • The .NET Contract Wizard: adding Design by Contract to languages other than Eiffel

    Publication Year: 2001, Page(s):14 - 23
    Cited by:  Papers (2)  |  Patents (1)
    Request permission for reuse | Click to expandAbstract | PDF file iconPDF (736 KB) | HTML iconHTML

    Reliability is a key concern in the current state of software industry. Producing software without defects is still very difficult. Therefore it is crucial to benefit from high-level language mechanisms such as assertions. Nevertheless contracts are mostly a specificity of the Eiffel language. This observation convinced ISE to build a new product, the Contract Wizard, which aims at providing .NET ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Simple support for design by contract in C++

    Publication Year: 2001, Page(s):24 - 34
    Cited by:  Papers (8)  |  Patents (2)
    Request permission for reuse | Click to expandAbstract | PDF file iconPDF (631 KB) | HTML iconHTML

    Design by contract can be seen as an advanced software engineering technique for building quality software in a professional environment or as a fundamental programming concept, useful even for elementary programming. If design by contract is an afterthought, sophisticated tool support, with macros, preprocessors or patterns is acceptable. If it is to be used from the very first programs, it must ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Specification-based incremental testing of object oriented systems

    Publication Year: 2001, Page(s):35 - 44
    Cited by:  Papers (1)
    Request permission for reuse | Click to expandAbstract | PDF file iconPDF (666 KB) | HTML iconHTML

    Inheritance allows us to build OO systems incrementally. In order to exploit the full potential of inheritance, we also need to be able to test systems incrementally. We present a specification-based testing technique in which the specification and tests for a derived class are obtained incrementally from those of its base class. View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • O2BC: a technique for the design of component-based applications

    Publication Year: 2001, Page(s):46 - 55
    Cited by:  Papers (4)
    Request permission for reuse | Click to expandAbstract | PDF file iconPDF (620 KB) | HTML iconHTML

    Component-based development (CBD) has become a much talked-about subject. While the technology of CBD-as exemplified by environments such as EJB and COM-has become increasingly mature, this has not been complemented by corresponding maturity on the methodology front. Of the few published methodologies available for the design of components, most address the process of building systems from a set o... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Dynamic wrappers: handling the composition issue with JAC

    Publication Year: 2001, Page(s):56 - 65
    Cited by:  Papers (3)
    Request permission for reuse | Click to expandAbstract | PDF file iconPDF (590 KB) | HTML iconHTML

    Modern applications, and especially distributed ones, need flexibility and dynamic evolution. These goals can be partially reached with separation of concerns. However, a static approach is not sufficient when trying to get dynamic adaptation during the application execution-time. We present the JAC (Java Aspect Components) framework that meets dynamic adaptation by using the notions of dynamic wr... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Defining and building the Eiffel binding for COM

    Publication Year: 2001, Page(s):66 - 71
    Request permission for reuse | Click to expandAbstract | PDF file iconPDF (333 KB) | HTML iconHTML

    The EiffelCOM wizard allows Eiffel developers to easily create new COM components and also reuse the existing ones. The development of the EiffelCOM wizard has required defining the Eiffel binding for COM. The binding needs to preserve the simplicity and consistency of the Eiffel language and should be easy to use. This article describes the choices that EiffelCOM development team has made during ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • GAIL: the Gen-it(R) Abstract Integration Layer for B2B application integration solutions

    Publication Year: 2001, Page(s):73 - 82
    Request permission for reuse | Click to expandAbstract | PDF file iconPDF (725 KB) | HTML iconHTML

    Different solutions exist in the market for B2B application frameworks, including Microsoft(R) Biztalk/sup TM/ and Sun/sup TM/ Open Net Environment (Sun ONE). These supply a set of standard technologies and protocols for B2B application integration. However, all of these solutions require manual coding to integrate the different layers of B2B applications. Given the multi-tier nature of B2B applic... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Separation of data and presentation for the next generation Internet using the four-tier architecture

    Publication Year: 2001, Page(s):83 - 88
    Request permission for reuse | Click to expandAbstract | PDF file iconPDF (339 KB) | HTML iconHTML

    As the Internet is fast becoming a network of variety types of content accessed by a multitude of devices as well as the personal computer, software and systems design is beginning to once again change dramatically. We explore the state of content and architecture on the Internet, where it is today and where it is going. Subsequently, we introduce the concept of the presentation server and its rol... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Virtual Laboratory-agent-based resource sharing system

    Publication Year: 2001, Page(s):89 - 98
    Cited by:  Papers (2)
    Request permission for reuse | Click to expandAbstract | PDF file iconPDF (753 KB) | HTML iconHTML

    In this study, we extend the concept of distance education and our Virtual Classroom (VC) with adding a new service, that we call Virtual Laboratory (VL). While the VC represents an interface between the students and a virtual professor and provides personalized learning materials to the users, the VL offers a possibility to the attendees to share different resources out of time and space boundari... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Automatic data mining by asynchronous parallel evolutionary algorithms

    Publication Year: 2001, Page(s):99 - 106
    Request permission for reuse | Click to expandAbstract | PDF file iconPDF (297 KB) | HTML iconHTML

    How to discover high-level knowledge modeled by complicated functions, ordinary differential equations and difference equations in databases automatically is a very important and difficult task in KDD research. In this paper, high-level knowledge modeled by ordinary differential equations (ODEs) is discovered in dynamic data automatically by an asynchronous parallel evolutionary modeling algorithm... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A three-view model for developing object-oriented frameworks

    Publication Year: 2001, Page(s):108 - 119
    Cited by:  Papers (4)  |  Patents (1)
    Request permission for reuse | Click to expandAbstract | PDF file iconPDF (790 KB) | HTML iconHTML

    This paper describes a three-view model for developing object-oriented frameworks. We propose a new methodology based on this model, and demonstrate its effectiveness using an example of practical industrial applications. This model can lead software engineers to a framework that has high reliability, portability, and maintainability. These quality factors of applications are especially important ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Visual component composition using composition patterns

    Publication Year: 2001, Page(s):120 - 129
    Cited by:  Papers (7)
    Request permission for reuse | Click to expandAbstract | PDF file iconPDF (657 KB) | HTML iconHTML

    We improve current visual component composition environments by introducing composition patterns as first class objects that can be defined, stored and reused independently of the components. We document both components and composition patterns using an extended sequence diagram notation. For a component, typical usage protocols are specified while a composition pattern specifies how a set of role... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A domain-language approach to designing dynamic enterprise component-based architectures to support business services

    Publication Year: 2001, Page(s):130 - 141
    Cited by:  Papers (9)
    Request permission for reuse | Click to expandAbstract | PDF file iconPDF (822 KB) | HTML iconHTML

    Presents solutions to a major subset of problems facing component-based development and integration (CBDI). These solutions include patterns, techniques, design artifacts and activities across what we have identified as the five domains of CBDI, namely: organizational, methodological, architectural, technology implementation and infrastructure. We present a taxonomy of CBDI domains that transcends... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Implementing dynamic language features in Java using dynamic code generation

    Publication Year: 2001, Page(s):143 - 152
    Cited by:  Papers (2)  |  Patents (1)
    Request permission for reuse | Click to expandAbstract | PDF file iconPDF (572 KB) | HTML iconHTML

    Compared to dynamic object-oriented languages like CommonLisp or Smalltalk, Java has a fairly simple and restrictive object and type system. Some of the key differences between Java and these other languages are that they offer structural conformance, automatic delegation and dynamic mix-ins. When such constructs are needed in a language like Java, they are usually expressed in terms of standard o... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Pluto: an object-oriented logic programming language

    Publication Year: 2001, Page(s):153 - 162
    Request permission for reuse | Click to expandAbstract | PDF file iconPDF (628 KB) | HTML iconHTML

    The object-oriented philosophy creates a powerful synergy throughout the development life-cycle by combining abstraction, encapsulation and modularity. However, existing object-oriented programming languages are low-level procedural ones that are hard to program and debug. Logic programming allows computing problems to be expressed in a high-level declarative way, without giving instructions on ho... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A metric framework for object-oriented development

    Publication Year: 2001, Page(s):164 - 172
    Cited by:  Papers (1)
    Request permission for reuse | Click to expandAbstract | PDF file iconPDF (593 KB) | HTML iconHTML

    Metrics (quantitative estimates of product and project properties) can, if defined from sound engineering principles, be a precious tool for both project management and software development. We have recently developed an extensive set of metrics facilities for the Eiffel/Studio development environment. We describe the principles on which it is the based, the facilities it provides and how to use t... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Detecting design flaws via metrics in object-oriented systems

    Publication Year: 2001, Page(s):173 - 182
    Cited by:  Papers (34)
    Request permission for reuse | Click to expandAbstract | PDF file iconPDF (613 KB) | HTML iconHTML

    The industry is nowadays confronted with large-scale monolithic and inflexible object-oriented software. Because of their high business value, these legacy systems must be re-engineered. One of the important issues in re-engineering is the detection and location of design flaws, which prevent the efficient maintenance and further development of the system. In this paper, we present a metrics-based... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A framework for QoS management

    Publication Year: 2001, Page(s):183 - 193
    Cited by:  Papers (1)
    Request permission for reuse | Click to expandAbstract | PDF file iconPDF (689 KB) | HTML iconHTML

    Quality of service (QoS) becomes an important issue as systems become more open and therefore less predictable. In such contexts, it is difficult, using static approaches, to ensure that a system will provide the expected QoS. In dynamic approaches, services are adapted to provide the best QoS according to the execution context. This article describes an object-based framework to deal with QoS in ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Assessment of maintainability in object-oriented software

    Publication Year: 2001, Page(s):194 - 205
    Cited by:  Papers (6)
    Request permission for reuse | Click to expandAbstract | PDF file iconPDF (637 KB) | HTML iconHTML

    In software industrial practice, the high cost of the maintenance process for large-scale software has placed emphasis on the need to manage the maintainability in earlier phases of the software life-cycle. This paper discusses the applicability of architectural complexity measures to managing the complexity in the software maintenance phase and the reliability of the maintenance process. It also ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Dynamic evolution and consistency of collaborative configurations in object-oriented databases

    Publication Year: 2001, Page(s):207 - 218
    Cited by:  Patents (2)
    Request permission for reuse | Click to expandAbstract | PDF file iconPDF (676 KB) | HTML iconHTML

    Discusses design evolution support using the semantic extension of versions of a configuration that is composed of a set of component objects. The notion of transient, working and released versions of a simple object is extended to transient, working and released versions of a configuration. We look at how the consistency between a configuration version and its components' versions can be maintain... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • On ODMG data types

    Publication Year: 2001, Page(s):219 - 228
    Request permission for reuse | Click to expandAbstract | PDF file iconPDF (510 KB) | HTML iconHTML

    The ODMG (Object Data Management Group) standard for object data management systems consists of an object model for modeling applications, an object definition language (ODL) for defining database schemas, and an object query language (OQL) for writing queries. We present a formal system to specify the data types that can be defined in an ODL database schema and analyze the data types required by ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Object-oriented concepts for modular robotics systems

    Publication Year: 2001, Page(s):229 - 238
    Cited by:  Papers (4)
    Request permission for reuse | Click to expandAbstract | PDF file iconPDF (634 KB) | HTML iconHTML

    Describes how object-oriented concepts can be exploited in the design of modular robot systems. The approach is motivated in particular by the observation that, when sensors or end-effectors are mounted on mobile bases or at the end of manipulator arms, they can be said to acquire, or 'inherit', motion functionality. Other aspects of modular robotics systems similarly afford parallels with other o... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • BTOZ: a formal specification language for formalizing business transactions

    Publication Year: 2001, Page(s):240 - 252
    Request permission for reuse | Click to expandAbstract | PDF file iconPDF (716 KB) | HTML iconHTML

    Business rules are statements constraining business actions, they are context dependent, and may remain unchanged over a long period of time. The dynamic application of business rules to business actions requires a clear separation of the actions from the rules so that changes to business rules can be done without affecting the actions on which they are applied. In addition, rules can also be appl... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Extensions of standard Z refinement relation for multiple viewpoints oriented requirements method

    Publication Year: 2001, Page(s):253 - 262
    Request permission for reuse | Click to expandAbstract | PDF file iconPDF (500 KB) | HTML iconHTML

    The authors extend the standard Z refinement relation for the multiple viewpoint oriented requirements method (MVORM). The original motivation is that we found the standard Z refinement to be inadequate or incorrect when considering specifications that have temporal relationships of operations. We do our work under a generic framework of MVORM. The concept of temporal state variables is introduced... View full abstract»

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