By Topic

2000 Proceedings International Symposium on Software Engineering for Parallel and Distributed Systems

10-11 June 2000

Filter Results

Displaying Results 1 - 22 of 22
  • Proceedings International Symposium on Software Engineering for Parallel and Distributed Systems

    Publication Year: 2000
    Request permission for commercial reuse | PDF file iconPDF (147 KB)
    Freely Available from IEEE
  • Author index

    Publication Year: 2000, Page(s): 197
    Request permission for commercial reuse | PDF file iconPDF (48 KB)
    Freely Available from IEEE
  • Implementation of an intrusion detection system based on mobile agents

    Publication Year: 2000, Page(s):158 - 164
    Cited by:  Papers (14)  |  Patents (3)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (240 KB)

    The number of security-breaking attempts originating inside organizations is increasing steadily. Attacks made in this way, usually done by “authorized” users of the system, cannot be immediately located. As the idea of filtering the traffic at the “entrance door” (by firewalls, for instance) is not completely successful the use of other technologies should be considered to... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A CSP model for Java multithreading

    Publication Year: 2000, Page(s):114 - 122
    Cited by:  Papers (17)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (260 KB)

    Java threads are synchronised through primitives based upon monitor concepts developed in the early 1970s. The semantics of Java's primitives have only been presented in natural language-this paper remedies this with a simple and formal CSP model. In view of the difficulties encountered in reasoning about any non-trivial interactions between Java threads, being able to perform that reasoning in a ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Dynamic reconfiguration of component-based applications

    Publication Year: 2000, Page(s):32 - 39
    Cited by:  Papers (9)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (188 KB)

    Component-based programming is a current trend in the development of software. The application is created using components and binding their interfaces appropriately at the configuration level. This is especially interesting for applications that, for availability reasons, claim dynamic reconfiguration. This paper describes an approach for the dynamic reconfiguration of applications based on CORBA... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Component location and the role of trading in large scale distributed systems

    Publication Year: 2000, Page(s):173 - 179
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (208 KB)

    Component software is a promising approach for dealing with the problem of large scale distributed system development, because it decreases development costs and increases software quality. One of the central issues for component software in distributed systems is the location of components. In large scale distributed systems trading is already used as a service location mechanism. This is conside... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Dynamic workflow management in CORBA distributed object systems

    Publication Year: 2000, Page(s):51 - 65
    Cited by:  Papers (1)  |  Patents (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (332 KB)

    We are beginning to see distributed dynamic workflow management systems being implemented using CORBA services. However, these systems do not use events as the mechanism for co-ordinating workflows. Instead, workflow components use messages to communicate with each other, thereby resulting in tightly coupled systems. We investigate the use of events as the co-ordinating mechanism for implementing ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Exploratory visualization of distributed computations: a case study

    Publication Year: 2000, Page(s):188 - 195
    Cited by:  Papers (2)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (300 KB)

    Exploratory visualization is an approach for helping users learn about distributed computations without requiring users to examine source code. Instead, visualizations provide intuition about the program's behavior and serve as an interface through which the programs are controlled. We have developed an exploratory visualization system with the goals of providing an intuitive and user-friendly use... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A CORBA-based architecture for adding dependability to legacy servers

    Publication Year: 2000, Page(s):76 - 82
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (328 KB)

    Presents a flexible, CORBA-compliant middle-tier server architecture which is capable of adding dependability (i.e. reliability, availability and performability) to an existing service. The architecture provides a flexible and cost-effective framework for building fault-tolerant applications via straightforward integration of legacy software. In a typical scenario, the service would be originally ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Early evaluation of design options for distributed systems

    Publication Year: 2000, Page(s):150 - 157
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (1008 KB)

    In order to obtain efficiency, current practice in distributed software systems design often suffers from a lack of abstraction. An object-oriented design technique based on UML notations and a special type of high-level Petri nets is used to demonstrate how designs can be kept sufficiently abstract to be platform independent and re-usable but still support design alternatives and their evaluation... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Formalization and verification of coherence protocols with the gamma framework

    Publication Year: 2000, Page(s):105 - 113
    Cited by:  Papers (3)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (276 KB)

    This paper presents an approach to formalize coherence protocols for shared virtual memories as multiset rewriting systems. The global state of the protocol is represented as a multiset and rewriting rules are used to describe state changes. Invariants are expressed as properties on the cardinality of subsets which characterize specific relations. We present an automatic algorithm to check that a ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Specifying and verifying reconfigurable software architectures

    Publication Year: 2000, Page(s):21 - 31
    Cited by:  Papers (4)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (272 KB)

    The concept of software architecture (also called system structure or system configuration) is especially important in the design of complex software systems, providing a model of the large-scale structural properties of systems. Module interconnection languages (MILs) introduce the idea of creating program modules and connecting them to form larger structures. However, MILs do not support the des... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A formalism for hierarchical mobile agents

    Publication Year: 2000, Page(s):165 - 172
    Cited by:  Papers (3)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (260 KB)

    This paper presents a theoretical and practical framework for constructing and reasoning about mobile agents. The framework is formulated as a process calculus and has two contributions. One of the contributions can model not only individual mobile agents but also a group of mobile agents because the calculus allows more than one mobile agent to be dynamically organized into a single mobile agent.... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A CORBA-based object group service and a join service providing a transparent solution for parallel programming

    Publication Year: 2000, Page(s):123 - 134
    Cited by:  Papers (3)  |  Patents (2)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (276 KB)

    The field of distributed parallel programming is predominated by tools such as the Parallel Virtual Machine (PVM) and the Message Passing Interface (MPI). On the other hand, mainly standards like the Common Object Request Broker Architecture (CORBA), Remote Method Invocation (RMI), and the Distributed Component Object Model (DCOM) are used for distributed computing. In this paper, we examine the s... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Applying distributed object technology to network planning

    Publication Year: 2000, Page(s):40 - 50
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (260 KB)

    Describes a generic interface through which a planning tool or design aid can be connected to a telecommunications network. In today's complex and ever-changing networks, network operators need to plan their networks very accurately and rapidly. Sacrificing accuracy generally has severe impacts on the scalability and maintainability of the network at a later stage. A proliferation of planning algo... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • HERCULE: monitoring component-based application activity and enabling post-implementation tailoring of feedback

    Publication Year: 2000, Page(s):180 - 187
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (336 KB)

    This paper presents a novel approach to monitoring end-user application activity in a distributed, component-based application. Such monitoring can support the visualisation of user and application activity, system auditing, monitoring of system performance, and the provision of feedback. A framework is provided which, by means of reflection, allows the insertion of proxies into a three-tier compo... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Design of a virtual store using distributed object technology

    Publication Year: 2000, Page(s):66 - 75
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (316 KB)

    Describes aspects of a research project in the area of distributed object technology. The main focus of the research is the use of this technology within the domains of groupware and multimedia applications. As part of this research, an Internet-based virtual store has been developed as a testbed for an enhanced object event service. The virtual store was designed using UML and uses an enhanced im... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Filtering and scalability in the ECO distributed event model

    Publication Year: 2000, Page(s):83 - 95
    Cited by:  Papers (10)  |  Patents (2)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (308 KB)

    Event-based communication is useful in many application domains, ranging from small centralised applications to large distributed systems. Many different event models have been developed to address the requirements of different application domains. One such model is the ECO (events, constraints, objects) model, which was designed to support distributed virtual world applications. Like many other e... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Performance debugging of parallel and distributed embedded systems

    Publication Year: 2000, Page(s):135 - 149
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (360 KB)

    Validation, a crucial stage in the development cycle of embedded systems, is normally carried out using static analysis based on scheduling techniques. In high performance embedded systems, where several tasks with high computing requirements are working on input and output signals with high sampling rates, parallel and distributed processing is a valuable design alternative in order for the syste... View full abstract»

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

    Publication Year: 2000, Page(s):96 - 104
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (312 KB)

    Scalability is recognised as a primary factor to be considered in the design of distributed systems. The scalability of object-oriented middleware CORBA is becoming a major concern as it has emerged as a standard architecture for distributed object computing. In this paper, a systematic scalability analysis of the basic components of the CORBA specification is attempted. From this analysis, the Po... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A principled approach to supporting adaptation in distributed mobile environments

    Publication Year: 2000, Page(s):3 - 12
    Cited by:  Papers (6)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (300 KB)

    To support multimedia applications in mobile environments, it is necessary for applications to be aware of the underlying environmental conditions, and also to be able to adapt their behaviour and that of the underlying platform as such conditions change. Many existing distributed systems platforms support such adaptation only in a rather ad-hoc manner. This paper presents a principled approach to... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A skeleton-based approach for the design and implementation of distributed virtual environments

    Publication Year: 2000, Page(s):13 - 20
    Cited by:  Papers (5)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (176 KB)

    It has long been argued that developing distributed software is a difficult and error-prone activity. Based on previous work on design patterns and skeletons, this paper proposes a template-based approach for the high-level design and implementation of distributed virtual environments (DVEs). It describes a methodology and its associated tool, which includes a user interface, a performance analyse... View full abstract»

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