A metasystem is composed of geographically distributed heterogeneous resources that can be reached over the network. An essential software layer, often called middleware, maps heterogeneous hosts into a single coheren...
详细信息
A metasystem is composed of geographically distributed heterogeneous resources that can be reached over the network. An essential software layer, often called middleware, maps heterogeneous hosts into a single coherent virtual machine, giving the user the power of a unique computing environment. In this paper all object-oriented middleware for the metasystem based on the Internet is described in detail. It masks the hardware details, giving the user a single-image space system with transparent data transfer and uniform program interface.
Interface definition languages serve to specify module and interface names, as well as operation signatures. However, IDLs lack means to express aspects, such as synchronization constraints, pre- and post conditions, ...
详细信息
Interface definition languages serve to specify module and interface names, as well as operation signatures. However, IDLs lack means to express aspects, such as synchronization constraints, pre- and post conditions, invariants, quality of service annotations, and real-time annotations. We develop a framework to specify the interface definition language and a given IDL extension in a combined modeling language based on XML. We show how this specification can serve to obtain tools to process the extended interface definition language. We study this approach along the lines of OMG IDL and the CORBA middleware platform. The specification of semantic aspects and the specification of IDL is based on XML Document Type Definitions.
This paper is aimed to provide a detailed description of the incremental, iterative and well-guided software development process of the Hybrid object-oriented Method (HOOM) which mainly encompasses three phases: analy...
详细信息
This paper is aimed to provide a detailed description of the incremental, iterative and well-guided software development process of the Hybrid object-oriented Method (HOOM) which mainly encompasses three phases: analysis, design and coding. In the analysis phase, firstly, a requirement analysis activity ends by writing a requirement specification describing what the system under development is intended to do. Secondly, analysis models are developed, namely: Class Relationship Diagrams (CRDs) and the High Level-Class Relationship Diagram (HL-CRD) to capture the structural aspect of the system and object Interaction Diagrams (OIDs) and State Transition Diagrams (STDs) to capture its behavioural aspect to enhance and refine the CRD which is the core diagramming technique of HOOM. In the design phase, design enhancements are added to CRDs, implementation decisions are made and class specifications are written. In the coding phase the design deliverables are implemented.
Workflow systems and object-orientedtechnology have undoubtedly been some of the most important domains of interest of information technology over the past decade. Both domains however, have largely evolved independe...
详细信息
Workflow systems and object-orientedtechnology have undoubtedly been some of the most important domains of interest of information technology over the past decade. Both domains however, have largely evolved independently, and not much research can be found in which workflow modelling principles and concepts have been applied to OO systems development or vice versa. We show how the two domains can be integrated. By integrating both domains, business process modelling can benefit from the advantages of the object-oriented approach. On the other hand, a more process oriented approach to OO development would enhance the organisational fit of object-oriented information systems development. The architecture that results from this integration is a tier-based one with a separate tier for workflow aspects.
The proceedings contain 36 papers. The topics discussed include: performance tuning mobile agent workflow applications;evolution of a small objectoriented manufacturing system;measuring the effectiveness of method te...
ISBN:
(纸本)0769502784
The proceedings contain 36 papers. The topics discussed include: performance tuning mobile agent workflow applications;evolution of a small objectoriented manufacturing system;measuring the effectiveness of method test sequences derived from sequencing constraints;benchmark metrics for enterprise object request brokers;component frameworks – a case study;persistent object synchronization with active relational databases;overview of the ROL2 deductive object-oriented database system;measuring the effectiveness of method test sequences derived from sequencing constraints;a new metrics set for evaluating testing efforts for object-oriented programs;and when to trust mobile objects: access control in the JiniTM software system.
This paper presents a study of the intermediate design and development of multimedia applications using the Multimedia object Repository (MOR). The goal of MOR is to increase the availability of different multimedia o...
详细信息
This paper presents a study of the intermediate design and development of multimedia applications using the Multimedia object Repository (MOR). The goal of MOR is to increase the availability of different multimedia objects for the designing of real world multimedia applications. Details of MOR were described in (Bingyang Zhou, 2000); this paper focuses on the architecture of a multimedia application and corresponding design considerations.
With the development of computer technology, computer applications in a distributed environment have become the trend of development. However, the even higher requirement of the data consistency and integrality under ...
详细信息
With the development of computer technology, computer applications in a distributed environment have become the trend of development. However, the even higher requirement of the data consistency and integrality under the distributed environment makes the traditional transaction process technology incompetent. To meet the new challenge, the object transaction service model for the distributed application environment was proposed. It combines both the traditional transaction process technology and the distributed objecttechnology. The object transaction management system (OTMS) we implemented was based on the OTS model, which provides full capability of transaction service and management. Both the theory and the concrete implementation technology of the object transaction management system are presented in this paper.
Nowadays, the main reason for failures of large-scale systems development is that the requirement analysis stage could not produce complete, understandable, unambiguous, tracable and testable system requirements docum...
详细信息
Nowadays, the main reason for failures of large-scale systems development is that the requirement analysis stage could not produce complete, understandable, unambiguous, tracable and testable system requirements documents. To conquer this problem, from the point of view of `requirements engineering (RE)', the formalization of RE process is discussed here from three aspects: a full process model, formal representation and formal verification. RE is taken as a process growing in the 3-demension space of sociology, methodology and technology, and a spiral lifecycle model of this process is given to illustrate its social characteristic. The recommended representation language is UML and Coq is the instrument of Component-Cut-In modularizational formal method to do Validation & Verification. At last, the alternating-bit protocol is an example to demonstrate how to combining UML and Coq to formalize RE.
In building larger network information system, efficient management and transmission of huge information are important in several reasons. Firstly, the system will be driven into confusion without a perfect informatio...
详细信息
In building larger network information system, efficient management and transmission of huge information are important in several reasons. Firstly, the system will be driven into confusion without a perfect information management strategy faced with tremendous amount of information resources. Secondly, it is essential for the system to transmit huge information in a secure and efficient way in widely networking environment. Furthermore, the system with excellent compatibility and extensibility will be valuable on account of system maintenance and update. In this paper, we propose a solution of a flexible distributed information delivery system DID to resolve those problems, which is based on the technique of software agent and CORBA. The design and implementation of DID system are described in detail.
The essence of the counter inference is intelligence competition and critical decision making that will result in chained reactions in an open system environment. Intelligent agents are capable of not only carrying ou...
详细信息
The essence of the counter inference is intelligence competition and critical decision making that will result in chained reactions in an open system environment. Intelligent agents are capable of not only carrying out negotiations but also playing games. A negotiation could have win-win (or lose-lose) outcomes while a game may result in win-lose situations. This paper is to propose the counter inference as a unified reasoning paradigm to allow intelligent agents to execute reasoning tasks in either cooperative or non-cooperative ways. Based on logic theory, we will discuss a framework of the counter inference. Some examples of the counter inference will also be given to illustrate its reasoning scenario.
暂无评论