By Topic

Software Engineering for Parallel and Distributed Systems, 1998. Proceedings. International Symposium on

Date 20-21 Apr 1998

Filter Results

Displaying Results 1 - 25 of 30
  • Abstractions of distributed cooperation, their refinement and implementation

    Publication Year: 1998, Page(s):94 - 102
    Cited by:  Papers (2)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (116 KB)

    Recognizing the role of abstractions is essential in software development. Communication mechanisms, however often dictate how inter-process communication is addressed already at the level of specification. The authors show how abstract process cooperation can be refined into an implementable form, taking into account constraints imposed by practical communication mechanisms. Early phases of the d... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • On checking parallel real-time systems for linear duration invariants

    Publication Year: 1998, Page(s):61 - 71
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (176 KB)

    In this paper we define timed regular expressions to describe the timed behaviour of parallel real-time systems and consider the problem of checking algorithmically the set of timed behaviours defined by timed regular expressions for a real-time requirement specified by a linear duration invariant. In general, the problem can be solved by using the mixed integer linear programming techniques. We s... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Applying formal methods to a protocol standard and its implementations

    Publication Year: 1998, Page(s):198 - 205
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (100 KB)

    We explore the use of formal methods in the analysis of the SONET Automatic Protection Switching (APS) protocol. Unlike most protocol studies, we look at both conformance and interoperability aspect of APS. We use the Concurrency Workbench of North Carolina (R. Cleveland and S. Sims, 1996) to show proper interoperation of network elements running the protocol, and use the VeriSoft tool (P. Godefro... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Software engineering in parallel and distributed scientific computing: a case study from industrial practice

    Publication Year: 1998, Page(s):187 - 197
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (240 KB)

    We report on results from an interdisciplinary research project of computer scientists, mechanical engineers and numerical analysts from industry and academia. We have designed and implemented a portable distributed memory parallel version of CFX-TfC-a state of the art computational fluid dynamics simulation software package that features finite volume discretization on unstructured hybrid grids i... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • An algebraic framework for optimizing parallel programs

    Publication Year: 1998, Page(s):28 - 38
    Cited by:  Papers (2)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (228 KB)

    The paper proposes a theoretical framework for verifying and deriving code optimizations for programs written in parallel programming languages. The key idea of this framework is to formalize code optimizations as compositional transformation rules for programs presented as terms of an enriched process calculus. The rules are formulated on the basis of an algebraic order relation between two progr... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Static analysis of Java multithreaded and distributed applications

    Publication Year: 1998, Page(s):215 - 222
    Cited by:  Papers (3)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (72 KB)

    The Java language enables the development of concurrent and distributed software through the concepts of thread and remote method invocation (RMI). It is known that developing concurrent and distributed software is a challenging task, mainly because of potential concurrency errors such as deadlocks and livelocks. One promising way to help the designer in this task is providing static analysis tool... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Automated performance modeling from scenarios and SDL designs of distributed systems

    Publication Year: 1998, Page(s):127 - 135
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (60 KB)

    An automated approach is described for deriving a performance model directly from a software design of a complex system. The goal is to model performance early in the design cycle, in a way that is tightly coupled to the design process. Automating the performance model-building process gives several advantages: it ensures that the model tracks the design, it reduces errors and it creates less work... View full abstract»

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

    Publication Year: 1998, Page(s): 263
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (80 KB)

    First Page of the Article
    View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Conjunct application of model-based and code-based optimization to derive efficient parallel implementations from SDL

    Publication Year: 1998, Page(s):230 - 237
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (112 KB)

    Protocol implementations automatically derived from formal descriptions often do not fulfill the performance requirements of high speed applications. On the other hand, automated implementation techniques may bring remarkable benefits for the quality of implementations. We present an approach to derive efficient implementations from SDL specifications. Our approach is based on two concepts, the ac... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Tool supported specification and simulation of distributed systems

    Publication Year: 1998, Page(s):155 - 164
    Cited by:  Papers (7)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (180 KB)

    The authors present prominent features of AUTOFOCUS, a tool prototype for the formally based development of reactive systems. AUTOFOCUS supports system development offering integrated, comprehensive and mainly graphical description techniques to specify both different views and different levels of abstraction of the system. To avoid ill-defined specifications, consistency conditions on these syste... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Modeling distributed software systems with object coordination nets

    Publication Year: 1998, Page(s):39 - 49
    Cited by:  Papers (6)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (256 KB)

    A dedicated approach for the design and development of distributed software systems is outlined. The method may be used in combination with any standard object oriented analysis and design method as far as static aspects are concerned. A new formalism based on extended Petri nets-so called Object Coordination Nets (OCoNs)-is used to describe the coordination of the behavior of a class on a per ser... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A fast parallel search method for large dictionaries

    Publication Year: 1998, Page(s):207 - 214
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (244 KB)

    The paper presents a simple but highly efficient parallel approach to the problem of searching on large dictionaries. It is based on the concept of direct addressing a table where the words are stored. To obtain a small table, successive reductions of the number of bits used to represent each word are done by using look-up tables (Translation Tables). Search time is virtually independent of the si... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Distributed information systems-issues and challenges for the software engineering research community

    Publication Year: 1998, Page(s):13 - 17
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (36 KB)

    With the ever increasing use of object oriented middleware in distributed information systems, new challenges are facing the software engineering profession. Often, it is simply a testament to the sheer skill and dedication of the project teams involved that systems are implemented and successfully operate in demanding 24×7×365 environments. There is undoubtedly much that the software ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A scheme for auditing causal relationships in group oriented distributed systems

    Publication Year: 1998, Page(s):115 - 125
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (192 KB)

    Auditability is an important aspect of information security. In a distributed computation environment, one may therefore want to prevent corrupt processes from denying or forging causal relationships between events. The goal of the auditing service is to collect, maintain, make available, and validate irrefutable evidence regarding causal relationships between the process communication groups in g... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Building parallel runtime systems with Active Messages

    Publication Year: 1998, Page(s):83 - 93
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (112 KB)

    Past research in communication infrastructure for parallel computing has shown that Active Messages is an attractive communication model that allows efficient implementations on a variety of architectures. This has been demonstrated through microbenchmarks, by including Active Messages in a runtime system for Split-C-a parallel SPMD extension of C, and by analyzing performance of a set of Split-C ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A formally founded description technique for business processes

    Publication Year: 1998, Page(s):254 - 261
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (128 KB)

    As a means of modeling typical system behavior, we present a description technique for business processes derived from data flow nets and provide it with a formal semantics based on functions and their composition. The formalism features black box and glass box view and a concept of refinement. As it is intuitively understandable and formally well founded, the notation is equally adequate for the ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A case-based parallel programming system

    Publication Year: 1998, Page(s):238 - 245
    Cited by:  Papers (2)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (92 KB)

    The paper describes how to reduce the burden of parallel programming by utilizing relevant parallel programs. Parallel algorithms are divided into four classes and a case base for parallel programming is developed by retrieving parallel programs in each class. Cases consist of indices, a skeleton, a program, parallelization effects and a history. Skeletons include the most important issues such as... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Construction of distributed multimedia applications using multiple views

    Publication Year: 1998, Page(s):166 - 175
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (384 KB)

    Distributed multimedia programs often require sophisticated user interactions, distributed object allocations and timely exchange of multimedia data across heterogeneous networks. These applications are inherently complex and their construction presents an extraordinary design and programming challenge. Multimedia programs typically consist of different aspects of requirements that may refer to us... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Modular construction and composition of distributed software architectures

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

    A complete specification of a distributed software architecture describes two different aspects. First, it decomposes the software into its components and their interconnection. Second, it specifies the policies that are required to manage an architecture. Such policies are dependent on the nature of the execution environment. They are complicated by requirements such as heterogeneity, availabilit... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Interoperability and distribution of process-sensitive systems

    Publication Year: 1998, Page(s):103 - 114
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (56 KB)

    The paper explores the concepts and mechanisms that enable semantic interoperability of distributed, heterogeneous and autonomous process-sensitive systems (PSSs). A PSS is an autonomous software system that supports the explicit modeling and execution of a process (e.g., a business or a software process). A set of PSSs interoperate to implement a complex service that requires that they execute a ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Towards reusable colored Petri nets

    Publication Year: 1998, Page(s):223 - 229
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (204 KB)

    Reuse has long been recognized as a key technology that can bring about significant productivity gains in software development. Code level reuse is well understood and frequently practiced. However reuse in software requirements, another phase where much benefit can be expected, remains inadequately addressed. Hierarchical colored Petri net (HCPN) formalism has been successfully used on several la... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • PARSE-DAT: an integrated environment for the design and analysis of dynamic software architectures

    Publication Year: 1998, Page(s):146 - 154
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (144 KB)

    Robust distributed software infrastructures such as DCE and CORBA are becoming widely used to aid in building complex distributed systems. However, the engineering of distributed software is a difficult task since there are many concurrency and correctness issues that need to be considered. PARSE-DAT (PARallel Software Engineering-Design Analysis Tool) is an integrated environment that enables the... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Filmification of methods: computation on matrices

    Publication Year: 1998, Page(s):176 - 185
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (408 KB)

    We are developing a multimedia programming technology to specify application problems in a format of special purpose animation films. According to this technology, users should employ a new set of multimedia signs. These signs are watch-able, hear-able, and executable. They combine features of animation clips with sounds and programs. We describe a film (a multimedia sign) as a series of frames re... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Towards a framework for testing distributed multimedia software systems

    Publication Year: 1998, Page(s):72 - 81
    Cited by:  Papers (2)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (104 KB)

    With the advancement in network speed and computing power, distributed multimedia applications are becoming popular. However, general principles of system testing cannot be directly applied to testing of distributed multimedia software systems (DMSS) on account of their stringent timing and synchronization requirements. The paper presents a framework for testing DMSS with special emphases on test ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Towards A Parallel Programming Language Based on Commodity Object-oriented Technologies

    Publication Year: 1998, Page(s): 18
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (72 KB)

    First Page of the Article
    View full abstract»

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