Enterprise JavaBeans (EJB) is a new technology that aims at supporting distributed transactional component-based applications written in Java. In recent years, a lot of new advanced software applications have arisen, ...
详细信息
In large enterprises, asynchronous communication and messaging are gaining importance as integration solutions between applications. The concept of a message broker has been proposed as a universal mediator at the cen...
详细信息
We present here an implementation relation which formalises the notion that a system built of communicating processes is an acceptable implementation of another base or specification system in the event that the two s...
详细信息
ISBN:
(纸本)076951071X
We present here an implementation relation which formalises the notion that a system built of communicating processes is an acceptable implementation of another base or specification system in the event that the two systems have different interfaces. Such a treatment has obvious applicability to the software development process, where an implementation component may be expressed at a different level of abstraction to the relevant specification component. We extend the results of our previous work and combine into a single scheme implementation relations previously presented. We also relax the restrictions previously placed upon specification processes. Using this new implementation relation, two basic kinds of results are obtained: realisability and compositionality. The former ensures that an implementation, when plugged into an appropriate environment, should yield a conventional implementation of the specification, and also that the implementation relation is acceptable when used in the event that specification and implementation systems have the same interfaces. The latter requires that a specification composed of several connected system may be implentented by connecting their respective implementations.
Architectural reflection is the computation performed by a software system about its own software architecture. Building on previous research and on practical experience in industrial projects, in this paper we expand...
详细信息
Service integration tries to tackle the problem to deploy new services using ex- isting legacy components in a network centric environment. Network centric was considered here the Internet with the set of protocols su...
ISBN:
(纸本)3540417923
Service integration tries to tackle the problem to deploy new services using ex- isting legacy components in a network centric environment. Network centric was considered here the Internet with the set of protocols supporting the World Wide Web. Usually the legacy components were developed with the assumption of a more closed non-distributed world. Especially they were originally not planned fo use in the web. The availability of new enabling technology like object oriented middleware, meta data approaches and their standardization by XML and component con- cepts provide a new base one can use and rethink the problem field of service integration. Basically this problem was already addressed quite often in different more limited fields 211; e.g. case tools integration, DBMS integration 211; to mention only a few. Given all this new technology service integration still raises a num- ber of interesting problems while the new technology base allows new and easier solutions than before. First of all one wants to create new services on the web not just only to bring an isolated (legacy) component to the web. Thus it is necessary to describe services and provide means to combine existing services to form new ones. Then there is the set of problems, which are created by the distributed nature of the system created by a particular integrated set of components. This means, services have to be made known and accessible by potential users. This is addressed by mechanisms to register and locate services. Last but not least is the problem to integrate different views on the data and control used by the different services of the (legacy) components.
The main goal of this workshop is to provide a timely forum for the exchange and dissemination of new ideas, techniques and research in the field of the new parallel anddistributed computational models. The workshop ...
ISBN:
(纸本)0769509908
The main goal of this workshop is to provide a timely forum for the exchange and dissemination of new ideas, techniques and research in the field of the new parallel anddistributed computational models. The workshop is meant to bring together researchers and practitioners interested in all aspects of parallel anddistributed computing taken in an inclusive, rather than exclusive, sense. We are convinced that the workshop atmosphere will be conducive to open and mutually beneficial exchanges of ideas between the participants.
The proceedings contains 30 papers from the 2ndinternationalworkshop on softwareengineering for parallel Processing anddistributedsystems. Topics discussed include: Ada-95 tasks modeling;Petri net semantics;algor...
详细信息
The proceedings contains 30 papers from the 2ndinternationalworkshop on softwareengineering for parallel Processing anddistributedsystems. Topics discussed include: Ada-95 tasks modeling;Petri net semantics;algorithm for finding maximal conflict sets;asynchronous message-passing program reachability testing;a Tuple Channel coordination model;parallel implementation of the combination of broadcasting, reduction and scan;an automated algorithmic recognition technique that supports parallelsoftware development;lift case study of specifying parallel anddistributedsystems in Object-Z;Web computing skeleton;message passing programs graphical programming environment;and designing concurrent systems using performance prototyping.
This paper describes an environment for performance-oriented design of portable parallelsoftware. The environment consists of a graphical design tool for building parallel algorithms, a state-of-the-art simulation en...
详细信息
This paper describes an environment for performance-oriented design of portable parallelsoftware. The environment consists of a graphical design tool for building parallel algorithms, a state-of-the-art simulation engine, a CPU characterisation tool, a distributed debugging tool and a visualisation/replay tool. The environment is used to model a virtual machine composed of a cluster of heterogeneous workstations interconnected by a local area network. The simulation model used is modular and its components are interchangeable which allows easy re-configuration of the platform. The model is validated using experiments on two parallel Givens linear solver algorithms with average errors of about 8%. (C) 2000 Elsevier Science B.V. All rights reserved.
This paper gives denotational models for three logic programming languages of progressive complexity, adopting the "logic programming without logic" approach. The first language is the control flow kernel of...
详细信息
ISBN:
(纸本)1581132654
This paper gives denotational models for three logic programming languages of progressive complexity, adopting the "logic programming without logic" approach. The first language is the control flow kernel of sequential Prolog, featuring sequential composition and backtracking. A committed-choice concurrent logic language with parallel composition (parallel And) and don't care nondeterminism is studied next. The third language is the core of Warren's basic Andorra model, combining parallel composition and don't care nondeterminism with two forms of don't know nondeterminism (interpreted as sequential andparallel OR) and favoring deterministic over nondeterministic computation. We show that continuations are a valuable tool in the analysis and design of semantic models for both sequential andparallel logic programming. Instead of using mathematical notation, we use the functional programming language Haskell as a metalanguage for our denotational semantics, and employ monads in order to facilitate the transition from one language under study to another.
暂无评论