The proceedings contain 190 papers. The special focus in this conference is on The 8th Workshop for PhD Students in object-orientedsystems and Techniques, tools and Formalisms for Capturing and Assessing the Architec...
ISBN:
(纸本)3540654607
The proceedings contain 190 papers. The special focus in this conference is on The 8th Workshop for PhD Students in object-orientedsystems and Techniques, tools and Formalisms for Capturing and Assessing the Architectural Quality in object-oriented Software. The topics include: Framework design and documentation;reengineering with the CORBA meta object facility;enforcing effective hard real-time constraints in object-oriented control systems;online-monitoring in distributed object-oriented client/server environments;a test bench for software;intermodular slicing of object-oriented programs;validation of real-time objectoriented applications;parallel programs implementing abstract data type operations;a dynamic logic model for the formal foundation of object-oriented analysis and design;a refinement approach to object-oriented component reuse;a compositional approach to concurrent objectsystems;component-based architectures to generate software components from OO conceptual models;adding database functionality to an object-oriented development environment;run-time reusability in object-oriented schematic capture;a semi-autonomous database evolution system;framework design for optimization;object-oriented control systems on standard hardware;design of an object-oriented scientific simulation and visualization system;testing components using protocols;virtual types, propagating and dynamic inheritance, and coarse grained structural equivalence;on polymorphic type systems for imperative programming languages;formal methods for component-based systems;compilation of source code into object-oriented patterns;integration of object-based knowledge representation in a reflexive object-oriented language;implementing layered object-oriented designs;an evaluation of the benefits of objectoriented methods in software development processes and process measuring, modeling, and understanding.
The TMO (Time-triggered Message-triggered object) structuring scheme has been formulated in recent years with the goal of improving the productivity by multiple times in the design of complex real-time computer system...
详细信息
ISBN:
(纸本)0818685824
The TMO (Time-triggered Message-triggered object) structuring scheme has been formulated in recent years with the goal of improving the productivity by multiple times in the design of complex real-time computer systems (RTCS's). The TMO scheme is intended to facilitate the pursuit of a new paradigm in designing RTCS's which is called the "General-form timeliness-Guaranteed (GG)" design paradigm. The essence of the GG design paradigm is to realize real-time computing with a common and general design style not alienating the main-stream computing industry and yet allowing system engineers to confidently produce certifiable RTCS's for safety-critical applications. The TMO structuring scheme is a syntactically simple but semantically major extension of the conventional object structuring approaches and as such, its support tools can be based on various well-established object-oriented programming languages such as C++ and JAVA and on ubiquitous commercial real-time operating system kernels. The scheme enables a great reduction of the designer's The scheme enables a great reduction of the designer's efforts in guaranteeing timely service capabilities of information systems. In this paper we discuss the major features of the TMO structuring approach for real-time computer systems and its potential for use in the systems and its potential for use in the telecommunication application domain. Some of the major computing requirements that are imposed by a large class of telecommunication applications are identified and then the discussion on how well the TMO approach can satisfy these requirements, follows. As a concrete illustration, we also present the top-down design of a simple yet concrete multi-party video conferencing application using the TMO structuring scheme. Finally, the major benefits of the TMO structuring scheme in the design of complex RTCS's are discussed.
暂无评论