Proceedings Technology of Object-Oriented Languages. TOOLS 27 (Cat. No.98EX224)

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
    Request permission for reuse | PDF file iconPDF (373 KB)
    Freely Available from IEEE
  • Adding contracts to Java

    Publication Year: 1998, Page(s):2 - 7
    Cited by:  Papers (3)
    Request permission for reuse | Click to expandAbstract | PDF file iconPDF (23 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.
  • All-purpose quantifiers in an OO language

    Publication Year: 1998, Page(s):8 - 17
    Cited by:  Papers (1)
    Request permission for reuse | Click to expandAbstract | PDF file iconPDF (71 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... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A multiparadigm language for developing agent-oriented applications

    Publication Year: 1998, Page(s):18 - 26
    Cited by:  Papers (1)
    Request permission for reuse | Click to expandAbstract | PDF file iconPDF (148 KB)

    I/sup +/ 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/sup +/ has a number of limitations in developing multi agent applications as well as programming mobile agents. We i... 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)
    Request permission for reuse | Click to expandAbstract | PDF file iconPDF (153 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 perspe... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Object and role models viewing-a new comprehensive and practicable system analysis and design

    Publication Year: 1998, Page(s):43 - 52
    Request permission for reuse | Click to expandAbstract | PDF file iconPDF (1125 KB)

    Object oriented systems analysis and design method is a modern system development technique. But the promoted object oriented systems development methods still have some defects. Following the strict conception and formula of object, the paper presents a new comprehensive and practicable systems analysis and design method-Object and Role Model Viewing. It analyzes and designs the overall system fr... 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
    Request permission for reuse | Click to expandAbstract | PDF file iconPDF (180 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)
    Request permission for reuse | Click to expandAbstract | PDF file iconPDF (184 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 s... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Primary-backup object replications in Java

    Publication Year: 1998, Page(s):78 - 82
    Cited by:  Papers (3)  |  Patents (1)
    Request permission for reuse | Click to expandAbstract | PDF file iconPDF (177 KB)

    Service replication is a key to providing high availability, fault tolerance, and good performance in distributed systems. Various replication schemes have been proposed which are based on two streams of techniques, namely passive replication and active replication. The paper focuses on two implementation approaches of the passive primary-backup scheme, remote method invocation approach and replic... 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
    Request permission for reuse | Click to expandAbstract | PDF file iconPDF (478 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 vari... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Policy definition in application-domain-related classes

    Publication Year: 1998, Page(s):94 - 103
    Cited by:  Papers (1)
    Request permission for reuse | Click to expandAbstract | PDF file iconPDF (24 KB)

    The definition of classes in an object oriented system is generally specified in terms of attributes and methods since they are represented in programming languages using these constructs. However, there is other information pertinent to application domain related objects (known as policies) that are embedded in methods. Since policies are complex statements that cannot be easily represented in te... 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
    Request permission for reuse | Click to expandAbstract | PDF file iconPDF (1294 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 construct... 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
    Request permission for reuse | Click to expandAbstract | PDF file iconPDF (978 KB)

    This paper presents an approach to modelling concurrent objects in the /spl pi/-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 a... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Group model for decentralized federation of Object Creation service

    Publication Year: 1998, Page(s):127 - 136
    Request permission for reuse | Click to expandAbstract | PDF file iconPDF (157 KB)

    Distributed Object Technology is extending the traditional OO programming model into a distributed environment. It enables remote manipulation of distributed objects in a full lifecycle view. However, current technologies (CORBA or COM) either fail to address the object creation activity of the lifecycle in a balanced way, or are unable to give a proper model for implementing a federated Object Cr... 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 (6)
    Request permission for reuse | Click to expandAbstract | PDF file iconPDF (83 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... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Modeling enterprise dependency networks using an object oriented paradigm

    Publication Year: 1998, Page(s):148 - 162
    Request permission for reuse | Click to expandAbstract | PDF file iconPDF (1749 KB)

    The vast amount of information related to industrial sectors makes modeling seem an impossible task. On top of that, there is a need to consider the nature of dependencies between enterprises on a supply chain network in order build a model based on a realistic view of the world. This paper describes the attempts made so far in the Department of Computing and Information Systems at the University ... 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
    Cited by:  Patents (2)
    Request permission for reuse | Click to expandAbstract | PDF file iconPDF (90 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 t... 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
    Request permission for reuse | Click to expandAbstract | PDF file iconPDF (49 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... 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)
    Request permission for reuse | Click to expandAbstract | PDF file iconPDF (57 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 applic... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • On open communication frameworks for software agents

    Publication Year: 1998, Page(s):188 - 195
    Request permission for reuse | Click to expandAbstract | PDF file iconPDF (128 KB)

    Based on the analysis of the main representative communication models for software agents, this paper proposes a new model and its corresponding open agent communication framework. Such a framework not only has a clear infrastructure, but also can support various types of cooperation among software agents. Furthermore, the extensibility and the reusability are emphasized in this framework. View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Challenges of communication in mobile computing

    Publication Year: 1998, Page(s):196 - 203
    Request permission for reuse | Click to expandAbstract | PDF file iconPDF (361 KB)

    Mobile wide area networks promise access to information from anywhere and the ability to work in new and more productive ways. However mobile computing environments are characterized by significant and rapid changes in supporting infrastructure. They offer one of the most diverse and challenging environments in which to build distributed systems. We evaluate various communication styles operating ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Complete Object-Oriented Z and its supporting environment COOZ-Tools

    Publication Year: 1998, Page(s):206 - 213
    Request permission for reuse | Click to expandAbstract | PDF file iconPDF (84 KB)

    The paper introduces the design of COOZ, which stands for "Complete Object-Oriented Z", and the system architecture, functions, characteristics and key techniques of its supporting environment COOZ-Tools. Compared with current Z object-oriented extensions COOZ clarifies some object-oriented notions, such as distinction between active object and passive object. It also provides a more clear form of... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A development and management environment based on UML

    Publication Year: 1998, Page(s):214 - 221
    Request permission for reuse | Click to expandAbstract | PDF file iconPDF (52 KB)

    Software development is exhibiting some noticeable characteristics: model-based development, team work, parallel development, incremental and iterative development, transregional development and so on. The development process is becomes so complicated that a CASE environment is requested to support some mechanisms: mass tool integration, staff cooperation, process management, extensive data sharin... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Automatically generating Ada95 codes for concurrent objects

    Publication Year: 1998, Page(s):222 - 229
    Request permission for reuse | Click to expandAbstract | PDF file iconPDF (37 KB)

    It is reported that Ada95 is a full object-oriented programming language. Ada95's task type mechanism could be considered as a model of a concurrent object-oriented problem solution. However, there is still a gap between the language constructions of Ada95 and the general O-O concept as well as description. The complexity of Loeper's (1997) template of Ada95 codes for concurrent object is convinci... 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
    Cited by:  Papers (1)
    Request permission for reuse | Click to expandAbstract | PDF file iconPDF (269 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 ... View full abstract»

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