Proceedings Technology of Object-Oriented Languages and Systems (Cat. No.PR00393)

22-25 Sept. 1999

Filter Results

Displaying Results 1 - 25 of 65
  • Proceedings Technology of Object-Oriented Languages and Systems (Cat. No.PR00393)

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

    Publication Year: 1999, Page(s):v - ix
    Request permission for reuse | PDF file iconPDF (167 KB)
    Freely Available from IEEE
  • Class algebra for ontology reasoning

    Publication Year: 1999, Page(s):2 - 13
    Cited by:  Papers (4)
    Request permission for reuse | Click to expandAbstract | PDF file iconPDF (1083 KB)

    Class algebra provides a natural framework for sharing ISA hierarchies between users who may be unaware of each other's definitions. This permits data from relational databases, object-oriented databases, and tagged XML documents to be joined into one distributed ontology sharable by all users without the need for prior negotiation or the development of a "standard" ontology for each field. Moreov... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Software evolution: prototypical deltas

    Publication Year: 1999, Page(s):14 - 30
    Request permission for reuse | Click to expandAbstract | PDF file iconPDF (1009 KB)

    We present a model of the software evolution process. We introduce the notion of a delta, which represents a change in the software's environment, as a key concept for characterizing the software evolution process. A number of prototypical deltas are presented and characterized in terms of the domains, models, and actors involved. View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Modeling and reuse perspectives of inheritance can be reconciled

    Publication Year: 1999, Page(s):31 - 40
    Cited by:  Papers (1)
    Request permission for reuse | Click to expandAbstract | PDF file iconPDF (600 KB)

    In this paper, we present a new approach to integrate the two views of inheritance, conceptual modeling and code reuse. These two viewpoints are usually at odds i.e. to maximize reuse one should sacrifice modeling and vice versa. The integration of the two viewpoints in an object-oriented language is important, because both uses of inheritance are legitimate and useful. The integration takes place... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • LEAD++: an object-oriented language based on a reflective model for dynamic software adaptation

    Publication Year: 1999, Page(s):41 - 50
    Cited by:  Papers (3)
    Request permission for reuse | Click to expandAbstract | PDF file iconPDF (604 KB)

    A software system has dynamic adaptability if it can adapt itself to dynamically changing runtime environments. As open-ended distributed systems and mobile computing systems have spread widely, the need for software systems with dynamic adaptability increases. We propose a software model with dynamic adaptability called DAS and its description language LEAD++. In the DAS model, the basic mechanis... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Synchronizing Java threads using assertions

    Publication Year: 1999, Page(s):51 - 60
    Request permission for reuse | Click to expandAbstract | PDF file iconPDF (550 KB)

    The existence of mechanisms to describe and evaluate assertions in programming languages helps to reduce the conceptual gap existing between the specification and implementation phases in the software development, improving both tasks. Java, originally used as an Internet-oriented implementation language, is becoming a general-purpose language, which unfortunately does not provide this kind of mec... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • The typing of communicating sequential processes

    Publication Year: 1999, Page(s):61 - 66
    Request permission for reuse | Click to expandAbstract | PDF file iconPDF (317 KB)

    As an imperative concurrent programming language, CSP is considered weakly typed. We equip CSP with a formal second-order type system. The types of processes and prefixed processes are distinguished and they are treated as generic types that can be instantiated by the subtypes of alphabets. The bounded quantifier is introduced to represent bounded generics. View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Object mapping for layered cooperative systems

    Publication Year: 1999, Page(s):67 - 76
    Cited by:  Patents (1)
    Request permission for reuse | Click to expandAbstract | PDF file iconPDF (578 KB)

    The paper introduces a new model for inter-layer message communication called object mapping model that achieves separation between message preparation and destination selection. In this model, as opposed to traditional message delivery model, sender objects of messages need not indicate the destination objects of the messages. The messages can be intercepted by special objects called mapper objec... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Reasoning about inheritance and cloning behaviors of software agents

    Publication Year: 1999, Page(s):77 - 82
    Request permission for reuse | Click to expandAbstract | PDF file iconPDF (431 KB)

    With agents being a kind of restricted intelligent object, it is a natural way to research the inheritance feature of software agents and integrate inheritance mechanisms into AOP. Based on BDI models of agents, the paper addresses the semantics of static inheritance and dynamic inheritance of agents. For static inheritance, the semantics are discussed from two perspectives: single inheritance and... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • An object oriented data model for Web and its algebra

    Publication Year: 1999, Page(s):83 - 88
    Cited by:  Patents (2)
    Request permission for reuse | Click to expandAbstract | PDF file iconPDF (357 KB)

    XML (eXtensible Markup Language) has drawn significant attention as a standard for representation and exchange of data on the Web. But existing semistructured data models, such as OEM, cannot support XML naturally and fully. A new object oriented data model named XOM is proposed in this paper as the common data model for the Web data source. Based on rooted connected directed graph both cyclic and... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • JMSAS: a mobile software agent system

    Publication Year: 1999, Page(s):89 - 97
    Cited by:  Papers (2)
    Request permission for reuse | Click to expandAbstract | PDF file iconPDF (592 KB)

    Mobile Software Agent (MSA) is a new distributed computing model that can meet the needs of current computing environment. In MSA model, computing tasks are encapsulated into agents and are implemented through agent migration and interaction. Because MSA is still in research phase presently, there are still no explicit definition to MSA model and appropriate solutions to some implementation techni... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Strategies and techniques of freeze/melt

    Publication Year: 1999, Page(s):98 - 105
    Request permission for reuse | Click to expandAbstract | PDF file iconPDF (524 KB)

    To design a software development environment with both the advantages of dynamic and static environments, we present the Freeze/Melt mechanism. Freeze is a process to convert a module designed maturely to native code, and melt is a process to restore a frozen module to the state of intermediate code. The essence of Freeze/Melt is to implement hybrid execution of interpreting and compiling in one e... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Two-level modeling

    Publication Year: 1999, Page(s):108 - 117
    Cited by:  Papers (1)
    Request permission for reuse | Click to expandAbstract | PDF file iconPDF (536 KB)

    Experience on a large banking application has highlighted expressive weaknesses in the standard (concrete) syntax of UML, resulting in models that are under-constrained. It transpires, however, that the abstract syntax meta-model underlying UML is inherently more expressive that the concrete syntax layered on top of it. By directly reaching into, exploiting and, where necessary extending the meta-... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Extending formal specification to object-oriented models through level-view structured schemas

    Publication Year: 1999, Page(s):118 - 125
    Request permission for reuse | Click to expandAbstract | PDF file iconPDF (462 KB)

    This paper describes an approach to extending formal specification to object oriented (OO) models, called FXOOM (Formal eXtension to OO Models). FXOOM is composed of four schemas, namely, class schema, relationship schema, lifecycle schema and interaction schema. The schemas are structured in accordance with the granular levels and orthogonal views of objects. All essential areas of object feature... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • An object-oriented net graph model for agent group-based network management

    Publication Year: 1999, Page(s):126 - 132
    Cited by:  Papers (1)  |  Patents (1)
    Request permission for reuse | Click to expandAbstract | PDF file iconPDF (413 KB)

    Intelligence plays important role in network management (NM), but traditional centralized NM framework has limited feasibility of implementation for it with core being management information base (MIB). AGIMA is one distributed computing centered NM prototype system based on intelligent agent (IA) group. The modal logic, which was applied by early scholars when analyzing multi-agent knowledge syst... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Object-oriented requirements modeling based on UML

    Publication Year: 1999, Page(s):133 - 140
    Cited by:  Patents (1)
    Request permission for reuse | Click to expandAbstract | PDF file iconPDF (412 KB)

    Provides research into object-oriented (OO) requirements modeling. The proposed OO modeling strategy is based on the semantics and the diagrammatic notation of UML. The semantics of UML formalizes the expression of the user requirements, while the diagrammatic notation also enhances the understandability, traceability, verifiability and modifiability of the requirements model. The ability of the s... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Risk analysis and assessment using object-oriented techniques

    Publication Year: 1999, Page(s):142 - 145
    Cited by:  Papers (1)  |  Patents (1)
    Request permission for reuse | Click to expandAbstract | PDF file iconPDF (281 KB)

    This paper describes the concept of a "risk information base", which is a part of development methodology to address the provision of risk analysis and assessment over the domain of information systems that connect to the Internet. The work is achieved within a framework which is based on object-oriented techniques. View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A multi-layered system of metrics for the measurement of reuse by inheritance

    Publication Year: 1999, Page(s):146 - 155
    Cited by:  Papers (2)
    Request permission for reuse | Click to expandAbstract | PDF file iconPDF (503 KB)

    In spite of the intense efforts of metrics research, the impact of object-oriented software metrics is, for the moment, still quite reduced. The cause of this fact lies not in an intrinsic incapacity of metrics to help in assessing and improving the quality of object-oriented systems, but in the unsystematic, dispersed and ambiguous manner of defining and using the metrics. In this paper, we defin... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Testing Java Swing-based applications

    Publication Year: 1999, Page(s):156 - 165
    Cited by:  Papers (6)
    Request permission for reuse | Click to expandAbstract | PDF file iconPDF (505 KB)

    Testing applications with a graphical user interface can be done in several ways, with the most important being by generating events for the event queue. This paper reports on the issues involved in this for Java applications that use Swing (or JFC) objects for their user interface. It also describes the replayJava system, which can be used to record and playback user sessions or can be used to di... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Obtaining generic classes automatically through a parameterization operator. A focus on constrained genericity

    Publication Year: 1999, Page(s):166 - 176
    Request permission for reuse | Click to expandAbstract | PDF file iconPDF (727 KB)

    Generic classes allow one, through type parameter instantiation, to obtain new classes that are adapted to different contexts. Therefore, genericity is an important support for class reuse. When the possibility of reusing a class to deal with elements of different domains arises, it is desirable to have the appropriated generic class. Nevertheless, the construction of generic classes is a task tha... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • The 'domain model concealer' and 'application moderator' patterns: addressing architectural uncertainty in interactive systems

    Publication Year: 1999, Page(s):177 - 190
    Cited by:  Papers (2)
    Request permission for reuse | Click to expandAbstract | PDF file iconPDF (762 KB)

    Designing architectures for interactive systems is difficult: many system failures are due to the inability to handle the social and technical changes that occur during the development. We present two architectural patterns for interactive systems. We applied these to a short-term and a long-term development project. In the WebviseLT project, the conceptual model was modified to handle various ext... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • CoOWA: a Component Oriented Web Application model

    Publication Year: 1999, Page(s):191 - 199
    Cited by:  Papers (2)  |  Patents (1)
    Request permission for reuse | Click to expandAbstract | PDF file iconPDF (549 KB)

    As applications based on the World Wide Web are increasing rapidly in terms of both scale and complexity, it has been well recognized that the World Wide Web has evolved from a hypermedia information medium into a new distributed application platform, and it is therefore proper and prospective to view Web applications as software. Developing and maintaining large and complex Web applications deman... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A new architecture of object-oriented rule base management system

    Publication Year: 1999, Page(s):200 - 203
    Cited by:  Papers (3)
    Request permission for reuse | Click to expandAbstract | PDF file iconPDF (251 KB)

    Proposes a new model, called the Drama model, under the object-oriented paradigm, for representing the rule base of general expert systems and rule-based applications. Based on the Drama model, modules of rules can be constructed as a reusable, sharable and modifiable rule package, which can then be shared in heterogeneous applications. To manage rule packages effectively and efficiently, an objec... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Research in evolution and reuse of multi-leveled orthogonal software system architecture

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

    The design, evolution and reuse of software system architectures are always important research areas in software engineering. In this paper, we first propose the concept of a multi-level orthogonal software system architecture, then describe a methodology of evolving and reusing this software architecture. Furthermore, we apply these concepts and methods to practical work, and are confident that t... View full abstract»

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