The concept of design patterns has recently emerged as a new paradigm in the context of object-orienteddesign methodology. Similar ideas are being explored in other areas of computing. In the parallel computing domai...
详细信息
This paper describes an approach towards verification of objectoriented real-Time software systems, based on ATL+, a formal specification language of which the syntax and semantics are inspired by the Java programmin...
详细信息
This paper summarizes experiments with a videoconferencing service platform, based on the use of distributed object services. These experiments were performed and used in a Eurescom project, which aimed at validating ...
详细信息
In this talk, we present a series of C++ programming design idioms for writing efficient C++ programs, briefly review the underlying C++ object model, and turn to design alternatives when the idioms themselves become ...
详细信息
In this talk, we present a series of C++ programming design idioms for writing efficient C++ programs, briefly review the underlying C++ object model, and turn to design alternatives when the idioms themselves become overwhelmed with, say, large-scale object creation and copy. We look at object-based and object-orienteddesign, use of the STL container classes and generic algorithms, and the design alternatives of inheritance versus parameterization through use of the C++ template facility. This is a particularly effective area of program efficiency because (a) the idioms generally make for more readable programs, and (b) once the idioms and implementation (or object) model is internalized, these gains in efficiency come mostly for free - I like to think of them as low-hanging fruit. In the course of the tutorial, I'll point out areas where experienced C programmers tend to write correct but frightfully sluggish C++ code by contrasting C and C++ programming idioms.
The great variety of embedded systems makes it almost impossible to find an universal method that meets all the requirements in embedded system design. Hence, the OOCOSIM (objectoriented cosimulation of embebbed cont...
详细信息
The inclusion of error handling capabilities within geographical information systems (GIS) is seen by many as crucial to the future commercial and legal stability of the technology. This thesis describes the analysis,...
The inclusion of error handling capabilities within geographical information systems (GIS) is seen by many as crucial to the future commercial and legal stability of the technology. This thesis describes the analysis, design, implementation and use of a GIS able to handle both geographical information (GI) and the error associated with that GI. The first stage of this process is the development of an error-sensitive GIS, able to provide core error handling functionality in a form flexible enough to be widely applicable to error-prone GI. object-oriented (OO) analysis, design and programming techniques, supported by recent developments in formal OO theory, are used to implement an error-sensitive GIS within Laser-Scan Gothic OOGIS software. The combination of formal theory and GIS software implementation suggests that error-sensitive GIS are a practical possibility using OO technology. While the error-sensitive GIS is an important step toward full error handling systems, it is expected that most GIS users would require additional high level functionality before use of error- sensitive GIS could become commonplace. There is a clear need to provide error handling systems that actively assist non-expert users in assessing, using and understanding error in GI. To address this need, an error-aware GIS offering intelligent domain specific error handling software tools was developed, based on the core error-sensitive functionality. In order to provide a stable software bridge between the flexible error-sensitive GIS and specialised error-aware software tools, the error-aware GIS makes use of a distributed systems component architecture. The component architecture allows error-aware software tools that extend core error-sensitive functionality to be developed with minimal time and cost overheads. Based on a telecommunications application in Kingston-upon-Hull, UK, three error-aware tools were developed to address particular needs identified within the application. First, an
This paper investigates the use of object-oriented techniques for the specification and design of distributed multimedia applications (DMAs). DMAs are a class of software applications with a range of strong - often co...
详细信息
This paper investigates the use of object-oriented techniques for the specification and design of distributed multimedia applications (DMAs). DMAs are a class of software applications with a range of strong - often conflicting - requirements of dynamicity, interactivity, real-time synchronized processing of several media types, network distribution, high-performance, fault-tolerance, load balancing and security. The development of complex DMAs can benefit from the adoption of objectdesign methods and distributed objects implementation technologies. The paper describes the use of two modeling approaches, based on the standard UML modeling language, and on the TRIO formal specification language, respectively. The problem of defining steps to move from the UML or TRIO specification to a CORBA IDL implementation is addressed too. An experimental distributed Video-on-Demand system is used throughout the paper as a case study.
This paper presents a design for a generic flight control system (FCS) architecture that breaks the control system into a coupled interaction of laws and devices with a standardized method for execution. Laws generall...
详细信息
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, imp...
详细信息
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-orientedimplementation language, is becoming a general-purpose language, which unfortunately does not provide this kind of mechanism. We present a proposal to include assertions into Java, which also allows including the use of quantified variables in the assertions. The paper analyzes the properties that such integration must satisfy in order to guarantee a seamless interaction with the rest of the language constructions. The proposal shows how assertions can be used to synchronize Java threads introducing the notion of synchronization object and extending the semantics of preconditions. The goal is to increase the objectoriented expressiveness of the language to describe concurrency.
This paper investigates the use of object-oriented techniques for the specification and design of distributed multimedia applications (DMAs). DMAs are a class of software applications with a range of strong-often conf...
详细信息
This paper investigates the use of object-oriented techniques for the specification and design of distributed multimedia applications (DMAs). DMAs are a class of software applications with a range of strong-often conflicting-requirements of dynamicity, interactivity, real-time synchronized processing of several media types, network distribution, high-performance, fault-tolerance, load balancing and security. The development of complex DMAs can benefit from the adoption of objectdesign methods and distributed objectimplementation technologies. The paper describes the use of two modeling approaches, based on the standard UML modeling language, and on the TRIO formal specification language, respectively. The problem of defining steps to move from the UML or TRIO specification to a CORBA IDL implementation is addressed. An experimental distributed video-on-demand system is used throughout the paper as a case study.
暂无评论